Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Description

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies. 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