Other formats:
BibTeX
LaTeX
RIS
@inproceedings{726776,
author = {Zimmerová, Barbora and Vařeková, Pavlína},
address = {Brno, Czech Republic},
booktitle = {MEMICS proceedings},
keywords = {Component-based systems; verification; component instances},
language = {eng},
location = {Brno, Czech Republic},
isbn = {978-80-7355-077-6},
pages = {257-264},
publisher = {Ing. Zdeněk Novotný CSc.},
title = {Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification},
url = {http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868},
year = {2007}
}
TY - JOUR
ID - 726776
AU - Zimmerová, Barbora - Vařeková, Pavlína
PY - 2007
TI - Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
PB - Ing. Zdeněk Novotný CSc.
CY - Brno, Czech Republic
SN - 9788073550776
KW - Component-based systems
KW - verification
KW - component instances
UR - http://portal.acm.org/citation.cfm?id=1292325&coll=Portal&dl=GUIDE&CFID=38755342&CFTOKEN=44186868
N2 - 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.
ER -
ZIMMEROVÁ, Barbora and Pavlína VAŘEKOVÁ. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In \textit{MEMICS proceedings}. Brno, Czech Republic: Ing. Zdeněk Novotný CSc. p.~257-264. ISBN~978-80-7355-077-6. 2007.
|
