Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver.

Hao Wu Rosemary Monahan James F. Power

Published in: TASE (2013)

Keyphrases

metamodel
development process
modeling language
black box
uml profile
model driven
data model
reference model
software systems
life cycle
platform independent
training data
transformation rules
relational databases
test cases
constraint language