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
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 5. 1. 2009
Identifikátor:
https://is.muni.cz/th/pon4r/
Obhajoba závěrečné práce
- Obhajoba proběhla 9. 2. 2009
- Vedúci: RNDr. Vojtěch Řehák, Ph.D.
- Oponent: Ing. Petr Gotthard
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 informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Informatics
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 -
Refactoring of Sequence Chart Studio
Ondřej Bouda -
Realizability of Message Sequence Graphs
Martin Chmelík -
Layout Configuration for Message Sequence Charts
Milan Malota -
Effective Algorithms for Time Relation Checking in Message Sequence Charts
Ľuboš Korenčiak -
New checkers for Sequence Chart Studio
Václav Vacek