Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

• Authors: ZIMMEROVÁ Barbora; VAŘEKOVÁ Pavlína
• Year of publication: 2007
• Type: Article in Proceedings
• Conference: MEMICS proceedings
• MU Faculty or unit: Faculty of Informatics
• web: http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
• Field: Informatics
• Keywords: Component-based systems; verification; component instances
• Description: In the paper, we present our solution to the issue of modelling and verification of communicational behaviour in Component-Based Systems (CBSs) allowing creation and destruction of component instances. We first introduce a modelling technique for capturing each component type and component instance as a finite-state transition system, and define the system model as a collection of those. Then we present a verification technique we have defined for a similar type of systems, and discuss application of the technique to the systems with dynamic instantiation of components at run time.

Related projects

• Integrated approach to education of PhD students in the area of parallel and distributed systems
• Highly Parallel and Distributed Computing Systems