Time Extension of Message Sequence Chart – Mgr. Ľuboš Korenčiak
Mgr. Ľuboš Korenčiak
Bakalářská práce
Time Extension of Message Sequence Chart
Time Extension of Message Sequence Chart
Anotace:
Message sequence charts (MSC) je grafický a textový formalizmus vhodný na na špecifikáciu distribuovanej komunikácie. Pozostáva z MSC a High-level MSC (HMSC). Formalizmus obsahuje možnosť špecifikácie času v navrhovaných systémoch. Existujú problémy nad časovými obmedzeniami v MSC, ako napríklad počítanie minimálnej siete. Prvé pokusy riešenia týchto problémov, ktoré využívajú rôzne prístupy, už boli …víceAbstract:
Message sequence charts (MSC) is a graphical and textual formalism suitable for specifying distributed communication. It consists of the MSC and a High-level MSC (HMSC). The formalism incorporates the possibility of specifying time in designed systems. There arise severe problems regarding timing constraints in MSC, such as computation of minimal network. First attempts to solve the problems using …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor:
https://is.muni.cz/th/vgb7l/
Obhajoba závěrečné práce
- Obhajoba proběhla 23. 6. 2009
- Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
- Oponent: Mgr. Radek Sedláček, 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 informatikyBakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika
Práce na příbuzné téma
-
Effective Algorithms for Time Relation Checking in Message Sequence Charts
Ľuboš Korenčiak -
Layout Configuration for Message Sequence Charts
Milan Malota -
Deciding Non-local Choice in High-level Message Sequence Charts
Martin Chmelík -
Race Conditions in Message Sequence Charts
Petr Slovák -
Nástroje pro práci s message sequence charts
Martin Zavadil -
Realizability of Message Sequence Graphs
Martin Chmelík -
Rozšíření Sequence Chart Studia o exportní filtr do LaTeXu
Adrian Farmadin -
Realizability of Message Sequence Graphs
Martin Chmelík