Towards Debugging the Matching of Henshin Model Transformations Rules.

Matthias Tichy Luis Beaucamp Stefan Kögel

Published in: MoDELS (Satellite Events) (2017)

Keyphrases

mathematical model
high level
probability distribution
computational model
conceptual model
probabilistic model
closed form
formal model
management system
pattern matching
petri net
experimental data
simulation model
matching scheme