Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints.

Rodion Moiseev Shinpei Hayashi Motoshi Saeki

Published in: IEICE Trans. Inf. Syst. (2011)

Keyphrases

constraint language
automatically generate
source code
hierarchical model
relational databases
constrained optimization
case study
high level
multiscale
multiresolution
hierarchical structure
constraint satisfaction
constraint programming
hierarchical clustering
geometric constraints