Message Sequence Chart Properties and Checking Algorithms – Bc. Jindřich Babica
Bc. Jindřich Babica
Master's thesis
Message Sequence Chart Properties and Checking Algorithms
Message Sequence Chart Properties and Checking Algorithms
Abstract:
Message Sequence Chart (MSC) je hojně používaný formalismus pro popis telekomunikačních systémů. Nedostatek kvalitních nástrojů pro zpracování tohoto formalismu nás vedlo k vytvoření nového nástroje -- Sequence Chart Studio (SCStudio). Tento nástroj by neměl sloužit jen k návrhu systému pomocí MSC, ale zároveň také k ověření některých vlastností tohoto návrhu. Cílem této práce bylo nastudovat MSC a …moreAbstract:
Message Sequence Chart (MSC) is a widely used formalism for description of telecommunication systems. A lack of tools to support MSC led us to start development of a new tool -- Sequence Chart Studio (SCStudio). Using this tool one should be capable to design a system in the MSC notation, moreover, the tool will provide automatic checks of several properties of the system. The aim of this thesis was …more
Language used: English
Date on which the thesis was submitted / produced: 5. 1. 2009
Identifier:
https://is.muni.cz/th/pon4r/
Thesis defence
- Date of defence: 9. 2. 2009
- Supervisor: RNDr. Vojtěch Řehák, Ph.D.
- Reader: Ing. Petr Gotthard
Citation record
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 / Informatics
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 -
Refactoring of Sequence Chart Studio
Ondřej Bouda -
Realizability of Message Sequence Graphs
Martin Chmelík -
Layout Configuration for Message Sequence Charts
Milan Malota -
New checkers for Sequence Chart Studio
Václav Vacek -
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Adrian Farmadin