Consistency Checking and Visualization of OCL Constraints.

Paolo Bottoni Manuel Koch Francesco Parisi-Presicce Gabriele Taentzer

Published in: UML (2000)

Keyphrases

consistency checking
stochastic search
query answering
cardinal directions
global consistency
constraint language
temporal reasoning
temporal constraints
data sets
constraint satisfaction problems
data analysis
high level
lower bound
business intelligence