| BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN and Jiří SRBA. On Determinism in Modal Transition Systems. Theoretical Computer Science. Elsevier, 2009, 410/2009, No 41, p. 4026-4043. ISSN 0304-3975. |
Other formats:
BibTeX
LaTeX
RIS
@article{833643,
author = {Beneš, Nikola and Křetínský, Jan and Larsen, Kim G. and Srba, Jiří},
article_number = {41},
keywords = {compositional verification; modal transition systems; determinism; refinement; consistency},
language = {eng},
issn = {0304-3975},
journal = {Theoretical Computer Science},
title = {On Determinism in Modal Transition Systems},
volume = {410/2009},
year = {2009}
}
TY - JOUR
ID - 833643
AU - Beneš, Nikola - Křetínský, Jan - Larsen, Kim G. - Srba, Jiří
PY - 2009
TI - On Determinism in Modal Transition Systems
JF - Theoretical Computer Science
VL - 410/2009
IS - 41
SP - 4026-4043
EP - 4026-4043
PB - Elsevier
SN - 03043975
KW - compositional verification
KW - modal transition systems
KW - determinism
KW - refinement
KW - consistency
N2 - Modal transition systems (MTS) is a formalism which extends the classical notion of labelled transition systems by introducing transitions of two types: must transitions that have to be present in any implementation of the MTS and may transitions that are allowed but not required. The MTS framework has proved to be useful as a specification formalism of component-based systems as it supports compositional verification and stepwise refinement. Nevertheless, there are some limitations of the theory, namely that the naturally defined notions of modal refinement and modal composition are incomplete with respect to the semantic view based on the sets of the implementations of a given MTS specification. Recent work indicates that some of these limitations might be overcome by considering deterministic systems, which seem to be more manageable but still interesting for several application areas. In the present article, we provide a comprehensive account of the MTS framework in the deterministic setting. We study a number of problems previously considered on MTS and point out to what extent we can expect better results under the restriction of determinism.
ER -
BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN and Jiří SRBA. On Determinism in Modal Transition Systems. \textit{Theoretical Computer Science}. Elsevier, 2009, 410/2009, No~41, p.~4026-4043. ISSN~0304-3975.
|
