Modelling Foundations and Applications: 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Lecture Notes in Computer Science)

This book constitutes the proceedings of the 13th European Conference on Modelling Foundations and Applications, ECMFA 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 18 papers presented in this volume were carefully reviewed and selected from 48 submissions. The papers are organized in the following topical sections: meta-modeling and language engineering; model evolution and maintenance; model-driven generative development; model consistency management; model verification and analysis; and experience reports, case studies and new applications scenarios. Front Matter....Pages I-XIV Front Matter....Pages 1-1 On the Automated Derivation of Domain-Specific UML Profiles....Pages 3-19 Towards Seamless Hybrid Graphical–Textual Modelling for UML and Profiles....Pages 20-33 Modeling Architectures of Cyber-Physical Systems....Pages 34-50 Front Matter....Pages 51-51 Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language....Pages 53-70 A Feature-Based Approach for Variability Exploration and Resolution in Model Transformation Migration....Pages 71-89 On the Influence of Models at Run-Time Traces in Dynamic Feature Location....Pages 90-105 Front Matter....Pages 107-107 cMoflon: Model-Driven Generation of Embedded C Code for Wireless Sensor Networks....Pages 109-125 Self-adaptive UIs: Integrated Model-Driven Development of UIs and Their Adaptations....Pages 126-141 Iterative Model-Driven Development of Software Extensions for Web Content Management Systems....Pages 142-157 Front Matter....Pages 159-159 Efficient Consistency Checking of Interrelated Models....Pages 161-178 Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels....Pages 179-196 Model Consistency for Distributed Collaborative Modeling....Pages 197-212 Front Matter....Pages 213-213 Model-Based Privacy Analysis in Industrial Ecosystems....Pages 215-231 Formulating Model Verification Tasks Prover-Independently as UML Diagrams....Pages 232-247 Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications....Pages 248-263 Front Matter....Pages 265-265 Example-Driven Web API Specification Discovery....Pages 267-284 Technology-Preserving Transition from Single-Core to Multi-core in Modelling Vehicular Systems....Pages 285-299 On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development....Pages 300-315 Back Matter....Pages 317-317