Controllable-choice Message Sequence Graphs

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	CHMELÍK Martin ŘEHÁK Vojtěch
Rok publikování	2013
Druh	Článek ve sborníku
Konference	Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://link.springer.com/chapter/10.1007%2F978-3-642-36046-6_12
Doi	http://dx.doi.org/10.1007/978-3-642-36046-6_12
Obor	Informatika
Klíčová slova	message sequence charts; realizability; local choice
Přiložené soubory	paper.pdf
Popis	Zaměřujeme se na problematiku realizovatelnosti modelů ve formalizmu Message Sequence Graphs (MSG). O tomto problému je známo, že je nerozhodnutelný. My zavádíme dobře motivovanou podtřídu MSG, nazvanou controllable-choice MSG, a ukazujeme, že všechny modely této podtřídy jsou realizovatelné a zároveň problém příslušnoti do této třídy je pro obecné MSG rozhodnutelný.Dále ukazujeme, že námi zavedená třída je největší známou splňující obě vlastnosti uvedené v předchozí větě.
Související projekty:	Centrum excelence - Institut teoretické informatiky