On Refinements of Boolean and Parametric Modal Transition
Systems

D 2013

On Refinements of Boolean and Parametric Modal Transition Systems

KŘETÍNSKÝ, Jan a Salomon SICKERT

Základní údaje

Originální název

On Refinements of Boolean and Parametric Modal Transition Systems

Autoři

KŘETÍNSKÝ, Jan (203 Česká republika, garant, domácí) a Salomon SICKERT (276 Německo)

Vydání

Heidelberg Dordrecht London New York, Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, od s. 213-230, 18 s. 2013

Nakladatel

Springer

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Impakt faktor

Impact factor: 0.402 v roce 2005

Kód RIV

RIV/00216224:14330/13:00066200

Organizační jednotka

Fakulta informatiky

ISBN

978-3-642-39717-2

ISSN

DOI

http://dx.doi.org/10.1007/978-3-642-39718-9_13

Klíčová slova česky

modal transition systems; refinement

Klíčová slova anglicky

modal transition systems; specification; interface theory; refinement

Štítky

core_B, firank_B

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 27. 4. 2014 23:18, RNDr. Pavel Šmerk, Ph.D.

Anotace

V originále

We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce the problem of modal refinement over both classes to a problem solvable by a QBF solver and provide experimental results showing our technique scales well. Secondly, we extend the algorithm for thorough refinement of MTS providing better complexity than via reductions to previously studied problems. Finally, we investigate the relationship between modal and thorough refinement on the two classes and show how the thorough refinement can be approximated by the modal refinement.

Návaznosti

GAP202/10/1469, projekt VaV

Název: Formální metody pro analýzu a verifikaci komplexních systémů

Investor: Grantová agentura ČR, Formální metody pro analýzu a verifikaci komplexních systémů

MUNI/A/0760/2012, interní kód MU

Název: Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II. (Akronym: FI MAV II.)

Investor: Masarykova univerzita, Rozsáhlé výpočetní systémy: modely, aplikace a verifikace II., DO R. 2020_Kategorie A - Specifický výzkum - Studentské výzkumné projekty

Citovat

KŘETÍNSKÝ, Jan a Salomon SICKERT. On Refinements of Boolean and Parametric Modal Transition Systems. In Z. Liu, J. Woodcock, and H. Zhu. Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium. Heidelberg Dordrecht London New York: Springer, 2013, s. 213-230. ISBN 978-3-642-39717-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39718-9_13.

@inproceedings{1112163,
   author = {Křetínský, Jan and Sickert, Salomon},
   address = {Heidelberg Dordrecht London New York},
   booktitle = {Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium},
   doi = {http://dx.doi.org/10.1007/978-3-642-39718-9_13},
   editor = {Z. Liu, J. Woodcock, and H. Zhu},
   keywords = {modal transition systems; specification; interface theory; refinement},
   howpublished = {tištěná verze "print"},
   language = {eng},
   location = {Heidelberg Dordrecht London New York},
   isbn = {978-3-642-39717-2},
   pages = {213-230},
   publisher = {Springer},
   title = {On Refinements of Boolean and Parametric Modal Transition Systems},
   year = {2013}
}

TY  - JOUR
ID  - 1112163
AU  - Křetínský, Jan - Sickert, Salomon
PY  - 2013
TI  - On Refinements of Boolean and Parametric Modal Transition Systems
PB  - Springer
CY  - Heidelberg Dordrecht London New York
SN  - 9783642397172
KW  - modal transition systems
KW  - specification
KW  - interface theory
KW  - refinement
N2  - We consider the extensions of modal transition systems (MTS), namely Boolean MTS and parametric MTS and we investigate the refinement problems over both classes. Firstly, we reduce the problem of modal refinement over both classes to a problem solvable by a QBF solver and provide experimental results showing our technique scales well. Secondly, we extend the algorithm for thorough refinement of MTS providing better complexity than via reductions to previously studied problems. Finally, we investigate the relationship between modal and thorough refinement on the two classes and show how the thorough refinement can be approximated by the modal refinement.
ER  -

KŘETÍNSKÝ, Jan a Salomon SICKERT. On Refinements of Boolean and Parametric Modal Transition Systems. In Z. Liu, J. Woodcock, and H. Zhu. \textit{Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium}. Heidelberg Dordrecht London New York: Springer, 2013, s.~213-230. ISBN~978-3-642-39717-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39718-9\_{}13.

Podrobný výpis o publikaci