Mgr. Ľuboš Korenčiak

Bachelor's thesis

Time Extension of Message Sequence Chart

Time Extension of Message Sequence Chart
Anotácia:
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 …viac
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 …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009

Obhajoba závěrečné práce

  • Obhajoba proběhla 23. 6. 2009
  • Vedúci: RNDr. Vojtěch Řehák, Ph.D.
  • Oponent: Mgr. Radek Sedláček, Ph.D.

Citační záznam

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 informatiky

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Applied Informatics / Applied Informatics