Extending Modal Transition Systems with Structured Labels (2012)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/12:00062433 |
|---|---|
| Název v anglickém jazyce | Extending Modal Transition Systems with Structured Labels |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| 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 | 1 |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Sebastian S. Bauer (státní příslušnost: DE - Spolková republika Německo) Line Juhl (státní příslušnost: DK - Dánské království) Kim G. Larsen (státní příslušnost: DK - Dánské království) Axel Legay (státní příslušnost: BE - Belgické království) Jiří Srba (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2753057) |
| Popis výsledku v anglickém jazyce | We introduce a novel formalism of label-structured modal transition systems that combines the classical may/must modalities on transitions with structured labels that represent quantitative aspects of the model. On the one hand, the specification formalism is general enough to include models like weighted modal transition systems and allows the system developers to employ more complex label refinement than in the previously studied theories. On the other hand, the formalism maintains the desirable properties required by any specification theory supporting compositional reasoning. In particular, we study modal and thorough refinement, determinization, parallel composition, conjunction, quotient, and logical characterization of label-structured modal transition systems. |
| Klíčová slova oddělená středníkem | modal transition systems; compositional theory; modelling |
| Stránka www, na které se nachází výsledek | http://dx.doi.org/10.1017/S0960129511000697 |
| DOI výsledku | 10.1017/S0960129511000697 |
Údaje o výsledku v závislosti na druhu výsledku
| Název periodika | Mathematical Structures in Computer Science |
|---|---|
| ISSN | 0960-1295 |
| Svazek periodika | 22 |
| Číslo periodika v rámci uvedeného svazku | 4 |
| Stát vydavatele periodika | NL - Nizozemsko |
| Počet stran výsledku | 37 |
| Strana od-do | 581-617 |
| Kód UT WoS článku podle Web of Science | 000306936800002 |
| 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 | 2013 |
| Specifikace | RIV/00216224:14330/12:00062433!RIV13-MSM-14330___ |
| Datum poslední aktualizace výsledku | 09.08.2013 |
| Kontrolní číslo | 43450533 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu LA | LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009 - 2012) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |