| Vol-2019 urn:nbn:de:0074-2019-2 Copyright © 2017 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-SE 2017
MODELS 2017 Satellite Events

## • Workshops
• Posters
• Doctoral Symposium
• 13th Educator Symposium at MODELS
• ACM Student Research Competition
• Tools and Demonstrations

### Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations
co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)

### Austin, TX, USA, September, 17, 2017.

Edited by

### Loli Burgueño, University of Málaga and Marbella International University Centre
Jonathan Corley, University of West Georgia
Nelly Bencomo, Aston University (Doctoral Symposium Chair)
Peter J. Clarke, Florida International University (Educators Symposium Chair)
Philippe Collet, University of Nice Sophia Antipolis (Tool & Demonstration Chair)
Michalis Famelis, Université de Montréal (Workshop Chair)
Sudipto Ghosh, Colorado State University (Tool & Demonstration Chair)
Martin Gogolla, University of Bremen (Poster Chair)
Joel Greenyer, Universität Hannover (ACM Student Research Competition Chair)
Esther Guerra, Universidad Autónoma de Madrid (Poster Chair)
Sahar Kokaly, McMaster University (Workshop Chair)
Alfonso Pierantonio, University of L'Aquila (Educators Symposium Chair)
Julia Rubin, University of British Columbia (Doctoral Symposium Chair)
Davide Di Ruscio, University of L'Aquila (ACM Student Research Competition Chair)

## Table of Contents

- Preface
  Loli Burgueño, Jonathan Corley

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

- ModComp 2017: 4th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (invited paper) 1-2
  Federico Ciccozzi, Ivano Malavolta
- Model-based Design of Reusable Secure Connectors 3-9
  Michael Shin, Hassan Gomaa, Don Pathirage
- A Classification of Dynamic Reconfiguration in Component and Connector Architecture Description 10-16
  Arvid Butting, Robert Heim, Oliver Kautz, Jan Oliver Ringert, Bernhard Rumpe, Andreas Wortmann
- Model-driven Development of Adaptive IoT Systems 17-23
  Mahmoud Hussein, Shuai Li, Ansgar Radermacher
- OCL Framework to Verify Extra-Functional Properties in Component and Connector Models 24-30
  Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
- Model-driven Generation of a BPMS Portal Based on Interaction Flow Modeling Language Models 31-37
  Daniel Calegari, Andrea Delgado
- A Multipurpose Framework for Model-based Reuse-oriented Software Integration Synthesis 38-44
  Alexander Perucci, Marco Autili, Massimo Tivoli

### ME - 11th International Workshop on Models and Evolution

- A Look-Ahead Strategy for Rule-Based Model Transformations 45-53
  Lars Fritsche, Erhan Leblebici, Anthony Anjorin, Andy Schürr
- A Graph Transformation Approach to Introducing Aspects into Software Architectures 54-63
  Md Nour Hossain, Wolfram Kahl, Tom Maibaum
- Metamodels Relaxation for Model Family Support 64-70
  Sanaa Alwidian, Daniel Amyot
- Edelta: An Approach for Defining and Applying Reusable Metamodel Refactorings 71-80
  Lorenzo Bettini, Davide Di Ruscio, Ludovico Iovino, Alfonso Pierantonio

### EXE - 3rd International Workshop on Executable Modeling

- Third International Workshop on Executable Modeling (EXE 2017) (invited paper) 81-82
  Tanja Mayerhofer, Philip Langer, Ed Seidewitz Jeff Gray Erwan Bousse
- Towards an Open-Source MDE Tooling Infrastructure for the Internet of Things (invited paper) 83
  Juergen Dingel
- Create and Play Your Pac-Man Game with the GEMOC Studio 84-87
  Dorian Leroy, Manuel Wimmer, Erwan Bousse, Benoit Combemale, Wieland Schwinger
- Executing Models by Filmstripping: Enhancing Validation by Filmstrip Templates and Transformation Alternatives 88-94
  Nisha Desai, Martin Gogolla, Hilken Frank
- Executing Robot Task Models in Dynamic Environments 95-101
  Kai Adam, Arvid Butting, Oliver Kautz, Bernhard Rumpe, Andreas Wortmann
- Towards One Model Interpreter for Both Design and Deployment 102-108
  Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, Ciprian Teodorov
- Simulation Framework for Executing Component and Connector Models of Self-Driving Vehicles 109-115
  Filippo Grazioli, Evgeny Kusmenko, Alexander Roth, Bernhard Rumpe, Michael von Wenckstern
- Consistency Recovery in Interactive Modeling 116-122
  Juri Di Rocco, Davide Di Ruscio, Marcel Heinz, Ludovico Iovino, Ralf Lämmel, Alfonso Pierantonio

### COMMitMDE - 2nd International Workshop Collaborative Modelling in MDE

- COMMitMDE 2017 - 2nd International Workshop on Collaborative Modelling in MDE (invited paper) 123-124
  Jan Bosch, Sebastien Gerard, Dimitris Kolovos, Ivano Malavolta, Henry Muccini
- Supporting Consensus-based Sofware Development: a Vision Paper 125-134
  Mathieu Lavallée, Guillaume Beaulieu, Michalis Famelis
- Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling 135-144
  Gabor Bergman, Csaba Debreceni, Istvan Rath, Daniel Varro
- Modeling and Enactment Support for Early Detection of Inconsistencies in Engineering Processes 145-154
  Istvan David, Bart Meyers, Ken Vanherpen, Yentl Van Tendeloo, Kristof Berx, Hans Vangheluwe,
- Towards Collaborative Modeling Using a Concern-driven Version Control System 155-163
  Omar Alam, Vasco Sousa, Eugene Syriani
- Feature Model for Collaborative Modeling Environments 164-173
  Constantin Masson, Jonathan Corley, Eugene Syriani

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

- Summary of the 12th International Workshop on Models@run.time (invited paper) 174-175
  Sebastian Götz, Nelly Bencomo, Kirstie Bellman, Gordon Blair
- Active System Integrity Fences 176-183
  Christopher Landauer
- Reflexive and Evolutional Digital Service Ecosystems with Models at Runtime 184-192
  Dhaminda Abeywickrama, Eila Ovaska
- Run-time Software Architectural Models for Adaptation, Recovery and Evolution 193-200
  Hassan Gomaa, Emad Albassam
- Using Models at Run Time to Detect Incomplete and Inconsistent Requirements 201-209
  Byron Devries, Betty Cheng

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

- Preface to the 4th International Workshop on Multi‐Level Modelling (MULTI 2017) (invited paper) 210-212
  Tony Clark, Ulrich Frank, Manuel Wimmer
- Validated Multi-layer Meta-modeling via Intrinsically Modeled Operations 213-217
  Gergely Mezei, Dániel Urbán, Zoltán Theisz
- A Multi-level Approach for Model-based User Interface Development 218-225
  Björn Benner
- Developing an Ontological Sandbox: Investigating Multi-level Modelling’s Possible Metaphysical Structures 226-234
  Chris Partridge, Sergio de Cesare, Andrew Mitchell, Frederik Gailly, Mesbah Khan
- Applying Multi-level Modeling to Data Integration in Product Line Engineering 235-242
  Damir Nešić, Mattias Nyberg
- Maintenance of Multi-level Models – An Analysis of Elementary Change Operations 243-250
  Daniel Töpel, Björn Benner
- Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment 251
  Khanh-Hoang Doan, Martin Gogolla
- DeepRuby: Extending Ruby with Dual Deep Instantiation 252-260
  Bernd Neumayr, Christoph G. Schuetz, Christian Horner, Michael Schrefl
- An Example Application of a Multi-level Concrete Syntax Specification with Copy-and-Complete Semantics 261-268
  Jens Gulden
- Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge 269-273
  Fernando Macías, Adrian Rutle, Volker Stolz
- On Evaluating Multi-level Modeling 274-277
  Colin Atkinson, Thomas Kühne

### GEMOC - 5th Workshop on the Globalization of Modeling Languages

- Fifth Workshop on the Globalization of Modeling Languages (GEMOC 2017) (invited paper) 278-279
  Frédéric Boulanger, Eugene Syriani, Andreas Wortmann
- Bridging Engineering and Formal Modeling: WebGME and Formula Integration 280-285
  Tamas Kecskes, Qishen Zhang, Janos Sztipanovits
- CREST - A Continuous, REactive SysTems DSL 286-291
  Stefan Klikovits, Alban Linard, Didier Buchs
- Modeling Co-simulation: A First Experiment 292-297
  Renan Leroux, Ileana Ober, Marc Pantel, Jean-Michel Bruel

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

- MoDeVVa’17: Model Driven Engineering, Verification and Validation Integrating Verification and Validation in MDE (invited paper) 298-299
  Ernesto Posse, Daniel Ratiu, Gehan M. K. Selim, Faiez Zalila
- Modular Transformation from AF3 to nuXmv 300-306
  Sudeep Kanav, Vincent Aravantinos
