Information System of Masaryk University 

Archiv závěrečné práce Jindřich Babica FI N-IN IN, učo 72519

IS MU

česky | in English

Use to change section. Address within IS:

Masaryk University

Faculty of Informatics

Master's degree programme/field of study:
Informatics/Informatics

Theses on a related topic

Display description

Mgr. Jindřich Babica, učo 72519

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 s ohledem k tomuto formalismu položit základy SCStudia. Navrhli jsme datové struktury pro reprezentaci MSC, řadu nástrojů pro zpracování této struktury a zadefinovali jsme několik vlastností MSC. Spolu s těmito vlastnostmi jsme naimplementovali i kontrolní algoritmy, které ověřují nejen tyto vlastnosti, ale také i tzv. "trace race" vlastnost, která byla popsaná v samostatném článku.

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 to study MSC and according to its notation set up basis for the SCStudio. We have designed a data structures of MSC, provided functions for their processing and defined several basic properties of MSC. We also implemented checking algorithms for these properties and trace race condition property introduced in separate paper.

Message Sequence Chart, Basic MSC, High-level MSC, Sequence Chart Studio, SCStudio, properties of MSC, automatic check, vlastnosti MSC, automatická kontrola

Language used: English

  • Entered/Edited 9. 2. 2009 14:03, Helena Kryštofová, učo 306
  • Record made: 27. 11. 2008 09:53, Helena Kryštofová, učo 306
  • Accessible from:: 5. 1. 2009 11:13, Helena Kryštofová, učo 306
  • Thesis/dissertation received 5. 1. 2009 11:13 (Helena Kryštofová, učo 306)

Thesis defence

  • took place 9. 2. 2009, the thesis was defended successfully.
  • Supervisor:
    • RNDr. Vojtěch Řehák, Ph.D., učo 3721, ITI FI MU
  • Reader:

  • Final Examination course: Diploma Thesis

Thesis check

The thesis has been checked: 6. 1. 2009 07:04, (IS automaticky)

Toolsdisplay in ascending orderdisplay in descending order Click to count the files which have not bee read Click to calculate the total space occupied Zobrazit mapu souborů. folders first, files seconddisplay in ascending orderdisplay in descending order File or folderdisplay in ascending orderdisplay in descending order Uploaded/Created bydisplay in ascending orderdisplay in descending order Uploaded/Createddisplay in ascending orderdisplay in descending order expiration date: display in ascending order.expiration date: display in descending order.
Tools  Archiv závěrečné práce Jindřich Babica FI N-IN IN, učo 72519 /fi_m/Babica, J. 4.  1. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsAnotace anglicky annotation_english.txtBabica, J. 4.  1. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsAnotace česky annotation.txtBabica, J. 4.  1. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsCD cd.zipBabica, J. 5.  1. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsKlíčová slova keywords.txtBabica, J. 4.  1. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
ToolsMaster thesis source thesis.texBabica, J. 4.  1. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Tools Master thesis thesis.pdfBabica, J. 4.  1. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Tools posudek_oponent posudek_oponenta.pdfGotthard, P.22.  1. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Tools posudek_skolitele.pdfŘehák, V. 3.  2. 2009
The following are allowed to read the file(s):
• anyone on the Internet
No one is allowed to upload files.No one is allowed to administer files.No attribute.
Browse this folder after logging into the System (provided you have an IS password, you can have more files displayed here)

Other references: 

Go to top | Current date and time: 9. 2. 2010 20:10, Week 6 (even)

Contact: isna(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, Office for Studies, access rights administrators, is-technicians, e-technicians, IT support | learn more about Information System