D 2005

Component-Interaction Automata for Specification and Verification of Component Interactions

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

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

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 2. 12. 2006 16:39, doc. Ing. RNDr. Barbora Bühnová, Ph.D.

Anotace

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.

Č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