| Vol-2245 urn:nbn:de:0074-2245-1 Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# MODELS-WS 2018
MODELS 2018 Workshops

### Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS
co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018)

### Copenhagen, Denmark, October, 14, 2018.

Edited by

### Regina Hebig, Chalmers | University of Gothenburg
Thorsten Berger, Chalmers | University of Gothenburg

## Table of Contents

- Preface
  Regina Hebig, Thorsten Berger

### ModComp - 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering

- Preface to the 5th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (invited paper) 1-3
  Federico Ciccozzi, Antonio Cicchetti, Andreas Wortmann
- The Forgotten Interfaces: A Critique of Component-based Models of Computing (keynote) 4-5
  Bran Selic
- Interface Protocol Inference to Aid Understanding Legacy Software Components 6-11
  Kousar Aslam, Yaping Luo, Ramon Schiffelers, Mark van den Brand
- On the Model-driven Synthesis of Adaptable Choreographies 12-17
  Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli
- A Model-Based Approach to Managing Feature Binding Time in Software Product Line Engineering 18-23
  Armayau Zango Umar, Jaejoon Lee
- Model-driven and Component based Engineering in the Era of Smart Software-Intensive Systems (keynote) 24
  Martin Törngren
- Teaching Playground for C&C Language EmbeddedMontiArc 25-30
  Evgeny Kusmenko, Bernhard Rumpe, Ievgen Strepkov, Michael von Wenckstern
- Compiling Protocols to Promela and Verifying their LTL Properties 31-39
  Benjamin Lion, Samir Chouali, Farhad Arbab
- A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties Through Global QoS Metrics 40-45
  Cristina Vicente-Chicote, Juan F. Ingles-Romero, Jesus Martinez, Dennis Stampfer, Alex Lotz, Matthias Lutz, Christian Schlegel

### MRT - 13th International Workshop on Models@run.time

- Reflecting on the Past and the Present with Temporal Graph-based Models 46-55
  Antonio Garcia-Dominguez, Nelly Bencomo, Luis Hernan Garcia Paucar
- On the Transition from Design Time to Runtime Model-Based Assurance Cases 56-61
  Ran Wei, Tim Kelly, Jan Reich, Simos Gerasimou
- Model Synchronization with the Role-oriented Single Underlying Model 62-71
  Christopher Werner, Uwe Assmann
- Towards Software Architecture Runtime Models for Continuous Adaptive Monitoring 72-77
  Thomas Brand, Holger Giese
- Blackbox Learning of Parametric Dependencies for Performance Models 78-86
  Vanessa Ackermann, Johannes Grohmann, Simon Eismann, Samuel Kounev

### OCL - 18th International Workshop on OCL and Textual Modeling

- 18th International Workshop on OCL and Textual Modeling (OCL 2018) (invited paper) 87-88
  Achim D. Brucker, Robert Clarisó, Hao Wu
- A Text Model - Use Your Favourite M2M for M2T 89-102
  Edward D. Willink
- Multi-Level Constraints 103-117
  Tony Clark, Ulrich Frank
- Goal-driven Elaboration of OCL Enriched UML Class Diagrams 118-131
  Robert Darimont, Christophe Ponsard, Michel Lemoine
- Parallel Execution of First-Order Operations 132-145
  Sina Madani, Dimitrios S. Kolovos, Richard F. Paige
- Introducing the Active Map Operation to Unify and Improve Efficiency of Active Operations 146-159
  Frédéric Jouault, Fabien Chhel
- Using Process Algebra to Statically Analyze Incremental Propagation Graphs 160-173
  Théo Le Calvar, Fabien Chhel, Frédéric Jouault, Frédéric Saubion
- vOCL: A Novel Approach for UML Constraints Modeling 174-186
  Omar Badreddin, Gerardo Barraza, Wahab Hamou-Lhadj
- Efficient Validation of Large Models using the Mogwaı̈ Tool 187-193
  Gwendal Daniel
- Model Finding and Model Completion with USE 194-200
  Martin Gogolla, Loli Burgueño, Antonio Vallecillo

### FlexMDE - 4th International Workshop on Flexible Model Driven Engineering

- 4th International Workshop on Flexible Model Driven Engineering (FlexMDE 2018) (invited paper) 201
  Davide Di Ruscio, Juan de Lara, Alfonto Pierantonio
- Degrees of Rigorousness (keynote) 202
  Thomas Kühne
- Comparative Case Studies in Agile Model-driven Development 203-212
  Kevin Lano, Hessa Alfraihi, Shekoufeh Kolahdouz-Rahimi, Mohammadreza Sharbaf, Howard Haughton
- Stakeholder speciﬁc Visualisation from Heterogeneous Modeling Tools 213-222
  Abdil Kaya, Stefan Dutre, Jef Stegen, Satya Prakash Jha, Joachim Denil
- Towards a Modular and Flexible Human-Usable Textual Syntax for EMF Models 223-232
  Dimitrios S. Kolovos, Richard F. Paige
- Towards Flexible Object and Class Modeling Tools: An Experience Report 233-242
  Andreas Kästner, Martin Gogolla, Bran Selic

### EXE - 4th International Workshop on Executable Modeling

- Fourth International Workshop on Executable Modeling (EXE 2018) (invited paper) 243-244
  Tanja Mayerhofer, Philip Langer, Ed Seidewitz, Jeff Gray, Erwan Bousse
- Execution of UTP Test Cases Using fUML 245-250
  Marc-Florian Wendland, Niels Hoppe
- A Generic Solution for Weaving Business Code into Executable Models 251-256
  Eric Cariou, Olivier Le Goaer, Lea Brunschwig, Franck Barbier
- On Executable Models that are Integrated with Program Code 257-262
  Marco Konersmann
- EmbeddedMontiArc: Textual Modeling Alternative to Simulink (Tool Demonstration) 263-265
  Evgeny Kusmenko, Jean-Marc Ronck, Bernhard Rumpe, Michael von Wenckstern

### COMMitMDE- 3rd International Workshop on Collaborative Modelling in MDE

- COMMitMDE 2018 - 3rd International Workshop on Collaborative Modelling in MDE (invited paper) 266-267
  Jan Bosch, Sebastien Gerard, Dimitris Kolovos, Ivano Malavolta, Henry Muccini
- Continuous Integration Support in Modeling Tools 268-276
  Robbert Jongeling, Jan Carlson, Antonio Cicchetti, Federico Ciccozzi
- Challenges for Reuse in Collaborative Modeling Environments 277-283
  Omar Alam, Jonathan Corley, Constantin Masson, Eugene Syriani
- Handling Constraints in Model Versioning 284-292
  Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
- Delta-driven Collaborative Modeling 293-302
  Maik Appeldorn, Dilshodbek Kuryazov, Andreas Winter

### MDETools - 2nd International Workshop on Model Driven Engineering Tools

- Preface to the 2nd International Workshop on Model Driven Engineering Tools (MDETools 2018) (invited paper) 303-304
  Mojtaba Bagherzadeh, Francis Bordeleau, Juergen Dingel, Michalis Famelis, Antonio Garcia-Dominguez, Raquel Araujo de Oliveira, Ernesto Posse, Ed Seidewitz, Bran Selic
- Developing a Modeling Tool Someone Wants to Use: Challenges, Trends and Solutions for How to Develop Modeling Tools that People Actually can and Want to Use (keynote) 305
  Mattias Mohlin
- Improved Traceability for Bidirectional Model Transformations 306-315
  Romina Eramo, Alfonso Pierantonio, Michele Tucci
- Robotic System Testing with AMSA Framework 316-325
  Hamza El Baccouri, Goulven Guillou, Jean-Philippe Babau
- An LSP Infrastructure to Build EMF Language Servers for Web-Deployable Model Editors 326-335
  Roberto Rodriguez-Echeverria, Javier Luis Canovas Izquierdo, Manuel Wimmer, Jordi Cabot
- A Study Design Template for Identifying Usability Issues in Graphical Modeling Tools 336-345
  Jakob Pietron, Alexander Raschke, Michael Stegmaier, Matthias Tichy, Enrico Rukzio
- Implementing the MDETools'18 Challenge with ThingML 346-355
  Jakob Høgenes, Brice Morin
- Controlling a Virtual Rover using AutoFOCUS3 356-365
  Levi Lucio, Sudeep Kanav, Andreas Bayha, Johannes Eder
- An Evaluation of Papyrus-RT for Solving the Leader-Follower Challenge Problem 366-375
  Karim Jahed
- Modeling and Programming a Leader-Follower Challenge Problem with Scenario-based Tools 376-385
  Joel Greenyer, Michael Bar-Sinai, Gera Weiss, Aviran Sadon, Assaf Marron
- Applying Umple to the Rover Control Challenge Problem: A Case Study in Model-Driven Engineering 386-395
  Timothy Lethbridge, Abdulaziz Algablan
- Navigating the Rover with xtUML 396-405
  Keith Brown

### GEMOC - 6th International Workshop on the Globalization Of Modeling Languages

- 6th International Workshop on the Globalization of Modeling Languages (GEMOC) (invited paper) 406-407
  Erwan Bousse, Benoit Combemale, Jeff Gray
- Model Consistency ensured by Metamodel Integration 408-415
  Johannes Meier, Andreas Winter
- A Common Integrated Framework for Heterogeneous Modeling Services 416-422
  Anastasia Mavridou, Tamas Kecskes, Qishen Zhang, Janos Sztipanovits
- Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling 423-425
  Francis Bordeleau, Benoit Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer
- CPS Simulation Models Categories in Extended Enterprises 426-428
  Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel
- Adding a HenshinEngine to GEMOC Studio: An Experience Report 429-431
  Steffen Zschaler

### MORSE - 5th International Workshop on Model-driven Robot Software Engineering

- The Role of Higher-Order Models in Robotics, and its Reasoning Challenges (invited paper) 432
  Herman Bruyninckx
- CommonLang: A DSL for Defining Robot Tasks 433-442
  Adrian Rutle, Jonas Backer, Kolbein Foldøy, Robin T. Bye
- Embedding Scenario-based Modeling in Statecharts 443-452
  Assaf Marron, Yotam Hacohen, David Harel, Andreas Mülder, Axel Terfloth
- Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation 453-464
  Vladimir Estivill-Castro, Rene Hexel, Carl Lusty
- Towards the Use of Quality-of-Service Metrics in Reinforcement Learning: A Robotics Example 465-474
  Juan Francisco Inglés-Romero, Juan Manuel Espín, Rubén Jiménez-Andreu, Roberto Font, Cristina Vicente-Chicote
- Using IEC 61499 to Implement a Self-Organising Plug and Produce System 475-484
  Jörg Walter, Kim Grüttner, Wolfgang Nebel
- A Context-Based Behavioral Language for IoT 485-494
  Achiya Elyasaf, Assaf Marron, Arnon Sturm, Gera Weiss

### MDE4IoT - 2nd International Workshop on Model-Driven Engineering for the Internet-of-Things

- Preface to the 2nd International Workshop on Model-Driven Engineering for the Internet-of-Things (MDE4IoT) (invited paper) 495-497
  Nicolas Ferry, Arnor Solberg, Manuel Wimmer, Federico Ciccozzi
- Static Analysis of Complex Event Processing Programs 498-502
  Adrian Garcia-Lopez, Loli Burgueño, Antonio Vallecillo
- Domain Model-Based Data Stream Validation for Internet of Things Applications 503-508
  Simon Pizonka, Timo Kehrer, Matthias Weidlich
- DSML4TinyOS: Code Generation for Wireless Devices 509-514
  Hussein M. Marah, Raheleh Eslampanah, Moharram Challenger
- ML4CREST: Machine Learning for CPS Models 515-520
  Stefan Klikovits, Aurelien Coet, Didier Buchs
- ThingML+: Augmenting Model-Driven Software Engineering for the Internet of Things with Machine Learning 521-523
  Armin Moin Stephan Rössler, Stephan Günnemann
- An Initial Mapping Study on MDE4IoT 524-529
  Sabine Wolny, Alexandra Mazak, Bernhard Wally

### MDEBug - 2nd International Workshop on Debugging in Model-Driven Engineering

- Preface to the 2nd International Workshop on Debugging in Model-Driven Engineerings (MDEBug) (invited paper) 530-531
  Simon Van Mierlo, Hans Vangheluwe, Erwan Bousse, Manuel Wimmer, Clark Verbrugge
- Debugging of Model Transformations and Contracts in SyVOLT 532-537
  Bentley James Oakes, Levi Lucio, Clark Verbrugge, Hans Vangheluwe
- Towards Providing Debugging in the Domain-Specific Modeling Languages for Software Agents 538-540
  Baris Tekin Tezel, Geylani Kardas
- A Generalized Stepping Semantics for Model Debugging 541-546
  Simon Van Mierlo, Yentl Van Tendeloo, Hans Vangheluwe
- Towards an Automated Fault Localizer while Designing Meta-models 547-552
  Adel Ferdjoukh, Jean-Marie Mottu

### MoDeVVa - 15th Workshop Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE

- Preface to the 15th Model Driven Engineering, Verification and Validation. Integrating Verification and Validation in MDE (MoDeVVa) (invited paper) 553-554
  Raquel Araújo de Oliveira, Levi Lúcio, Ernesto Posse, Faiez Zalila
- ProVer: An SMT-based Approach for Process Verification 555-562
  Souheib Baarir, Reda Bendraou, Hakan Metin, Yoann Laurent
- Generation of Test Strategies for Model-based Functional Safety Testing using an Artifact-centric Approach 563-569
  Bert Van Acker, Joachim Denil, Paul De Meulenaere, Bjorn Aelvoet, Dries Mahieu, Jan van den Oudenhoven
- Balancing Model Usability and Verifiability with SBVR and Answer Set Programming 570-573
  Deepali Kholkar, Dushyanthi Mulpuru, Vinay Kulkarni

### ME - 12th Workshop on Models and Evolution

- Semantic Differencing of Activity Diagrams by a Translation into Finite Automata 574-583
  Oliver Kautz, Bernhard Rumpe
- Improving Trace-Based Propagation of Feature Annotations in Model Transformations 584-593
  Sandra Greiner, Bernhard Westfechtel
- Towards Hybrid Model Persistence 594-603
  Alfa Yohannis, Horacio Hoyos Rodriguez, Fiona Polack, Dimitris Kolovos
- Towards a Metamodel for Modular Simulation Environments 604-609
  Sandro Koch, Frederik Reiche, Robert Heinrich
- Reuse Considerations in Evolving Software Products: The Software Product Line Perspective 610-619
  Iris Reinhartz-Berger, Amir Tomer, Malki Grossman
- Resilience in Sirius Editors: Understanding the Impact of Metamodel Changes 620-630
  Juri Di Rocco, Davide Di Ruscio, Hrishikesh Narayanankutty, Alfonso Pierantonio

### MULTI - 5th International Workshop on Multi-Level Modelling

- Preface to the 5th International Workshop on Multi-Level Modelling (MULTI 2018) (invited paper) 631-632
  Tony Clark, Bernd Neumayr, Adrian Rutle
- A Tool for the Convergence of Multilevel Modelling Approaches 633-642
  Fernando Macías, Adrian Rutle, Volker Stolz
