Consistency and Minimality of UML Class Specifications with Multiplicities and Uniqueness Constraints.
Ingo FeinererGernot SalzerPublished in: TASE (2007)
Keyphrases
- constraint networks
- specification language
- global constraints
- consistency checking
- path consistency
- potential functions
- constraint language
- constraint programming
- global consistency
- modeling language
- consistency constraints
- linear constraints
- semantic constraints
- cardinality constraints
- conceptual models
- case study
- metamodel
- software systems
- relational databases
- database systems