MODELS-WS 2018
MODELS 2018 Workshops

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 specific 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