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.