D 2005

Component-Interaction Automata for Specification and Verification of Component Interactions

VAŘEKOVÁ, Pavlína and Barbora ZIMMEROVÁ

Basic information

Original name

Component-Interaction Automata for Specification and Verification of Component Interactions

Name in Czech

Component-Interaction automaty pro specifikaci a verifikaci interakcí mezi komponentami

Authors

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

Edition

Eindhoven, The Netherlands, IFM 2005 Doctoral Symposium on Integrated Formal Methods, p. 71-75, 2005

Publisher

Technische Universiteit Eindhoven (TU/e)

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/05:00013242

Organization unit

Faculty of Informatics

Keywords in English

Component-Interaction automata; specification; verification; component-based systems

Tags

Tags

International impact, Reviewed
Změněno: 2/12/2006 16:39, doc. Ing. RNDr. Barbora Bühnová, Ph.D.

Abstract

ORIG CZ

V originále

The paper presents an automata-based language, Component-Interaction automata, designed for specification of component interactions in hierarchical component-based software systems. The language aims to provide a direct and desirable way of modelling component interactions which is meant to be transparent and understandable thanks to the orientation to component-based systems and their specifics.

In Czech

Článek představuje jazyk Component-Interaction automatů, který je navržen pro specifikaci interakcí mezi komponentami v hierarchických komponentových softwarových systémech. Tento jazyk si klade za cíl poskytnout nástroj pro modelování interakcí mezi komponentami, který bude transparentní a srozumitelný díky zohlednění specifik komponentových systémů.

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
1ET400300504, research and development project
Name: Realistická aplikace formálních metod v komponentových systémech
Investor: Academy of Sciences of the Czech Republic, Realistic application of formal methods in component systems