Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

ZIMMEROVÁ, Barbora and Pavlína VAŘEKOVÁ. Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification. In MEMICS proceedings. Brno, Czech Republic: Ing. Zdeněk Novotný CSc., 2007, p. 257-264. ISBN 978-80-7355-077-6.

Basic information

Original name

Reflecting Creation and Destruction of Instances in CBSs Modelling and Verification

Name in Czech

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

Authors

ZIMMEROVÁ, Barbora (203 Czech Republic, guarantor, belonging to the institution) and Pavlína VAŘEKOVÁ (203 Czech Republic, belonging to the institution)

Edition

Brno, Czech Republic, MEMICS proceedings, p. 257-264, 2007

Publisher

Ing. Zdeněk Novotný CSc.

---

Other information

Language

English

Type of outcome

Proceedings paper

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

is not subject to a state or trade secret

References:

URL

RIV identification code

RIV/00216224:14330/07:00020538

Organization unit

Faculty of Informatics

ISBN

978-80-7355-077-6

Keywords in English

Component-based systems; verification; component instances

Tags

component instances, Component-based systems, verification

Tags

International impact, Reviewed

---

Abstract

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.

In Czech

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.

---

Links

GD102/05/H050, research and development project	Name: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Investor: Czech Science Foundation, Integrated approach to education of PhD students in the area of parallel and distributed systems
MSM0021622419, plan (intention)	Name: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems