Modelling Foundations and Applications

Description

This book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software. Front Matter ....Pages I-XVI Is Bidirectionality Important? (Perdita Stevens)....Pages 1-11 Towards Automatic Generation of UML Profile Graphical Editors for Papyrus (Athanasios Zolotas, Ran Wei, Simos Gerasimou, Horacio Hoyos Rodriguez, Dimitrios S. Kolovos, Richard F. Paige)....Pages 12-27 Optimising OCL Synthesized Code (Jesús Sánchez Cuadrado)....Pages 28-45 Expressing Measurement Uncertainty in OCL/UML Datatypes (Manuel F. Bertoa, Nathalie Moreno, Gala Barquero, Loli Burgueño, Javier Troya, Antonio Vallecillo)....Pages 46-62 On the Influence of Metamodel Design to Analyses and Transformations (Georg Hinkel, Erik Burger)....Pages 63-79 Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation (Adrian Rutle, Ludovico Iovino, Harald König, Zinovy Diskin)....Pages 80-96 Bidirectional Method Patterns for Language Editor Migration (Enes Yigitbas, Anthony Anjorin, Erhan Leblebici, Marvin Grieger)....Pages 97-114 Parallel Model Validation with Epsilon (Sina Madani, Dimitrios S. Kolovos, Richard F. Paige)....Pages 115-131 SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation (Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober)....Pages 132-146 Property-Aware Unit Testing of UML-RT Models in the Context of MDE (Reza Ahmadi, Nicolas Hili, Juergen Dingel)....Pages 147-163 MAPLE: An Integrated Environment for Process Modelling and Enactment for NFV Systems (Sadaf Mustafiz, Guillaume Dupont, Ferhat Khendek, Maria Toeroe)....Pages 164-178 Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models (Qusai Ramadan, Daniel Strüber, Mattia Salnitri, Volker Riediger, Jan Jürjens)....Pages 179-198 Life Sciences-Inspired Test Case Similarity Measures for Search-Based, FSM-Based Software Testing (Nesa Asoudeh, Yvan Labiche)....Pages 199-215 EMF Patterns of Usage on GitHub (Johannes Härtel, Marcel Heinz, Ralf Lämmel)....Pages 216-234 Towards Efficient Loading of Change-Based Models (Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris Kolovos)....Pages 235-250 Towards a Framework for Writing Executable Natural Language Rules (Konstantinos Barmpis, Dimitrios Kolovos, Justin Hingorani)....Pages 251-263 Model-Driven Re-engineering of a Pressure Sensing System: An Experience Report (Atif Mashkoor, Felix Kossak, Miklós Biró, Alexander Egyed)....Pages 264-278 Modeling AUTOSAR Implementations in Simulink (Jian Chen, Manar H. Alalfi, Thomas R. Dean, S. Ramesh)....Pages 279-292 Trace Comprehension Operators for Executable DSLs (Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer)....Pages 293-310 Back Matter ....Pages 311-311