Refinement via Consistency Checking in MDA.

Richard F. Paige Dimitrios S. Kolovos Fiona Polack

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

consistency checking
stochastic search
query answering
temporal constraints
software engineering
model driven architecture
databases
temporal reasoning
path consistency
lower bound
data mining
decision making
software development
metamodel