Realizability of Message Sequence Graphs

Bc. Martin Chmelík

Master's thesis

Anotácia:

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 specifikací Message Sequence Graphs, které jsou realizovatelné bez uváznutí pomocí datového rozšíření existující komunikace. Zároveň ukážeme, že prezentovaná třída je největší známou třídou, jež je realizovatelná bez uváznutí.

Abstract:

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 is a member of the class. We design a new class of Message Sequence Graph specifications that admits a deadlock–free realization by overloading the existing messages with additional bounded control data. We show that the presented class is the largest known class of deadlock–free realizable specifications.

Keywords

Message Sequence Charts, MSC, basic Message Sequence Chart, bMSC, Message Sequence Graph, MSG, realization, realizability, Communicating Finite State Machines, CFM.

Jazyk práce: English

Datum vytvoření / odevzdání či podání práce: 30. 5. 2011

Obhajoba závěrečné práce

• Obhajoba proběhla 28. 6. 2011
• Vedúci: RNDr. Vojtěch Řehák, Ph.D.
• Oponent: Mgr. Václav Vacek

Masaryk University

Faculty of Informatics

Master programme / odbor:
Informatics / Parallel and Distributed Systems