Incremental integrity checking of UML/OCL conceptual schemas.
Jordi CabotErnest TenientePublished in: J. Syst. Softw. (2009)
Keyphrases
- integrity checking
- conceptual schemas
- integrity constraints
- xml schema
- uml diagrams
- constraint language
- conceptual schema
- uml class diagrams
- database schema
- deductive databases
- metamodel
- hard and soft constraints
- modeling language
- class diagram
- sequence diagrams
- tool support
- functional dependencies
- conceptual modeling
- software design
- xml documents
- conjunctive queries
- relational databases
- entity relationship
- general purpose
- conceptual models
- constraint logic programming
- object oriented
- data model
- database
- logic programming
- metadata