Component-Interaction Automata for Specification and Verification of Component Interactions

VAŘEKOVÁ, Pavlína a Barbora ZIMMEROVÁ. Component-Interaction Automata for Specification and Verification of Component Interactions. In IFM 2005 Doctoral Symposium on Integrated Formal Methods. Eindhoven, The Netherlands: Technische Universiteit Eindhoven (TU/e), 2005, s. 71-75.

Základní údaje

Originální název

Component-Interaction Automata for Specification and Verification of Component Interactions

Název česky

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

Autoři

VAŘEKOVÁ, Pavlína (203 Česká republika) a Barbora ZIMMEROVÁ (203 Česká republika, garant)

Vydání

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

Nakladatel

Technische Universiteit Eindhoven (TU/e)

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

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

Kód RIV

RIV/00216224:14330/05:00013242

Organizační jednotka

Fakulta informatiky

Klíčová slova anglicky

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

Štítky

Component-based systems, Component-Interaction automata, specification, verification

Příznaky

Mezinárodní význam, Recenzováno

---

Anotace

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.

Česky

Č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ů.

---

Návaznosti

GD102/05/H050, projekt VaV	Název: Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Investor: Grantová agentura ČR, Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
MSM0021622419, záměr	Název: Vysoce paralelní a distribuované výpočetní systémy Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
1ET400300504, projekt VaV	Název: Realistická aplikace formálních metod v komponentových systémech Investor: Akademie věd ČR, Realistická aplikace formálních metod v komponentových systémech