Realizability of Message Sequence Graphs – Bc. Martin Chmelík
Bc. Martin Chmelík
Diplomová práce
Realizability of Message Sequence Graphs
Realizability of Message Sequence Graphs
Anotace:
V této práci jsme se zaměřili na problém realizovatelnosti Message Sequence Graphs, tedy zda je daná specifikace korektně distribuovatelná mezi paralelní komponenty. Obecně je tato otázka nerozhodnutelná. Proto se snažíme nalézt třídu specifikací Message Sequence Graphs, které jsou nejen realizovatelné, ale zároveň je rozhodnutelné, zda je daná specifikace prvkem této třídy. Navrhujeme novou třídu …víceAbstract:
In this work we focus on the realizability problem of Message Sequence Graphs, i.e., the problem whether a given specification is correctly distributable among parallel components. In the general setting, the problem is proved to be undecidable. Therefore, we search for a restricted class of Message Sequence Graphs that admits a realization, but moreover it is decidable whether a given specification …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 30. 5. 2011
Identifikátor:
https://is.muni.cz/th/v8qfl/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2011
- Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
- Oponent: Mgr. Václav Vacek
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy
Práce na příbuzné téma
-
Převádění záznamů testů do podoby Message Sequence Chart popisů
Martin Vodila -
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Refactoring of Sequence Chart Studio
Ondřej Bouda -
Layout Configuration for Message Sequence Charts
Milan Malota -
Effective Algorithms for Time Relation Checking in Message Sequence Charts
Ľuboš Korenčiak -
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Adrian Farmadin