ČERNÁ, Ivana, Pavlína VAŘEKOVÁ a Barbora ZIMMEROVÁ. Component-Interaction Automata Modelling Language. Brno, Czech Republic: Faculty of Informatics, Masaryk University, 2006. Technical report FIMU-RS-2006-08.
Další formáty:   BibTeX LaTeX RIS
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
Originální 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í
WWW FIMU Technical Reports URL
Kód RIV RIV/00216224:14330/06:00024121
Organizační jednotka Fakulta informatiky
Klíčová slova anglicky Component-based systems; automata theory; specification; verification
Štítky automata theory, Component-based systems, specification, verification
Příznaky Mezinárodní význam
Změnil Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 4. 11. 2012 15:26.
Anotace
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.
Anotace č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 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: 5. 2. 2023 15:39