A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams.
Zohaib KhaiAamer NadeemGang-soo LeePublished in: FGIT-ASEA/DRBC/EL (2011)
Keyphrases
- sequence diagrams
- consistency checking
- class diagrams
- petri net
- uml models
- intermediate representation
- activity diagrams
- class diagram
- model based testing
- regression testing
- test cases
- uml class diagrams
- query answering
- knowledge representation
- software development
- temporal constraints
- temporal reasoning
- object oriented