Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
| Authors | |
|---|---|
| Year of publication | 2007 |
| Type | Article in Proceedings |
| Conference | MEMICS proceedings |
| MU Faculty or unit | |
| 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: |