Loading...
Search for:
verification-environments
0.005 seconds
Model checking of component-based systems and coordination models
, Article 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) ; Movaghar, A ; Sharif University of Technology
2007
Abstract
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