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; 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
• 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