Efficient Integrity Checking for Essential MOF + OCL in Software Repositories.

Published in: J. Object Technol. (2008)

Keyphrases

integrity checking
integrity constraints
deductive databases
software repositories
hard and soft constraints
constraint logic programming
database
source code
artificial intelligence
databases
knowledge base
high level
multi agent
expert systems
logic programming
query answering