Modelovací jazyk Component-Interaction automatů
Popis výsledku
Č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.
Klíčová slova
Component-based systemsautomata theoryspecificationverification
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Component-Interaction Automata Modelling Language
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Component-Interaction Automata Modelling Language
Popis výsledku anglicky
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.
Klasifikace
Druh
A - Audiovizuální tvorba
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2006
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
ISBN
—
Místo vydání
Brno, Czech Republic
Název nakladatele resp. objednatele
Faculty of Informatics, Masaryk University
Verze
Technical report FIMU-RS-2006-08
Identifikační číslo nosiče
FIMU-RS-2006-08
Základní informace
Druh výsledku
A - Audiovizuální tvorba
CEP
IN - Informatika
Rok uplatnění
2006