Time Extension of Message Sequence Chart – Mgr. Ľuboš Korenčiak
Mgr. Ľuboš Korenčiak
Bachelor's thesis
Time Extension of Message Sequence Chart
Time Extension of Message Sequence Chart
Abstract:
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2009
Identifier:
https://is.muni.cz/th/vgb7l/
Thesis defence
- Date of defence: 23. 6. 2009
- Supervisor: RNDr. Vojtěch Řehák, Ph.D.
- Reader: Mgr. Radek Sedláček, 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 InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
-
Layout Configuration for Message Sequence Charts
Milan Malota -
Effective Algorithms for Time Relation Checking in Message Sequence Charts
Ľuboš Korenčiak -
Deciding Non-local Choice in High-level Message Sequence Charts
Martin Chmelík -
Nástroje pro práci s message sequence charts
Martin Zavadil -
Race Conditions in Message Sequence Charts
Petr Slovák -
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