On the verification of UML/OCL class diagrams using constraint programming.
Jordi CabotRobert ClarisóDaniel RieraPublished in: J. Syst. Softw. (2014)
Keyphrases
- constraint programming
- class diagrams
- uml class diagrams
- class diagram
- sequence diagrams
- uml diagrams
- constraint satisfaction problems
- combinatorial problems
- constraint propagation
- constraint satisfaction
- activity diagrams
- global constraints
- software design
- symmetry breaking
- model checking
- description logics
- arc consistency
- constraint networks
- object oriented
- petri net
- hard and soft constraints
- dependency graph
- intermediate representation
- software artifacts
- knowledge representation
- xml schema
- test cases