Bc. Ľuboš Korenčiak

Diplomová práce

Effective Algorithms for Time Relation Checking in Message Sequence Charts

Effective Algorithms for Time Relation Checking in Message Sequence Charts
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ší …více
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 …více
 

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
Identifikátor: https://is.muni.cz/th/c4cbn/

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.

Citační záznam

Citovat tuto práci

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
Složka Odkaz na adresář do lokálního úložiště instituce

Masarykova univerzita

Fakulta informatiky

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

Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.