- Supporting Model Refinement with Equivalence Checking in the Context of Model-driven Engineering with UML-RT 307-314
  Raquel Oliveira, Juergen Dingel
- Modeling Frames 315-320
  Stefan Klikovits, Joachim Denil, Alexandre Muzy, Rick Salay
- Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems 321-323
  Kateryna Yurchenko, Moritz Behr, Heiko Klare, Max Kramer, Ralf Reussner
- Adding Random Operations to OCL 324-328
  Antonio Vallecillo, Martin Gogolla
- Hierarchical Model Exploration for Exposing Off-nominal Behaviors 329-335
  Kaushik Madala, Hyunsook Do, Daniel Aceituna

### MDETools - Model-Driven Engineering Tools

- Summary of Workshop on Model-driven Engineering Tools (MDETools’17) (invited paper) 336-337
  Mojtaba Bagherzadeh, Francis Bordeleau, Jean-Michel Bruel, Juergen Dingel, Sébastien Gérard, Nicolas Hili, Sebastian Voss
- Challenges and Research Directions for Successfully Applying MBE Tools in Practice 338-343
  Francis Bordeleau, Grischa Liebel, Alexander Raschke, Gerald Stieglbauer, Matthias Tichy
- ReMoDD Eclipse Plug-in: Collaborative Modeling Using a Model Repository 344-348
  Mohammed Al-Refai, Andrew Jacobson, Sudipto Ghosh, James M. Bieman, Betty H. C. Cheng
- Engineering a ROVER Language in GEMOC STUDIO & MONTICORE: A Comparison of Language Reuse Support 349-354
  Thomas Degueule, Tanja Mayerhofer, Andreas Wortmann
- A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example 355-359
  Joel Greenyer, Daniel Gritzner, Jianwei Shi, Eric Wete
- Modeling as a Service: A Survey of Existing Tools 360-367
  Saheed Popoola, Jeffrey Carver, Jeff Gray
- Investigating the Effects of Integrating Handcrafted Code in Model-driven Engineering 368-375
  Tim Bolender, Bernhard Rumpe, Andreas Wortmann
- Visual Variables in UML: a First Empirical Assessment 376-384
  Yosser El Ahmar, Xavier Le Pallec, Sébastien Gérard, Truong Ho-Quang

### FlexMDE - 3rd Flexible MDE Workshop

- 3rd Workshop on Flexible Model Driven Engineering (FlexMDE 2017) (invited paper) 385-386
  Juan de Lara, Davide Di Ruscio, Alfonson Pierantonio
- Sound Yet Flexible Modeling: A Language Engineering Point of View (invited paper) 387
  Benoit Combemale
- Agile Model-driven Engineering of Financial Applications 388-392
  Kevin Lano, Howard Haughton, Sobhan Yassipour-Tehrani, Hessa Alfraihi
- Explicitly Modelling the Type/Instance Relation 393-398
  Yentl Van Tendeloo, Hans Vangheluwe
- Practical Aspects of the Integration of Agile Development and Model-driven Development: An Exploratory Study 399-404
  Hessa Alfraihi, Kevin Lano
- Process-Aware Model-driven Development Environments 405-411
  Levi Lúcio, Saad Bin Abid, Salman Rahman, Vincent Aravantinos, Ralf Kuestner, Eduard Harwardt
- A Process for Integrating Agile Software Development and Model-driven Development 412-417
  Hessa Alfraihi, Kevin Lano
- The Conformance Relation Challenge: Building Flexible Modelling Frameworks 418-423
  Nicolas Hili, Jean-Sebastien Sottet
- Towards Agile Model-based Systems Engineering 424-429
  Joachim Denil, Rick Salay, Chris Paredis, Hans Vangheluwe
- Turning Models Inside Out 430-434
  Alfa Yohannis, Dimitris Kolovos, Fiona Polack
- Enhancing Flexibility in User Interaction Modeling by Adding Design Uncertainty to IFML 435-440
  Marco Brambilla, Romina Eramo, Alfonso Pierantonio, Gianni Rosa, Eric Umuhoza

### MDEbug - 1st International Workshop on Debugging in Model-Driven Engineering

- Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug’17) (invited paper) 441-446
  Simon Van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichyk, Arnaud Blouin
- Moldable Debugging (invited paper) 447-448
  Andrei Chiş, Tudor Gîrba
- Transformations Debugging Transformations 449-454
  Māris Jukšs, Clark Verbrugge, Hans Vangheluwe
