Verification of UML/OCL Class Diagrams using Constraint Programming.
Jordi CabotRobert ClarisóDaniel RieraPublished in: ICST Workshops (2008)
Keyphrases
- constraint programming
- class diagrams
- uml class diagrams
- class diagram
- sequence diagrams
- combinatorial problems
- uml diagrams
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- object oriented
- activity diagrams
- global constraints
- model checking
- software design
- description logics
- hard and soft constraints
- arc consistency
- symmetry breaking
- finite domain
- intermediate representation
- petri net
- open source
- software engineering
- artificial intelligence