A Formal Methodology for Semantics and Time Consistency Checking of UML Dynamic Diagrams.
Youcef HammalPublished in: FGIT-ASEA (2009)
Keyphrases
- consistency checking
- uml class diagrams
- class diagrams
- unified modeling language
- dynamic aspects
- sequence diagrams
- formal methods
- uml diagrams
- specification language
- class diagram
- formal specification
- uml activity diagrams
- semantic information
- database
- graphical representation
- operational semantics
- dynamic environments
- metamodel
- conceptual model
- spatial information
- constraint language
- database design
- special case
- lower bound
- multi agent
- case study
- data sets