Mgr. Martin Chmelík

Bachelor's thesis

Deciding Non-local Choice in High-level Message Sequence Charts

Deciding Non-local Choice in High-level Message Sequence Charts
Anotácia:
Nelokální volba ve formalizmu Message Sequence Chart způsobuje nežádoucí a nespecifikovaná chování v implementovaném systému. Tato práce se zaměřuje na problematiku nelokální volby v High-level Message Sequence Chart specifikacích. Navrhujeme algoritmus na detekci míst s nelokální volbou. Přinášíme nový přístup v řešení nelokálních voleb pomocí dodatečných požadavků na systém. Přístup nelze uplatnit …viac
Abstract:
Non-local choice property in Message Sequence Chart formalism is causing unwanted and unspecified behavior in the implemented system. This work focuses on detecting non--local choice in High--level Message Sequence Chart specifications. We propose an algorithm that detects non--local choice. We introduce a new approach to deal with non--local choice, by having further assumptions on the system. The …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009

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

  • Obhajoba proběhla 25. 6. 2009
  • Vedúci: RNDr. Vojtěch Řehák, Ph.D.
  • Oponent: RNDr. Vojtěch Forejt, Ph.D.

Citační záznam

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

Masaryk University

Faculty of Informatics

Bachelor programme / odbor:
Informatics / Informatics