Mgr. Martin Křivánek

Bachelor's thesis

Probabilistic Extension of Message Sequence Chart

Probabilistic Extension of Message Sequence Chart
Anotácia:
Message Sequence Chart (MSC) je textový a grafický formalizmus používaný pro popis komunikujících systémů. Kombinací více MSC můžeme získat High-level Message Sequence Chart (hMSC) s větší vyjadřovací silou. Nedávno byly do MSC přidány časové a pravděpodobnostní vlastnosti. V této práci je přehled aktuálních přístupů pro práci s MSC rozšířeném o pravděpodobnost. Také navrhujeme, jak zacházet s pravděpodobnostními …viac
Abstract:
Message Sequence Chart (MSC) is an appealing textual and graphical formalism for describing communicating systems. MSCs can be composed into High-level Message Sequence Charts (hMSC) with greater expressiveness. Recently, time and probability properties have been introduced into MSC. We provide a survey of the current work related to MSC extended by probability. We also suggest how to deal with stochastic …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 25. 6. 2009
  • Vedúci: RNDr. Vojtěch Řehák, Ph.D.
  • Oponent: doc. RNDr. Tomáš Brázdil, 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:
Informatics / Informatics