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.
Další formáty:   BibTeX LaTeX RIS
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
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 10201 Computer sciences, information science, bioinformatics
Stát vydavatele Nizozemsko
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
Změnil Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 2. 12. 2006 16:39.
Anotace
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.
Anotace č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 VaVNá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ěrNá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 VaVNá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
VytisknoutZobrazeno: 4. 2. 2023 02:48