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
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
Příznaky
Mezinárodní význam, Recenzováno
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 |
|
Zobrazeno: 20. 7. 2025 19:00