2007
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
ZIMMEROVÁ, Barbora a Pavlína VAŘEKOVÁZákladní údaje
Originální název
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
Název česky
Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
Autoři
ZIMMEROVÁ, Barbora (203 Česká republika, garant, domácí) a Pavlína VAŘEKOVÁ (203 Česká republika, domácí)
Vydání
Brno, Czech Republic, MEMICS proceedings, s. 257-264, 2007
Nakladatel
Ing. Zdeněk Novotný CSc.
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Kód RIV
RIV/00216224:14330/07:00020538
Organizační jednotka
Fakulta informatiky
ISBN
978-80-7355-077-6
Klíčová slova anglicky
Component-based systems; verification; component instances
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 4. 11. 2012 15:29, doc. Ing. RNDr. Barbora Bühnová, Ph.D.
V originále
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.
Česky
V článku prezentujeme náš přístup k modelování a verifikaci komunikačního chování mezi komponentami v komponentových systémech s ohledem na zachycení vytváření a mazání instancí komponent za běhu systému.
Návaznosti
| GD102/05/H050, projekt VaV |
| ||
| MSM0021622419, záměr |
|