20 Years of Modal and Mixed Specifications

Adam Antonik; Michael Huth; Kim Guldstrand Larsen; Ulrik Mathias Nyman; Andrzej Wasowski

20 Years of Modal and Mixed Specifications

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Mathias Nyman, Andrzej Wasowski

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning

Abstract

Twenty years ago, modal and mixed specifications were proposed as
abstract models of system behavior. In this paper, we explain the nature
and utility of such specifications, relate them to other formalisms, showcase
some of their established applications, and mention some existing tool support.
We also present some recent complexity results for decision problems
underlying such applications and list some remaining open problems.
Udgivelsesdato: june

Originalsprog	Engelsk
Tidsskrift	Bulletin of the European Association for Theoretical Computer Science
Vol/bind	95
ISSN	0252-9742
Status	Udgivet - 2008

Emneord

Mixed transition systems
Modal transition systems

Citationsformater

@article{c9572d10830d11ddb116000ea68e967b,

title = "20 Years of Modal and Mixed Specifications",

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

keywords = "Mixed transition systems, Modal transition systems, Mixed transition systems, Modal transition systems",

author = "Adam Antonik and Michael Huth and Larsen, {Kim Guldstrand} and Nyman, {Ulrik Mathias} and Andrzej Wasowski",

note = "Not peer reviewed but submitted on the basis of an invitation ISSN: 0252-9742",

year = "2008",

language = "English",

volume = "95",

journal = "Bulletin of the European Association for Theoretical Computer Science",

issn = "0252-9742",

publisher = "European Association for Theoretical Computer Science",

}

TY - JOUR

T1 - 20 Years of Modal and Mixed Specifications

AU - Antonik, Adam

AU - Huth, Michael

AU - Larsen, Kim Guldstrand

AU - Nyman, Ulrik Mathias

AU - Wasowski, Andrzej

N1 - Not peer reviewed but submitted on the basis of an invitation ISSN: 0252-9742

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 - Mixed transition systems

KW - Modal transition systems

KW - Mixed transition systems

KW - Modal transition systems

M3 - Journal article

SN - 0252-9742

VL - 95

JO - Bulletin of the European Association for Theoretical Computer Science

JF - Bulletin of the European Association for Theoretical Computer Science

ER -

20 Years of Modal and Mixed Specifications

Abstract

Emneord

Fingeraftryk

Citationsformater