Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

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
Citation
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