Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations.
Johannes DyckHolger GieseLeen LambersSebastian SchlesingerSabine GlesnerPublished in: AMT@MoDELS (2015)
Keyphrases
- high level
- probabilistic model
- computational model
- formal model
- statistical model
- cost function
- real time
- transformation rules
- objective function
- experimental data
- management system
- mathematical model
- behavioral model
- linear transformations
- object model
- theoretical framework
- artificial neural networks
- multi agent
- bayesian networks
- case study
- genetic algorithm
- data mining
- neural network