Extending Modal Transition Systems with Structured Labels

J 2012

Extending Modal Transition Systems with Structured Labels

BAUER, Sebastian S.; Line JUHL; Kim G. LARSEN; Axel LEGAY; Jiří SRBA et al.

Základní údaje

Originální název

Extending Modal Transition Systems with Structured Labels

Autoři

BAUER, Sebastian S.; Line JUHL; Kim G. LARSEN; Axel LEGAY a Jiří SRBA

Vydání

Mathematical Structures in Computer Science, 2012, 0960-1295

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Nizozemské království

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Web

Impakt faktor

Impact factor: 0.722

Označené pro přenos do RIV

Ano

Kód RIV

RIV/00216224:14330/12:00062433

Organizační jednotka

Fakulta informatiky

DOI

https://doi.org/10.1017/S0960129511000697

UT WoS

000306936800002

Klíčová slova anglicky

modal transition systems; compositional theory; modelling

Změněno: 23. 4. 2013 12:18, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

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ávaznosti

LA09016, projekt VaV

Název: Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (Akronym: ERCIM)

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Účast ČR v European Research Consortium for Informatics and Mathematics

Citovat

BAUER, Sebastian S.; Line JUHL; Kim G. LARSEN; Axel LEGAY a Jiří SRBA. Extending Modal Transition Systems with Structured Labels. Mathematical Structures in Computer Science. 2012, roč. 22, č. 4, s. 581-617. ISSN 0960-1295. Dostupné z: https://doi.org/10.1017/S0960129511000697.

@article{1079134,
   author = {Bauer, Sebastian S. and Juhl, Line and Larsen, Kim G. and Legay, Axel and Srba, Jiří},
   article_number = {4},
   doi = {https://doi.org/10.1017/S0960129511000697},
   keywords = {modal transition systems; compositional theory; modelling},
   language = {eng},
   issn = {0960-1295},
   journal = {Mathematical Structures in Computer Science},
   title = {Extending Modal Transition Systems with Structured Labels},
   url = {http://dx.doi.org/10.1017/S0960129511000697},
   volume = {22},
   year = {2012}
}

TY  - JOUR
ID  - 1079134
AU  - Bauer, Sebastian S. - Juhl, Line - Larsen, Kim G. - Legay, Axel - Srba, Jiří
PY  - 2012
TI  - Extending Modal Transition Systems with Structured Labels
JF  - Mathematical Structures in Computer Science
VL  - 22
IS  - 4
SP  - 581-617
EP  - 581-617
SN  - 09601295
KW  - modal transition systems
KW  - compositional theory
KW  - modelling
UR  - http://dx.doi.org/10.1017/S0960129511000697
L2  - http://dx.doi.org/10.1017/S0960129511000697
N2  - 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.
ER  -

BAUER, Sebastian S.; Line JUHL; Kim G. LARSEN; Axel LEGAY a Jiří SRBA. Extending Modal Transition Systems with Structured Labels. \textit{Mathematical Structures in Computer Science}. 2012, roč.~22, č.~4, s.~581-617. ISSN~0960-1295. Dostupné z: https://doi.org/10.1017/S0960129511000697.

Přehled o publikaci