Component-Interaction Automata for Specification and Verification of Component Interactions

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Component-Interaction automaty pro specifikaci a verifikaci interakcí mezi komponentami
Autoři	VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora
Rok publikování	2005
Druh	Článek ve sborníku
Konference	IFM 2005 Doctoral Symposium on Integrated Formal Methods
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	Component-Interaction automata; specification; verification; component-based systems
Popis	Č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ů.
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