Bc. Martin Chmelík
Master's thesis
Realizability of Message Sequence Graphs
Realizability of Message Sequence Graphs
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 30. 5. 2011
Identifier:
https://is.muni.cz/th/v8qfl/
Thesis defence
- Date of defence: 28. 6. 2011
- Supervisor: RNDr. Vojtěch Řehák, Ph.D.
- Reader: Mgr. Václav Vacek
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
Převádění záznamů testů do podoby Message Sequence Chart popisů
Martin Vodila -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
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 -
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Adrian Farmadin -
Effective Algorithms for Time Relation Checking in Message Sequence Charts
Ľuboš Korenčiak