Informace o publikaci

Controllable-choice Message Sequence Graphs

Autoři

CHMELÍK Martin ŘEHÁK Vojtěch

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
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