Information System of Masaryk University 

Archiv závěrečné práce Petr Slovák FI B-IN BcIN, učo 172427

IS MU

česky | in English

Use to change section. Address within IS:

Masaryk University

Faculty of Informatics

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

Theses on a related topic

Display description

Bc. Petr Slovák, učo 172427

Race Conditions in Message Sequence Charts

Race Conditions in Message Sequence Charts

Abstract: Race condition problem is known to be decidable for Message Sequence Charts (MSC) but it becomes undecidable for High-level MSC. This thesis introduces a modification of the race condition problem, so called trace race condition problem, that remains decidable even for High-level MSC (with coregions). In this thesis, we discuss differences between the race condition and the trace race condition problem and we argue that our concept is useful in model based design. We also propose an algorithm solving the trace race condition problem as well as show the problem itself to be NP-complete for HMSC with coregions.

Message Sequence Charts, High-level Message Sequence Charts, race conditions, trace race conditions

Language used: English

  • Entered/Edited 26. 6. 2008 13:26, Eva Drštková, učo 2151
  • Record made: 24. 4. 2008 13:33, Eva Drštková, učo 2151
  • Accessible from:: 22. 5. 2008 10:23, Eva Drštková, učo 2151
  • Thesis/dissertation received 22. 5. 2008 10:23 (Eva Drštková, učo 2151)

Thesis defence

  • took place 26. 6. 2008, the thesis was defended successfully.
  • Supervisor:
    • RNDr. Vojtěch Řehák, Ph.D., učo 3721, ITI FI MU
  • Reader:
    • Mgr. Radek Pelánek, Ph.D., učo 4297, KIT FI MU

  • Final Examination course: Bachelor Thesis

Thesis check

The thesis has been checked: 11. 10. 2008 13:02, (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 Petr Slovák FI B-IN BcIN, učo 172427 /fi_b/Slovák, P.22.  5. 2008
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.txtSlovák, P.22.  5. 2008
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.txtSlovák, P.22.  5. 2008
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_oponenta.pdfPelánek, R. 9.  6. 2008
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.18.  6. 2008
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 Thesis-text thesis.pdfSlovák, P.22.  5. 2008
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:14, 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