Effective Algorithms for Time Relation Checking in Message Sequence Charts

Bc. Ľuboš Korenčiak

Diplomová práce

Anotace:

SCStudio je užívateľsky prívetivý nástroj na kreslenie a overovanie UML sekvenčných diagramov a diagramov Message Sequence Chart (MSC). V súčasnej dobe SCStudio obsahuje neefektívne algoritmy pre prácu s časom. Tieto algoritmy sú založené na riešení Temporal Constraint Satisfaction Problem (TCSP). Táto diplomová práca poskytuje prehľad prístupov na efektívne riešenie TCSP. Z nich bol vybraný najvhodnejší prístup pre SCStudio. Navyše sme navrhli vlastnú optimalizáciu a dokázali, že je korektná. Integrovali sme oba prístupy do nástroja SCStudio a ukázali sme, že bolo dosiahnuté dramatické zlepšenie výkonu časových algoritmov.

Abstract:

SCStudio is a user friendly drawing and verification tool for UML Sequence Diagrams and Message Sequence Charts. Currently SCStudio contains inefficient algorithms for working with time relations. These algorithms are based on solving of Temporal Constraint Satisfaction Problem (TCSP). This thesis provides a survey of approaches concerning with effective solving of TCSP. The most suitable approach for SCStudio was selected. Moreover we propose our own optimization and prove its correctness. We integrated both approaches to the tool SCStudio and we demonstrate that it caused dramatic improvement of performance of time algorithms.

Keywords

SCStudio, Message Sequence Chart, Temporal Constraint Satisfaction Problem, Simple Temporal Problem, tightening, time consistency, articulation point

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 30. 5. 2011

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

• Obhajoba proběhla 28. 6. 2011
• Vedoucí: RNDr. Vojtěch Řehák, Ph.D.
• Oponent: doc. Mgr. Jan Obdržálek, PhD.

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy