Zpět na vyhledávání

Bc. Jindřich Babica

Master's thesis

Message Sequence Chart Properties and Checking Algorithms

Message Sequence Chart Properties and Checking Algorithms
Abstract:
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 …more
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 …more
 

Keywords

Message Sequence Chart Basic MSC High-level MSC Sequence Chart Studio SCStudio properties of MSC automatic check vlastnosti MSC automatická kontrola
 
Language used: English
Date on which the thesis was submitted / produced: 5. 1. 2009
Identifier: https://is.muni.cz/th/pon4r/

Thesis defence

  • Date of defence: 9. 2. 2009
  • Supervisor: RNDr. Vojtěch Řehák, Ph.D.
  • Reader: Ing. Petr Gotthard

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution