Reasoning about UML/OCL class diagrams using constraint logic programming and formula.
Beatriz PérezIvan PorresPublished in: Inf. Syst. (2019)
Keyphrases
- constraint logic programming
- class diagrams
- uml class diagrams
- class diagram
- sequence diagrams
- constraint solving
- logic programming
- constraint programming
- uml diagrams
- answer set programming
- description logics
- activity diagrams
- temporal reasoning
- object oriented
- global constraints
- constraint propagation
- software design
- computational complexity