Bc. Jindřich Babica

Diplomová práce

Message Sequence Chart Properties and Checking Algorithms

Message Sequence Chart Properties and Checking Algorithms
Anotace:
Message Sequence Chart (MSC) je hojně používaný formalismus pro popis telekomunikačních systémů. Nedostatek kvalitních nástrojů pro zpracování tohoto formalismu nás vedlo k vytvoření nového nástroje -- Sequence Chart Studio (SCStudio). Tento nástroj by neměl sloužit jen k návrhu systému pomocí MSC, ale zároveň také k ověření některých vlastností tohoto návrhu. Cílem této práce bylo nastudovat MSC a …více
Abstract:
Message Sequence Chart (MSC) is a widely used formalism for description of telecommunication systems. A lack of tools to support MSC led us to start development of a new tool -- Sequence Chart Studio (SCStudio). Using this tool one should be capable to design a system in the MSC notation, moreover, the tool will provide automatic checks of several properties of the system. The aim of this thesis was …více
 

Keywords

Message Sequence Chart Basic MSC High-level MSC Sequence Chart Studio SCStudio properties of MSC automatic check vlastnosti MSC automatická kontrola
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 5. 1. 2009
Identifikátor: https://is.muni.cz/th/pon4r/

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

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

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Informatika

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.
Všechny práce