Model-Driven Consistency Checking of Behavioural Specifications.

Bas Graaf Arie van Deursen

Published in: MOMPES (2007)

Keyphrases

model driven
consistency checking
data driven
query answering
data integration
service oriented
temporal constraints
temporal reasoning
metamodel
model driven development
constraint satisfaction problems
data analysis
transformation rules
path consistency
high level
data exchange
artificial intelligence