Controllable-choice Message Sequence Graphs
| Autoři | |
|---|---|
| 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 | |
| Citace | |
| www | http://link.springer.com/chapter/10.1007%2F978-3-642-36046-6_12 |
| Doi | https://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: |