Reasoning on UML Class Diagrams with OCL Constraints.

Anna Queralt Ernest Teniente

Published in: ER (2006)

Keyphrases

uml class diagrams
class diagrams
class diagram
uml diagrams
constraint satisfaction
constraint language
description logics
source code
constraint networks
software development
business processes
software systems
database
software design
reasoning systems
software artifacts
open source
data model
query processing