Decidable Reasoning in UML Schemas with Constraints.

Anna Queralt Ernest Teniente

Published in: JISBD (2009)

Keyphrases

uml class diagrams
conceptual models
consistency checking
constraint language
databases
software engineering
software systems
database design
constraint programming
modeling language
formal methods
function symbols
datalog queries
uml models