Extending Modal Transition Systems with Structured Labels
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F12%3A00062433" target="_blank" >RIV/00216224:14330/12:00062433 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1017/S0960129511000697" target="_blank" >http://dx.doi.org/10.1017/S0960129511000697</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1017/S0960129511000697" target="_blank" >10.1017/S0960129511000697</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Extending Modal Transition Systems with Structured Labels
Popis výsledku 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.
Název v anglickém jazyce
Extending Modal Transition Systems with Structured Labels
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/LA09016" target="_blank" >LA09016: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2012
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
Název periodika
Mathematical Structures in Computer Science
ISSN
0960-1295
e-ISSN
—
Svazek periodika
22
Číslo periodika v rámci 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
000306936800002
EID výsledku v databázi Scopus
—