Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

Investor logo

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:

You are running an old browser version. We recommend updating your browser to its latest version.