Nástroje pro práci s message sequence charts

Bc. Martin Zavadil

Diplomová práce

Tools for Message Sequence Charts

Anotace:

Tato práce popisuje vybrané dostupné nástroje pro práci s Message Sequence Charts (MSC). Jejich popis je zaměřen na použitelnost, dostupnost a nabízené analytické funkce. Hlavním cílem práce je s pomocí zkušeností s těmito nástroji navrhnout nový nástroj, ve kterém budou vhodně zkombinovány nejlepší vlastnosti zkoumaných nástrojů.

Abstract:

The thesis describes several tools for Message Sequence Charts (MSC). The description is focused on usability, availability and analytical functions which they provide. The goal of the thesis is to design new tool with help of experiences with available tools.

Klíčová slova

Message Sequence Charts, MSC, uBET, Smyle, MSCan, LTSA, Telelogic Tau, KLOCwork MSC2SDL synthetizer, MS Visio, nástroj, proces, zpráva, ověřování vlastností, coregion, general ordering, race condition, tool, process, message, property checking

Jazyk práce: čeština

Datum vytvoření / odevzdání či podání práce: 5. 1. 2009

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

• Obhajoba proběhla 10. 2. 2009
• Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
• Oponent: Ing. Petr Gotthard

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika