Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů
Popis výsledku
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.
Klíčová slova
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
MEMICS proceedings
ISBN
978-80-7355-077-6
ISSN
—
e-ISSN
—
Počet stran výsledku
8
Strana od-do
257
Název nakladatele
Ing. Zdeněk Novotný CSc.
Místo vydání
Brno, Czech Republic
Místo konání akce
Znojmo, Czechia
Datum konání akce
26. 10. 2007
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—
Druh výsledku
D - Stať ve sborníku
CEP
IN - Informatika
Rok uplatnění
2007