Towards the Completion of Expressing and Checking Inheritance Constraints in UML.

Djamel Berrabah

Published in: BNCOD (2006)

Keyphrases

object oriented
database design
constraint satisfaction
consistency checking
constraint checking
knowledge representation
case study
formal methods
conceptual modeling
constraint language
objective function
logic programming
object oriented databases
metamodel
modeling language