ACM/IEEE 18th International Conference on
Model Driven Engineering Languages and Systems

Keynotes     Papers     Tutorials     Workshops     Panels    Posters/Demos/Exbibits


The following are the papers to be presented in the Foundations Track, the Model-Driven Engineering in Practice (MEIP) track, and the SoSyM journal-first track. The original call for papers is here.

Hover over or click on a paper to see its abstract.


Wednesday Sept 30, 10:45 a.m. Ballroom C

Session chair: Gregor Engels

Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages MEIP
Alexis Fouché, Florian Noyrit, Sébastien Gérard, and Maged Elaasar
(CEA, France; Carleton University, Canada; Crossplatform Software, Canada)
Article Search
Textual Diagram Layout Language and Visualization Algorithm Foundations
Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai
(Eötvös Loránd University, Hungary)
Preprint Available
Pattern-Based Development of Domain-Specific Modelling Languages Foundations
Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara
(Autonomous University of Madrid, Spain)
Preprint Available

Requirements 1: The User
Wednesday Sept 30, 10:45 a.m. Richelieu

Session chair: Marsha Chechik

A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques Foundations
Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, and Sabrina Marczak
(Federal University of Amazonas, Brazil; PUCRS, Brazil)
Preprint Available
Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks MEIP
Daniel Lüddecke, Christoph Seidl, Jens Schneider, and Ina Schaefer
(Volkswagen, Germany; TU Braunschweig, Germany)
Preprint Available
Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link Foundations
Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy
(Swinburne University of Technology, Australia)
Article Search Info

Wednesday Sept 30, 10:45 a.m. Joliet

Session chair: Nelly Bencomo

Reusable Event Types for Models at Runtime to Support the Examination of Runtime Phenomena Foundations
Michael Szvetits and Uwe Zdun
(University of Applied Sciences Wiener Neustadt, Austria; University of Vienna, Austria)
Preprint Available
Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time Foundations
Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon
(University of Luxembourg, Luxembourg)
Article Search
Infrastructure as Runtime Models: Towards Model-Driven Resource Management Foundations
Filip Křikava, Romain Rouvoy, and Lionel Seinturier
(Czech Technical University, Czech Republic; INRIA, France; University of Lille, France)
Preprint Available

Behavioural modeling I
Wednesday Sept 30, 1:30 p.m. Ballroom C

Session chair: Hans Vangheluwe

Incremental Symbolic Execution of Evolving State Machines Foundations
Amal Khalil and Juergen Dingel
(Queen's University, Canada)
Article Search
State Machine Antipatterns for UML-RT Foundations
Tuhin Kanti Das and Juergen Dingel
(Queen's University, Canada)
Article Search
Identification of Simulink Model Antipattern Instances using Model Clone Detection Foundations
Matthew Stephan and James R. Cordy
(Miami University, USA; Queen's University, Canada)
Preprint Available

Quality I
Wednesday Sept 30, 1:30 p.m. Richelieu

Session chair: Benoit Baudry

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard MEIP
Shaukat Ali and Tao Yue
(Simula Research Laboratory, Norway; University of Oslo, Norway)
Preprint Available
An Automated Model Based Testing Approach for Platform Games MEIP
Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, and Wardah Mahmood
(National University of Computer and Emerging Sciences, Pakistan; University of Luxembourg, Luxembourg)
Article Search
Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications Foundations
Valerio Panzica La Manna, Itai Segall, and Joel Greenyer
(Massachusetts Institute of Technology, USA; Bell Labs, Israel; Alcatel-Lucent, Israel; Leibniz Universität Hannover, Germany)
Preprint Available

Wednesday Sept 30, 1:30 p.m. Joliet

Session chair: Øystein Haugen

Enhancing the Communication Value of UML Models with Graphical Layers Foundations
Yosser El Ahmar, Sébastien Gérard, Cédric Dumoulin, and Xavier Le Pallec
(CEA, France; University of Lille, France)
Article Search
SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems Foundations
Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, and Yves Le Traon
(University of Luxembourg, Luxembourg; Simula Research Laboratory, Norway; KU Leuven, Belgium; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Article Search
Engineering Tagging Languages for DSLs Foundations
Timo Greifenberg, Markus Look, Sebastian Roidl, and Bernhard Rumpe
(RWTH Aachen University, Germany)
Preprint Available

SoSyM Journal-First Papers
Wednesday Sept 30, 4:30 p.m. Ballroom C

Session chair: Bernhard Rumpe

Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract)
Alejandro Rago, Claudia Marcos, and J. Andrés Diaz-Pace
(UNICEN University, Argentina)
Preprint Available Info
Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)
Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, and Khalil Drira
(CNRS, France; IRIT, France; University of Toulouse, France; Politecnico di Bari, Italy)
Article Search
A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)
Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke
(University of Innsbruck, Austria; Reutlingen University, Germany; Lean 42, Germany)
Article Search
Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)
Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen
(Nanyang Technological University, Singapore; Naval Postgraduate School, USA; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Zhejiang University of Technology, China)
Article Search

Requirements II: Compliance and decision-making
Thursday Oct 1, 10:45 a.m. Ballroom C

Session chair: Ana Moreira

Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations MEIP
Sagar Sunkle, Deepali Kholkar, and Vinay Kulkarni
(Tata Consultancy Services, India)
Article Search
Toward Overcoming Accidental Complexity in Organisational Decision-Making MEIP
Vinay Kulkarni, Souvik Barat, Tony Clark, and Balbir Barn
(Tata Consultancy Services, India; Middlesex University, UK)
Article Search
A Model-Based Framework for Probabilistic Simulation of Legal Policies Foundations
Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, and Lionel C. Briand
(University of Luxembourg, Luxembourg)
Preprint Available

Maintenance and migration of models
Thursday Oct 1, 10:45 a.m. Richelieu

Session chair: Bran Selic

On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry Foundations
Ana M. Fernández-Sáez, Danilo Caivano, Marcela Genero, and Michel R. V. Chaudron
(University of Castile–La Mancha, Spain; University of Bari, Italy; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden)
Article Search
Process Mining in Software Systems: Discovering Real-Life Business Transactions and Process Models from Distributed Systems Foundations
Maikel Leemans and Wil M. P. van der Aalst
(Eindhoven University of Technology, Netherlands)
Preprint Available
Performance Prediction upon Toolchain Migration in Model-Based Software Foundations
Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, and Krzysztof Czarnecki
(University of Waterloo, Canada)
Preprint Available

Fundamentals I
Thursday Oct 1, 10:45 a.m. Chaudière

Session chair: Jörg Kienzle

A Unifying Approach to Connections for Multi-Level Modeling Foundations
Colin Atkinson, Ralph Gerbig, and Thomas Kühne
(University of Mannheim, Germany; Victoria University of Wellington, New Zealand)
Preprint Available
A-posteriori Typing for Model-Driven Engineering Foundations
Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado
(Autonomous University of Madrid, Spain)
Preprint Available
Enriching Megamodel Management with Collection-Based Operators Foundations
Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik
(University of Toronto, Canada; McMaster University, Canada)
Preprint Available

Product lines
Thursday Oct 1, 3:30 p.m. Ballroom C

Session chair: Shaukat Ali

Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned MEIP Best MEIP Paper
Daniela Lettner, Klaus Eder, Paul Grünbacher, and Herbert Prähofer
(JKU Linz, Austria; KEBA, Austria)
Preprint Available
A Megamodel for Software Process Line Modeling and Evolution MEIP
Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, and Luis Silvestre
(University of Chile, Chile)
Preprint Available
Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach MEIP
Ines Hajri, Arda Goknil, Lionel C. Briand, and Thierry Stephany
(University of Luxembourg, Luxembourg; IEE, Luxembourg)
Preprint Available

Thursday Oct 1, 3:30 p.m. Richelieu

Session chair: Zhenjiang Hu

Quick Fixing ATL Model Transformations Foundations Distinguished Paper
Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara
(Autonomous University of Madrid, Spain)
Preprint Available Video Info
A Statistical Analysis Approach to Assist Model Transformation Evolution Foundations
Roberto Rodriguez-Echeverria and Fernando Macias
(University of Extremadura, Spain; Bergen University College, Norway)
Preprint Available
Fully Verifying Transformation Contracts for Declarative ATL Foundations
Bentley James Oakes, Javier Troya, Levi Lúcio, and Manuel Wimmer
(McGill University, Canada; Vienna University of Technology, Austria)
Preprint Available
Systematically Deriving Domain-Specific Transformation Languages Foundations
Katrin Hölldobler, Bernhard Rumpe, and Ingo Weisemöller
(RWTH Aachen University, Germany)
Preprint Available

Behavioural modeling II
Thursday Oct 1, 3:30 p.m. Chaudière

Session chair: Juergen Dingel

Beyond Discrete Modeling: A Continuous and Efficient Model for IoT Foundations
Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon
(University of Luxembourg, Luxembourg)
Article Search
A Behavioral Coordination Operator Language (BCOoL) Foundations
Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, and Frédéric Mallet
(University of Nice Sophia Antipolis, France; INRIA, France; University of Rennes 1, France)
Preprint Available Video
Extracting Frame Conditions from Operation Contracts Foundations
Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille
(University of Bremen, Germany)
Preprint Available Info

Quality II
Friday Oct 2, 10:45 a.m. Ballroom C

Session chair: Benoit Baudry

Employing Classifying Terms for Testing Model Transformations Foundations Distinguished Paper
Martin Gogolla, Antonio Vallecillo, Loli Burgueño, and Frank Hilken
(University of Bremen, Germany; University of Málaga, Spain)
Preprint Available
Pattern-Based Debugging of Declarative Models Foundations
Vajih Montaghami and Derek Rayside
(University of Waterloo, Canada)
Preprint Available Info
Checking Concurrent Behavior in UML/OCL Models Foundations
Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler
(University of Bremen, Germany; DFKI, Germany)
Preprint Available

Evolution and reuse
Friday Oct 2, 10:45 a.m. Chaudière

Session chair: Gregor Engels

Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study MEIP
Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, and Jean-Philippe Babau
(University Bretagne-Occidentale, France; CNRS, France; University Bretagne-Sud, France)
Article Search
Concern-Oriented Interfaces for Model-Based Reuse of APIs Foundations
Matthias Schöttle and Jörg Kienzle
(McGill University, Canada)
Preprint Available
Consistent Co-Evolution of Models and Transformations Foundations
Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, and Johannes Schönböck
(JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria)
Article Search

Fundamentals II
Friday Oct 2, 10:45 a.m. Panorama

Session chair: Richard Paige

Fragmenta: A Theory of Fragmentation for MDE Foundations
Nuno Amálio, Juan de Lara, and Esther Guerra
(University of York, UK; Autonomous University of Madrid, Spain)
Preprint Available Info
A Framework for Relating Syntactic and Semantic Model Differences Foundations Distinguished Paper
Shahar Maoz and Jan Oliver Ringert
(Tel Aviv University, Israel)
Preprint Available
Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines MEIP
Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers
(Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands)
Preprint Available Info