Decidable Reasoning in UML Schemas with Constraints.
Anna QueraltErnest TenientePublished in: CAiSE (2008)
Keyphrases
- uml class diagrams
- constraint language
- databases
- consistency checking
- constraint satisfaction
- modeling language
- reasoning systems
- software engineering
- database design
- knowledge base
- knowledge representation
- software development
- distributed constraint satisfaction
- conceptual models
- function symbols
- class diagrams
- datalog queries
- polynomial hierarchy
- database
- automata theoretic
- schema matching
- reasoning tasks
- metamodel
- integrity constraints
- first order logic
- artificial intelligence