Probabilistic Extension of Message Sequence Chart

Mgr. Martin Křivánek

Bakalářská práce

Anotace:

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 vlastnostmi v MSC, případně hMSC, a vypočítávat výkonnostní vlastnosti systému.

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 information in~MSC and hMSC and how to compute performance properties of the system.

Keywords

Message Sequence Chart, High-level Message Sequence Chart, time, probability, stochastic processes

Jazyk práce: angličtina

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
• Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
• Oponent: doc. RNDr. Tomáš Brázdil, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika