MODELS-SE 2017
MODELS 2017 Satellite Events

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