Deciding Non-local Choice in High-level Message Sequence Charts – Mgr. Martin Chmelík
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
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 …moreAbstract:
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 …more
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2009
Identifier:
https://is.muni.cz/th/jtl53/
Thesis defence
- Date of defence: 25. 6. 2009
- Supervisor: RNDr. Vojtěch Řehák, Ph.D.
- Reader: RNDr. Vojtěch Forejt, Ph.D.
Citation record
Full text of thesis
Contents of on-line thesis archive
Published in Theses:- světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Informatics / Informatics
Theses on a related topic
-
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
Převádění záznamů testů do podoby Message Sequence Chart popisů
Martin Vodila -
Probabilistic Extension of Message Sequence Chart
Martin Křivánek -
Time Extension of Message Sequence Chart
Ľuboš Korenčiak -
Message Sequence Chart Properties and Checking Algorithms
Jindřich Babica -
Refactoring of Sequence Chart Studio
Ondřej Bouda