Bc. Ondřej Bouda
Master's thesis
Refactoring of Sequence Chart Studio
Refactoring of Sequence Chart Studio
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 27. 5. 2013
Identifier:
https://is.muni.cz/th/nvgfz/
Thesis defence
- Date of defence: 28. 6. 2013
- Supervisor: RNDr. Vojtěch Řehák, Ph.D.
- Reader: RNDr. Petr Švenda, Ph.D.
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
-
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
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 -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Deciding Non-local Choice in High-level Message Sequence Charts
Martin Chmelík -
Realizability of Message Sequence Graphs
Martin Chmelík -
Layout Configuration for Message Sequence Charts
Milan Malota -
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Adrian Farmadin