A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams.
Juan Antonio Gómez-GutiérrezRobert ClarisóJordi CabotPublished in: BPMDS/EMMSAD@CAiSE (2022)
Keyphrases
- integrity constraints
- class diagrams
- class diagram
- uml class diagrams
- sequence diagrams
- constraint language
- uml diagrams
- object oriented
- integrity checking
- xml schema
- petri net
- functional dependencies
- activity diagrams
- intermediate representation
- query answering
- xml documents
- regression testing
- case study
- description logics
- reverse engineering
- requirements analysis
- consistent query answering
- database applications