Component-Interaction Automata Modelling Language

Varování

Publikace nespadá pod Fakultu sportovních studií, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Modelovací jazyk Component-Interaction automatů
Autoři	ČERNÁ Ivana VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora
Rok publikování	2006
Druh	Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace	Č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.
Popis	Č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.
Související projekty:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Realistická aplikace formálních metod v komponentových systémech Vysoce paralelní a distribuované výpočetní systémy