TY - JOUR
T1 - 20 Years of Modal and Mixed Specifications
AU - Antonik, Adam
AU - Huth, Michael
AU - Larsen, Kim Guldstrand
AU - Nyman, Ulrik
AU - Wasowski, Andrzej
PY - 2008
Y1 - 2008
N2 - Twenty years ago, modal and mixed specifications were proposed asabstract models of system behavior. In this paper, we explain the natureand utility of such specifications, relate them to other formalisms, showcasesome of their established applications, and mention some existing tool support.We also present some recent complexity results for decision problemsunderlying such applications and list some remaining open problems.
AB - Twenty years ago, modal and mixed specifications were proposed asabstract models of system behavior. In this paper, we explain the natureand utility of such specifications, relate them to other formalisms, showcasesome of their established applications, and mention some existing tool support.We also present some recent complexity results for decision problemsunderlying such applications and list some remaining open problems.
KW - Modale transitions systemer
KW - Blandede transitions systemer
KW - Modal transition systems
KW - Mixed transition systems
M3 - Journal article
SN - 0252-9742
JO - Bulletin of the European Association for Theoretical Computer Science
JF - Bulletin of the European Association for Theoretical Computer Science
IS - 95
ER -