2006
Component-Interaction Automata Modelling Language
ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁZákladní údaje
Originální název
Component-Interaction Automata Modelling Language
Název česky
Modelovací jazyk Component-Interaction automatů
Autoři
ČERNÁ, Ivana (203 Česká republika, garant, domácí), Pavlína VAŘEKOVÁ (203 Česká republika, domácí) a Barbora ZIMMEROVÁ (203 Česká republika, domácí)
Vydání
Brno, Czech Republic, Technical report FIMU-RS-2006-08, 2006
Nakladatel
Faculty of Informatics, Masaryk University
Další údaje
Jazyk
angličtina
Typ výsledku
Audiovizuální tvorba
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Odkazy
Kód RIV
RIV/00216224:14330/06:00024121
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
Component-based systems; automata theory; specification; verification
Příznaky
Mezinárodní význam
Změněno: 4. 11. 2012 15:26, doc. Ing. RNDr. Barbora Bühnová, Ph.D.
V originále
The paper introduces a Component-interaction automata language, which was designed for modelling of component interactions in hierarchical component-based software systems. The language supports modelling of important interaction attributes of such systems, and hence provides a rich base for further application of formal methods.
Česky
Článek představuje modelovací jazyk Component-Interaction automatů, který byl navržen pro modelování interakcí mezi komponentami v hierarchických komponentových softwarových systémech. Jazyk podporuje modelování důležitých atributů interakce v komponentových systémech, a tím poskytuje silný základ pro následnou aplikaci formálních metod.
Návaznosti
| GD102/05/H050, projekt VaV |
| ||
| MSM0021622419, záměr |
| ||
| 1ET400300504, projekt VaV |
|