- Towards Debugging the Matching of Henshin Model Transformations Rules 455-456
  Matthias Tichy, Luis Beaucamp, Stefan Kögel
- Domain-level Debugging for Compiled DSLs with the GEMOC Studio 457-459
  Erwan Bousse, Tanja Mayerhofer, Manuel Wimmer
- Debugging Non-determinism: a Petrinets Modelling, Analysis, and Debugging Tool 460-462
  Simon Van Mierlo, Hans Vangheluwe

### Posters

- Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud 463-464
  Yogesh D. Barve, Himanshu Neema, Aniruddha Gokhale, Janos Sztipanovits
- A Resource Oriented Modeling Approach for the Internet of Things: A Business Process Perspective 465-467
  Yongyang Cheng, Shuai Zhao, Bo Cheng, Junliang Chen
- Survey on Template-based Code Generation 468-471
  Lechanceux Luhunu, Eugene Syriani
- A Case of Industrial vs. Open-source OCL: Not So Different After All 472-474
  Josh G.M. Mengerink, Jeroen Noten, Ramon R.H. Schiffelers, Mark G.J. van den Brand, Alexander Serebrenik
- JAVACHECK: A Domain Specific Language for the Static Analysis of Java Code 475-478
  Sara Pérez-Soler, Juan de Lara

### Doctoral Symposium

- MODELS 2017 Doctoral Symposium Summary (invited paper) 479
  Nelly Bencomo, Julia Rubin
- MDE-based Automated Provisioning and Management of Cloud Applications 480-483
  Anirban Bhattacharjee
- Model Driven Design of IT Systems for Smart Grids 484-486
  David Oudart
- Towards a Model-driven Approach for Context-aware Software 487-491
  Jose Bocanegra
- Modeling Language Evolution for Model Family Support 492-495
  Sanaa Alwidian
- Feature-oriented Modeling for Collaborative Virtual Environment Construction 496-499
  Xin Zhao
- Towards Model Driven Verifiable Deployment of Distributed Simulations in Cloud 500-502
  Yogesh D. Barve
- Verification of Non-functional Requirements Using Formal Semantics 503-506
  Danielle Gaither
- Improving Model-based Regression Test Selection 507-510
  Mohammed Al-Refai
- UML Class Diagram Composition Using Software Requirements Specifications 511-515
  Alexey Tazin

### 13th Educator Symposium at MODELS

- On Understanding Teaching Modeling in Computer Science as an Ecosystem (keynote) 516-520
  Martin Gogolla
- Modeling in Agile Project Courses 521-524
  Lukas Alperowitz, Jan Ole Johanssen, Dora Dzvonyar, Bernd Bruegge
- Challenges in Teaching Modeling in Agile Software Engineering Courses 525-528
  Matthew Stephan
- In Praise of Use Cases 529-532
  Ian O’Neill
- Teaching Model Views with UML and OCL 533-538
  Loli Burgueño, Antonio Vallecillo, Martin Gogolla
- Influence of Programming Style in Transformation Bad Smells: Mining of ETL Repositories 539-542
  Nicolás Bonet, Kelly Garcés, Rubby Casallas, María Elsa Correal, Ran Wei
- Teaching Software Modeling and Design 543-546
  Hassan Gomaa

### ACM Student Research Competition

- ACM Student Research Competition at MoDELS 2017 (invited paper) 547-548
  Davide Di Ruscio, Joel Greenyer
- Advanced Techniques and Tools for Secure Collaborative Modeling 549-554
  Csaba Debreceni
- MaRTS: A Model-Based Regression Test Selection Approach 555-560
  Mohammed Al-Refai

### Tools and Demonstrations

- Assisted Modelling Over Social Networks with SOCIO 561-565
  Sara Pérez-Soler, Esther Guerra, Juan de Lara
- EARS-CTRL: Generating Controllers for Dummies 566-570
  Levi Lúcio, Salman Rahman, Saad Bin Abid, Alistair Mavin
- A Tool to Edit and Verify IoT System Architecture Model 571-575
  Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
- Generating Filmstrip Models from Actor-Based Systems 576-582
  Tony Clark, Vinay Kulkarni, Souvik Barat, Balbir Barn
- Extending Osate 2 for Custom Simulation of Virtual Devices 583-587
  Faber D. Giraldo, Monica M. Villegas, Juan E. Medina

2017-12-10: submitted by Loli Burgueño, Jonathan Corley, metadata incl. bibliographic data published under Creative Commons CC0
2017-12-10: published on CEUR-WS.org |valid HTML5|