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

Mgr. Martin Chmelík

Bakalářská práce

Anotace:

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 obecně, ale je možné algoritmicky rozhodnout, zda je možné jej použít. V negativním případě algoritmus označí příčiny.

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 approach cannot be applied in general, but we can algorithmically decide, whether our approach is appliable. Moreover, when we cannot apply our approach, we may advise the designer, what is causing the inapplicableness.

Keywords

MSC, message sequence chart, MSG, message sequence graph, HMSC, high-level message sequence chart, hierarchical message sequence chart, NLC, non-local choice

Jazyk práce: angličtina

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
• Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
• Oponent: RNDr. Vojtěch Forejt, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Informatika / Informatika