Parametric modal transition systems

Nikola Beneš; Jan Křetínský; Kim Guldstrand Larsen; M.H. Møller; J. Srba

doi:10.1007/978-3-642-24372-1_20

Parametric modal transition systems

Nikola Beneš, Jan Křetínský, Kim Guldstrand Larsen, M.H. Møller, J. Srba

Publikation: Bidrag til tidsskrift › Konferenceartikel i tidsskrift › Forskning › peer review

26 Citationer (Scopus)

Abstract

Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called parametric modal transition systems (PMTS) together with a general modal refinement notion that overcome many of the limitations and we investigate the computational complexity of modal refinement checking.

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Vol/bind	6996
Sider (fra-til)	275-289
Antal sider	15
ISSN	0302-9743
DOI	https://doi.org/10.1007/978-3-642-24372-1_20
Status	Udgivet - 1 jan. 2011
Begivenhed	9th International Symposium on Automated Technology for Verification and Analysis - Taipei, Taiwan Varighed: 11 okt. 2011 → 14 okt. 2011 Konferencens nummer: 9

Konference

Konference	9th International Symposium on Automated Technology for Verification and Analysis
Nummer	9
Land/Område	Taiwan
By	Taipei
Periode	11/10/2011 → 14/10/2011

Bibliografisk note

Proceeding of the 9th International Symposium on automated Technology for Verification and Analysis. (eds.) Bultan, Tevfik & Hsiung, Pao-Ann.

Adgang til dokumentet

10.1007/978-3-642-24372-1_20

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Andre filer og links

Citationsformater

@inproceedings{2dce42b12aa044c9bb40cc3d6b9cee34,

title = "Parametric modal transition systems",

abstract = "Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called parametric modal transition systems (PMTS) together with a general modal refinement notion that overcome many of the limitations and we investigate the computational complexity of modal refinement checking.",

keywords = "modal transition systems, parameters, refinement",

author = "Nikola Bene{\v s} and Jan K{\v r}et{\'i}nsk{\'y} and Larsen, {Kim Guldstrand} and M.H. M{\o}ller and J. Srba",

note = "Proceeding of the 9th International Symposium on automated Technology for Verification and Analysis. (eds.) Bultan, Tevfik & Hsiung, Pao-Ann.; 9th International Symposium on Automated Technology for Verification and Analysis ; Conference date: 11-10-2011 Through 14-10-2011",

year = "2011",

month = jan,

day = "1",

doi = "10.1007/978-3-642-24372-1_20",

language = "English",

volume = "6996",

pages = "275--289",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Physica-Verlag",

}

TY - GEN

T1 - Parametric modal transition systems

AU - Beneš, Nikola

AU - Křetínský, Jan

AU - Larsen, Kim Guldstrand

AU - Møller, M.H.

AU - Srba, J.

N1 - Conference code: 9

PY - 2011/1/1

Y1 - 2011/1/1

N2 - Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called parametric modal transition systems (PMTS) together with a general modal refinement notion that overcome many of the limitations and we investigate the computational complexity of modal refinement checking.

AB - Modal transition systems (MTS) is a well-studied specification formalism of reactive systems supporting a step-wise refinement methodology. Despite its many advantages, the formalism as well as its currently known extensions are incapable of expressing some practically needed aspects in the refinement process like exclusive, conditional and persistent choices. We introduce a new model called parametric modal transition systems (PMTS) together with a general modal refinement notion that overcome many of the limitations and we investigate the computational complexity of modal refinement checking.

KW - modal transition systems, parameters, refinement

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-80054074253&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/record.url?scp=80054074253&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80054074253&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-24372-1_20

DO - 10.1007/978-3-642-24372-1_20

M3 - Conference article in Journal

AN - SCOPUS:80054074253

SN - 0302-9743

VL - 6996

SP - 275

EP - 289

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 9th International Symposium on Automated Technology for Verification and Analysis

Y2 - 11 October 2011 through 14 October 2011

ER -

Parametric modal transition systems

Abstract

Konference

Bibliografisk note

Adgang til dokumentet

AUB Link

Andre filer og links

Fingeraftryk

Citationsformater