Refactoring of Sequence Chart Studio – Bc. Ondřej Bouda
Bc. Ondřej Bouda
Diplomová práce
Refactoring of Sequence Chart Studio
Refactoring of Sequence Chart Studio
Anotace:
Sequence Chart Studio je nástroj pro formální modelování a verifikaci komunikačních protokolů specifikovaných ve formalismu Message Sequence Chart. Nabízí pohodlné grafické uživatelské rozhraní a algoritmy pro kontrolu vlastností diagramů, výpočty rozdílů mezi specifikací a reálně zachycenou komunikací, algorithmus pro automatické uspořádání diagramů, a několik dalších funkcí. Všechny části byly implementovány …víceAbstract:
Sequence Chart Studio is a tool for formal modelling and verification of communication protocols specified in Message Sequence Chart. It features a user-friendly graphical user interface and algorithms for checking properties, computing differences between specification and actual flows, rearranging diagrams, and several other functions. All parts have been implemented as students’ work. The tool was …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 27. 5. 2013
Identifikátor:
https://is.muni.cz/th/nvgfz/
Obhajoba závěrečné práce
- Obhajoba proběhla 28. 6. 2013
- Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
- Oponent: RNDr. Petr Švenda, Ph.D.
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 -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
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 -
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Adrian Farmadin