Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages.
Vitor LimaChamseddine TalhiDjedjiga MouhebMourad DebbabiLingyu WangMakan PourzandiPublished in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
- sequence diagrams
- formal verification
- model based testing
- class diagrams
- petri net
- model checking
- uml models
- activity diagrams
- intermediate representation
- test cases
- model checker
- class diagram
- regression testing
- automated verification
- symbolic model checking
- bounded model checking
- unified modelling language
- database
- uml class diagrams
- dependency graph
- temporal logic
- object oriented
- knowledge representation
- low level