Zpět na hledáníComponent-Interaction Automata Approach (CoIn) (2008)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/08:00024133 |
|---|---|
| Název v anglickém jazyce | Component-Interaction Automata Approach (CoIn) |
| Druh | C - Kapitola resp. kapitoly v odborné knize |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2008 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 6 |
| Počet tvůrců celkem | 6 |
| Počet domácích tvůrců | 6 |
| Výčet všech uvedených jednotlivých tvůrců | Nikola Beneš (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2050587) Luboš Brim (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 6500773) Ivana Černá (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2361132) Pavlína Moravcová Vařeková (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 3664449) Jiří Sochor (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 7676239) Barbora Zimmerová (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 5332877) |
| Popis výsledku v anglickém jazyce | The aim of our approach to component modelling and verification, is to create a framework for formal analysis of behavioural aspects of large scale component-based systems. For the modelling purpose, we use the Component-interaction automata language. For the verification, we employ a parallel model-checker DiVinE, which is able to handle very large, hence more realistic, models of component-based systems. In this chapter, we present the application of our approach to the modelling and verification of the common modelling example defined at the beginning of this book. |
| Klíčová slova oddělená středníkem | Component models; modelling; verification; Component Interaction automata |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název knihy nebo sborníku v originálním jazyce | The Common Component Modeling Example: Comparing Software Component Models |
|---|---|
| ISBN | 978-3-540-85288-9 |
| Počet stran výsledku | 31 |
| Strana od-do | |
| Počet stran knihy | 460 |
| Název nakladatele | Springer Verlag |
| Místo vydání | Berlin / Heidelberg, Germany |
| Kód UT WoS kapitoly podle Web of Science | - |
| EID výsledku v databázi Scopus | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2009 |
| Specifikace | RIV/00216224:14330/08:00024133!RIV09-MSM-14330___ |
| Datum poslední aktualizace výsledku | 10.08.2009 |
| Kontrolní číslo | 11447008 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno GA ČR v roce 2009 | RIV/00216224:14330/08:00024133 v dodávce dat RIV09-GA0-14330___/01:1 |
|---|---|
| Dodáno AV ČR v roce 2009 | RIV/00216224:14330/08:00024133 v dodávce dat RIV09-AV0-14330___/01:1 |
| Dodáno GA ČR v roce 2010 | RIV/00216224:14330/08:00024133 v dodávce dat RIV10-GA0-14330___/01:1 |
| Dodáno AV ČR v roce 2010 | RIV/00216224:14330/08:00024133 v dodávce dat RIV10-AV0-14330___/01:1 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu 1M | 1M0545 - Institut Teoretické Informatiky (2005 - 2009) |
|---|---|
| Výzkumný záměr podporovaný MŠMT | MSM0021622419 - Vysoce paralelní a distribuované výpočetní systémy (2005 - 2011) |