Extending Modal Transition Systems with Structured Labels

Sebastian S. Bauer; Line Juhl; Kim Guldstrand Larsen; Axel Legay; Jiri Srba

doi:10.1017/S0960129511000697

Extending Modal Transition Systems with Structured Labels

Sebastian S. Bauer, Line Juhl, Kim Guldstrand Larsen, Axel Legay, Jiri Srba

Research output: Contribution to journal › Journal article › Research › peer-review

21 Citations (Scopus)

Abstract

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.

Original language	English
Journal	Mathematical Structures in Computer Science
Volume	22
Issue number	4
Pages (from-to)	581-617
Number of pages	37
ISSN	0960-1295
DOIs	https://doi.org/10.1017/S0960129511000697
Publication status	Published - 8 May 2012

Access to Document

10.1017/S0960129511000697

http://www.scopus.com/record/display.url?eid=2-s2.0-84863959617&origin=resultslist&sort=plf-f&src=s&sid=7ANRXJ4yeBntcN4OFYYErZD%3a70&sot=aut&sdt=a&sl=31&s=AU-ID%28%22Juhl%2c+Line%22+50161726000%29&relpos=1&relpos=1&searchTerm=AU-ID(\%22Juhl,%20Line\%22%2050161726000)

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{78463b4b0ba44e7a8302617ce19e422e,

title = "Extending Modal Transition Systems with Structured Labels",

abstract = "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. ",

author = "Bauer, {Sebastian S.} and Line Juhl and Larsen, {Kim Guldstrand} and Axel Legay and Jiri Srba",

year = "2012",

month = may,

day = "8",

doi = "10.1017/S0960129511000697",

language = "English",

volume = "22",

pages = "581--617",

journal = "Mathematical Structures in Computer Science",

issn = "0960-1295",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - Extending Modal Transition Systems with Structured Labels

AU - Bauer, Sebastian S.

AU - Juhl, Line

AU - Larsen, Kim Guldstrand

AU - Legay, Axel

AU - Srba, Jiri

PY - 2012/5/8

Y1 - 2012/5/8

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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84863959617&partnerID=8YFLogxK

U2 - 10.1017/S0960129511000697

DO - 10.1017/S0960129511000697

M3 - Journal article

SN - 0960-1295

VL - 22

SP - 581

EP - 617

JO - Mathematical Structures in Computer Science

JF - Mathematical Structures in Computer Science

IS - 4

ER -

Extending Modal Transition Systems with Structured Labels

Abstract

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this