| Údaje o výsledku |
| Identifikační kód | RIV/00216224:14330/12:00062433 |
| Název v původním jazyce | Extending Modal Transition Systems with Structured Labels |
| Druh | J - Článek v odborném periodiku |
| Jazyk | eng - angličtina |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů |
| Počet výskytů výsledku | 1 |
| Údaje z Hodnocení výsledků výzkumných organizací 2014 |
| Výsledek byl hodnocen v Pilíři I |
| Rozsah vyřazení výsledku | Tento výskyt výsledku není vyřazen |
| Zařazení výsledku v hodnocení | Jimp - Článek v impaktovaném časopise evidovaném ve Web of Science |
| Skupina oboru v hodnocení | 04 - Technické a informatické vědy |
| Konkrétní způsob(y) hodnocení výsledku | Výsledek hodnocený již v předchozím hodnocení, body se přebírají |
| Bodové ohodnocení | 20,833 |
| Faktor korekce | 90,8 % |
| Body (upravené podle přílohy č. 8 Metodiky) | 18,920 |
| Rozdělení výsledku mezi předkladatele |
| Organizace | Výzkumná organizace? | Podíl | Body | Body (upravené podle přílohy č. 8 Metodiky) |
|---|
| Masarykova univerzita / Fakulta informatiky | ano | 33,3 % | 6,944 | 6,307 |
|
| Tvůrci výsledku |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 1 |
| Tvůrce | Bauer Sebastian S. (státní příslušnost: DE - Spolková republika Německo) |
| Tvůrce | Juhl Line (státní příslušnost: DK - Dánské království) |
| Tvůrce | Larsen Kim G. (státní příslušnost: DK - Dánské království) |
| Tvůrce | Legay Axel (státní příslušnost: BE - Belgické království) |
| Tvůrce | Srba Jiří (státní příslušnost: CZ - Česká republika; A - domácí tvůrce; G - garant výsledku; vedidk: 2753057) |
| Údaje blíže specifikující výsledek |
| Popis v původní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 | modal transition systems; compositional theory; modelling |
| Kód UT ISI | 000306936800002 |
| Rozsah stran | 581-617 |
| Název periodka | 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 |
| Adresa www stránky s výsledkem | http://dx.doi.org/10.1017/S0960129511000697 |
| DOI výsledku | 10.1017/S0960129511000697 |
| Údaje o tomto záznamu 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 |
| Systémové označení dodávky dat | RIV13-MSM-14330___/02:2 |
| Specifikace | RIV/00216224:14330/12:00062433!RIV13-MSM-14330___ |
| Kontrolní kód | [D360DE867F0E] |
| Jiný výskyt tohoto výsledku se v RIV nenachází |
| Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl |
| Projekt | LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009-2012, MSM/LA) |
| I - Instit. podpora na rozvoj výzkumné organizace |