دانلود کتاب Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

فهرست مطالب :

Front Matter....Pages I-XIV
Front Matter....Pages 1-1
Experimentation with a Big-Step Semantics for ATL Model Transformations....Pages 3-18
Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities....Pages 19-34
Decision Points for Non-determinism in Concurrent Model Synchronization with Triple Graph Grammars....Pages 35-50
The Micromapping Model of Computation; The Foundation for Optimized Execution of Eclipse QVTc/QVTr/UMLX....Pages 51-65
Front Matter....Pages 67-67
Testing Transformation Models Using Classifying Terms....Pages 69-85
Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations....Pages 86-91
Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations....Pages 92-107
A Survey of Model Transformation Design Pattern Usage....Pages 108-118
Front Matter....Pages 119-119
Generating Efficient Mutation Operators for Search-Based Model-Driven Engineering....Pages 121-137
Graph Constraint Evaluation over Partial Models by Constraint Rewriting....Pages 138-154
BXE2E: A Bidirectional Transformation Approach for Medical Record Exchange....Pages 155-170
Rule-Based Repair of EMF Models: An Automated Interactive Approach....Pages 171-181
Back Matter....Pages 183-183