Extending Modal Transition Systems with Structured Labels

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2012
Type Article in Periodical
Magazine / Source Mathematical Structures in Computer Science
MU Faculty or unit

Faculty of Informatics

Citation
Web Web
Doi http://dx.doi.org/10.1017/S0960129511000697
Field Informatics
Keywords modal transition systems; compositional theory; modelling
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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.