Extending Modal Transition Systems with Structured Labels
The result's identifiers
Result code in 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>
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Extending Modal Transition Systems with Structured Labels
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/LA09016" target="_blank" >LA09016: Czech Republic membership in the European Research Consortium for Informatics and Mathematics (ERCIM)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Mathematical Structures in Computer Science
ISSN
0960-1295
e-ISSN
—
Volume of the periodical
22
Issue of the periodical within the volume
4
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
37
Pages from-to
581-617
UT code for WoS article
000306936800002
EID of the result in the Scopus database
—