Zpět na vyhledávání

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 …more
Abstract:
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
 

Keywords

Message Sequence Charts Message Sequence Graph timing consistency tightening minimal network
 
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.

Citation record

Cite this text

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 informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
All theses