Mgr. Martin Křivánek

Bachelor's thesis

Probabilistic Extension of Message Sequence Chart

Probabilistic Extension of Message Sequence Chart
Abstract:
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 …more
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 …more
 
 
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2009

Thesis defence

  • Date of defence: 25. 6. 2009
  • Supervisor: RNDr. Vojtěch Řehák, Ph.D.
  • Reader: doc. RNDr. Tomáš Brázdil, Ph.D.

Citation record

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

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics