Nástroje pro práci s message sequence charts

Bc. Martin Zavadil

Master's thesis

Tools for Message Sequence Charts

Anotácia:

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.

Kľúčové slová

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: Czech

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
• Vedúci: RNDr. Vojtěch Řehák, Ph.D.
• Oponent: Ing. Petr Gotthard

Masaryk University

Faculty of Informatics

Master programme / odbor:
Applied Informatics / Applied Informatics