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

Mgr. Martin Chmelík

Bachelor's thesis

Abstract:

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

Language used: English

Date on which the thesis was submitted / produced: 25. 5. 2009

Thesis defence

• Date of defence: 25. 6. 2009
• Supervisor: RNDr. Vojtěch Řehák, Ph.D.
• Reader: RNDr. Vojtěch Forejt, Ph.D.

Masaryk University

Faculty of Informatics

Bachelor programme / field:
Informatics / Informatics