Zohlednění vytváření a mazání instancí při modelování a verifikaci komponentových systémů

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F07%3A00020538" target="_blank" >RIV/00216224:14330/07:00020538 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

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.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GD102%2F05%2FH050" target="_blank" >GD102/05/H050: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

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ů

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

—