Loading...

Model checking of component-based systems and coordination models

Izadi, M ; Sharif University of Technology | 2007

300 Viewed
  1. Type of Document: Article
  2. Publisher: 2007
  3. Abstract:
  4. Reo is an exogenous coordination language for compositional construction of the coordinating subsystem of a component-based software. Constraint automaton is defined as the operational semantics of Reo. The main goal of this work is to prepare a model checking based verification environment for component-based systems, which their component connectors are modeled by Reo networks and Constraint Automata. We use compositional minimization and abstraction methods of model checking for verification of component-based systems and their component connectors modeled by Reo
  5. Keywords:
  6. Automata theory ; Information systems ; Information theory ; Linguistics ; Query languages ; Real time systems ; Robots ; Specification languages ; Specifications ; Translation (languages) ; Abstraction methods ; Component connectors ; Component-based softwares ; Component-based systems ; Constraint automata ; Coordination languages ; Coordination models ; Operational semantics ; Reo ; Verification environments ; Model checking
  7. Source: 5th Doctoral Consortium on Enterprise Information Systems, DCEIS - In Conjunction with the 9th International Conference on Enterprise Information Systems, ICEIS 2007, Madeira, 12 June 2007 through 12 June 2007 ; 2007 , Pages 82-88 ; 9789898111043 (ISBN)
  8. URL: https://www.researchgate.net/publication/292849161_Model_checking_of_component-based_systems_and_coordination_models