Další formáty:
BibTeX
LaTeX
RIS
@article{1079134, author = {Bauer, Sebastian S. and Juhl, Line and Larsen, Kim G. and Legay, Axel and Srba, Jiří}, article_number = {4}, doi = {http://dx.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://dx.doi.org/10.1017/S0960129511000697.
|