Component-Interaction Automata Modelling Language
Č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 VaV | Ná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ěr | Ná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 VaV | Ná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: 17. 8. 2024 20:36