- The Bicycle Challenge in DMLA, Where Validation Means Correct Modeling 643-652
  Gergely Mezei, Zoltan Theisz, Dániel Urbán, Sándor Bácsi
- Multi-Level Modeling with MELANEE 653-662
  Arne Lange, Colin Atkinson
- Multilevel Modelling of Coloured Petri Nets 663-672
  Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías
- A Story of Levels 673-682
  Thomas Kuehne
- Context-aware Factors in Rearchitecting Two-Level Models into Multilevel Models 683-692
  Mira Balaban, Igal Khitron, Azzam Maraee
- Multilevel Modeling: What's in a Level? A Position Paper 693-697
  Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee
- Practical Experiences with Multi-Level Modeling using FMMLx: A Hierarchy of Domain-Specific Modeling Languages in Support of Life-Cycle Assessment 698-707
  Monika Kaczmarek-Hess, Mario Nolte, Andreas Fritsch, Stefanie Betz
- Multi-Level Modeling with XML 708-717
  Jens Gulden
- Toward a Unified Conception of Multi-Level Modelling: Advanced Requirements 718-727
  Ulrich Frank

### HuFaMo - 3rd International Workshop on Human Factors in Modeling

- Third International Workshop on Human Factors in Modeling (HuFaMo 2018) - Preface (invited paper) 728-729
  Silvia Abrah̃ao, Miguel Goulão, Patrick Heymans, Xavier Le Pallec, Emmanuel Renaux
- Modeling and Analyzing Information Flow in Development Teams as a Pipe System 730-737
  Jil Klünder, Oliver Karras, Nils Prenner, Schneider
- Comparing the Comprehensibility of Numeric versus Symbolic Contribution Labels in Goal Models: An Experimental Design 738-745
  Sotirios Liaskos, Wisal Tambosi
- The Visual Inheritance Structure to Support the Design of Visual Notations 746-753
  Nungki Selviandro, Tim Kelly, Richard Hawkins
- Using Sketch Recognition for Capturing Developer's Mental Models 754-761
  Tatiana De-Wyse, Emmanuel Renaux, José Mennesson
- ModelByVoice - Towards a General Purpose Model Editor for Blind People 762-769
  João Lopes, Joao Cambeiro, Vasco Amaral
- Comparing the Developer Experience with two Multi-Agents Systems DSLs: SEA_ML++ and DSML4MAS - Study Design 770-777
  João Silva, Ankica Barisic, Vasco Amaral, Miguel Goulão, Baris Tekin Tezel, Ömer Faruk Alaca, Moharram Challenger, Geylani Kardas

### AMMoRe - 1st International Workshop on Analytics and Mining of Model Repositories

- Preface to the First International Workshop on Analytics and Mining of Model Repositories (AMMoRe 2018) (invited paper) 778-779
  Önder Babur, Michel Chaudron, Loek Cleophas, Davide Di Ruscio, Dimitris Kolovos
- Process Model Management and Analytics (keynote) 780
  Barbara Weber
- Automatic Model Repair Using Reinforcement Learning 781-786
  Angela Barriga, Adrian Rutle, Rogardt Heldal
- Model Analytics for Feature Models: Case Studies for S.P.L.O.T. Repository 787-792
  Önder Babur, Loek Cleophas, Mark van den Brand
- Exploring Model Repositories by Means of Megamodel-aware Search Operators 793-798
  Francesco Basciani, Juri Di Rocco, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio

### PAINS - 1st Workshop on Pains in Model-Driven Engineering Practice

- Preface to the First Workshop on Pains in Model-Driven Engineering Practice (PAINS 2018) (invited paper) 799
  Francis Bordeleau, Michalis Famelis, Jennifer Horkoff, Andreas Wortmann

2018-11-12: submitted by Regina Hebig, metadata incl. bibliographic data published under Creative Commons CC0
2018-11-18: published on CEUR-WS.org |valid HTML5|