Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.

Hartmut Ehrig Ulrike Prange

Published in: ICGT (2008)

Keyphrases

formal analysis
computational model
probabilistic model
objective function
graph theory
agent model
decision trees
directed graph
metamodel
graph model
transformation rules
knowledge acquisition
bipartite graph
graph representation
dependency graph