Synthesis of OCL Pre-conditions for Graph Transformation Rules.

Jordi Cabot Robert Clarisó Esther Guerra Juan de Lara

Published in: ICMT@TOOLS (2010)

Keyphrases

transformation rules
metamodel
rewriting rules
model driven
structural patterns
data model
rewrite rules
software systems
recursive programs
development process
black box
data streams
object oriented
program synthesis