New checkers for Sequence Chart Studio – Bc. Václav Vacek
Bc. Václav Vacek
Diplomová práce
New checkers for Sequence Chart Studio
New checkers for Sequence Chart Studio
Anotace:
Pro specifikace komunikace se často užívá formalismus zvaný Message Sequence Chart. Ačkoliv vznikl pro oblast telekomunikací, jeho použití je všestranné. Tým studentů Fakulty informatiky vyvíjí aplikaci pro kreslení a verifikaci MSC - Sequence Chart Studio (SCStudio). Tato práce popisuje částo tohoto vývoje: Existující verifikační algoritmy byly revidovány a opraveny a bylo implementováno pět algoritmů …víceAbstract:
For the specification of communication between entities, the formalism called Message Sequence Chart is often used. Even though it originates from the telecommunication area, its usage is not limited to it. A team of students at the Faculty of Informatics has been developing an application for drawing and verifying Message Sequence Charts called Sequence Chart Studio (SCStudio). This thesis describes …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 10. 1. 2011
Identifikátor:
https://is.muni.cz/th/asieu/
Obhajoba závěrečné práce
- Obhajoba proběhla 9. 2. 2011
- Vedoucí: RNDr. Vojtěch Řehák, 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 / Teoretická informatika
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 -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
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