Controllable-choice Message Sequence Graphs

Logo poskytovatele

Varování

Publikace nespadá pod Fakultu sportovních studií, 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
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info