The Community for Technology Leaders
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (2015)
Ottawa, ON, Canada
Sept. 30, 2015 to Oct. 2, 2015
ISBN: 978-1-4673-6907-7
TABLE OF CONTENTS

Covers (PDF)

pp. i-ii

Author index (PDF)

pp. 450

Contents (PDF)

pp. ix-xii

Sponsors (PDF)

pp. viii

Software supply chains (keynote) (PDF)

Gail C. Murphy , University of British Columbia and Tasktop Technologies Inc., Canada
pp. 2

Reusable event types for models at runtime to support the examination of runtime phenomena (Abstract)

Michael Szvetits , Software Engineering Group, University of Applied Sciences Wiener Neustadt, Austria
Uwe Zdun , Software Architecture Research Group, University of Vienna, Austria
pp. 4-13

Incremental symbolic execution of evolving state machines (Abstract)

Amal Khalil , School of Computing, Queen's University, Kingston, Ontario, Canada
Juergen Dingel , School of Computing, Queen's University, Kingston, Ontario, Canada
pp. 14-23

A framework for relating syntactic and semantic model differences (Abstract)

Shahar Maoz , School of Computer Science, Tel Aviv University, Israel
Jan Oliver Ringert , School of Computer Science, Tel Aviv University, Israel
pp. 24-33

Engineering tagging languages for DSLs (Abstract)

Timo Greifenberg , Software Engineering, RWTH Aachen University, Germany
Markus Look , Software Engineering, RWTH Aachen University, Germany
Sebastian Roidl , Software Engineering, RWTH Aachen University, Germany
Bernhard Rumpe , Software Engineering, RWTH Aachen University, Germany
pp. 34-43

Process mining in software systems: Discovering real-life business transactions and process models from distributed systems (Abstract)

Maikel Leemans , Eindhoven University of Technology, P.O. Box 513, 5600 MB, The Netherlands
Wil M. P. van der Aalst , Eindhoven University of Technology, P.O. Box 513, 5600 MB, The Netherlands
pp. 44-53

State machine antipatterns for UML-RT (Abstract)

Tuhin Kanti Das , School of Computing, Queen's University, Kingston, Canada
Juergen Dingel , School of Computing, Queen's University, Kingston, Canada
pp. 54-63

Enhancing the communication value of UML models with graphical layers (Abstract)

Yosser El Ahmar , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
Sebastien Gerard , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
Cedric Dumoulin , University of Lille, CRISTAL Lab, UMR 9189, 59650 Villeneuve d'Ascq, France
Xavier Le Pallec , University of Lille, CRISTAL Lab, UMR 9189, 59650 Villeneuve d'Ascq, France
pp. 64-69

A model-based framework for probabilistic simulation of legal policies (Abstract)

Ghanem Soltana , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Nicolas Sannier , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Mehrdad Sabetzadeh , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Lionel C. Briand , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
pp. 70-79

Stream my models: Reactive peer-to-peer distributed models@run.time (Abstract)

Thomas Hartmann , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Assaad Moawad , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Francois Fouquet , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Gregory Nain , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Jacques Klein , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Yves Le Traon , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
pp. 80-89

Beyond discrete modeling: A continuous and efficient model for IoT (Abstract)

Assaad Moawad , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Thomas Hartmann , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Francois Fouquet , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Gregory Nain , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Jacques Klein , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Yves Le Traon , Interdisciplinary Centre for Security, Reliability and Trust (SnT), University of Luxembourg, Luxembourg
pp. 90-99

Infrastructure as runtime models: Towards Model-Driven resource management (Abstract)

Filip Krikava , Czech Technical University, Czech Republic
Romain Rouvoy , Inria / University of Lille, France
Lionel Seinturier , Inria / University of Lille, France
pp. 100-105

Fragmenta: A theory of fragmentation for MDE (Abstract)

Nuno Amalio , University of York (UK)
Juan de Lara , Universidad Autónoma de Madrid (Spain)
Esther Guerra , Universidad Autónoma de Madrid (Spain)
pp. 106-115

Consistent co-evolution of models and transformations (Abstract)

Angelika Kusel , Johannes Kepler University Linz, Austria
Jurgen Etzlstorfer , Johannes Kepler University Linz, Austria
Elisabeth Kapsammer , Johannes Kepler University Linz, Austria
Werner Retschitzegger , Johannes Kepler University Linz, Austria
Wieland Schwinger , Johannes Kepler University Linz, Austria
Johannes Schonbock , University of Applied Sciences Upper Austria, Hagenberg, Austria
pp. 116-125

Synthesizing tests for combinatorial coverage of modal scenario specifications (Abstract)

Valerio Panzica La Manna , MIT Media Lab, Cambridge, MA, USA
Itai Segall , Bell Labs Israel
Joel Greenyer , Software Engineering Group, Leibniz Universität Hannover, Welfengarten 1 30167, Germany
pp. 126-135

Systematically deriving domain-specific transformation languages (Abstract)

Katrin Holldobler , Software Engineering, RWTH Aachen University, Germany
Bernhard Rumpe , Software Engineering, RWTH Aachen University, Germany
Ingo Weisemoller , Software Engineering, RWTH Aachen University, Germany
pp. 136-145

Quick fixing ATL model transformations (Abstract)

Jesus Sanchez Cuadrado , Universidad Autónoma de Madrid, Spain
Esther Guerra , Universidad Autónoma de Madrid, Spain
Juan de Lara , Universidad Autónoma de Madrid, Spain
pp. 146-155

A-posteriori typing for Model-Driven Engineering (Abstract)

Juan de Lara , Universidad Autónoma de Madrid, Spain
Esther Guerra , Universidad Autónoma de Madrid, Spain
Jesus Sanchez Cuadrado , Universidad Autónoma de Madrid, Spain
pp. 156-165

Pattern-based development of Domain-Specific Modelling Languages (Abstract)

Ana Pescador , Universidad Autónoma de Madrid, Spain
Antonio Garmendia , Universidad Autónoma de Madrid, Spain
Esther Guerra , Universidad Autónoma de Madrid, Spain
Jesus Sanchez Cuadrado , Universidad Autónoma de Madrid, Spain
Juan de Lara , Universidad Autónoma de Madrid, Spain
pp. 166-175

Checking concurrent behavior in UML/OCL models (Abstract)

Nils Przigoda , Group for Computer Architecture, University of Bremen, 28359, Germany
Christoph Hilken , Research Group Operating Systems & Distributed Systems, University of Bremen, 28359, Germany
Robert Wille , Group for Computer Architecture, University of Bremen, 28359, Germany
Jan Peleska , Research Group Operating Systems & Distributed Systems, University of Bremen, 28359, Germany
Rolf Drechsler , Group for Computer Architecture, University of Bremen, 28359, Germany
pp. 176-185

A Behavioral Coordination Operator Language (BCOoL) (Abstract)

Matias Ezequiel Vara Larsen , Université Nice-Sophia Antipolis, I3S, INRIA, France
Julien DeAntoni , Université Nice-Sophia Antipolis, I3S, INRIA, France
Benoit Combemale , INRIA and University of Rennes 1, France
Frederic Mallet , Université Nice-Sophia Antipolis, I3S, INRIA, France
pp. 186-195

Textual diagram layout language and visualization algorithm (Abstract)

Balazs Gregorics , Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary
Tibor Gregorics , Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary
Gabor Ferenc Kovacs , Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary
Andras Dobreff , Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary
Gergely Devai , Eötvös Loránd University, Faculty of Informatics, Budapest, Hungary
pp. 196-205

A controlled experiment with Usability Inspection Techniques applied to Use Case Specifications: comparing the MIT 1 and the UCE techniques (Abstract)

Natasha M. Costa Valentim , USES Research Group - Instituto de Computação, Universidade Federal do Amazonas, Manaus, Brazil
Jacilane Rabelo , USES Research Group - Instituto de Computação, Universidade Federal do Amazonas, Manaus, Brazil
Ana Carolina Oran , USES Research Group - Instituto de Computação, Universidade Federal do Amazonas, Manaus, Brazil
Tayana Conte , USES Research Group - Instituto de Computação, Universidade Federal do Amazonas, Manaus, Brazil
Sabrina Marczak , MUNDDOS Research Group - Computer Science School, Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, Brazil
pp. 206-215

A unifying approach to connections for multi-level modeling (Abstract)

Colin Atkinson , University of Mannheim, Software Engineering Group, Germany
Ralph Gerbig , University of Mannheim, Software Engineering Group, Germany
Thomas Kuhne , Victoria University of Wellington, School of Engineering and Computer Science, New Zealand
pp. 216-225

A statistical analysis approach to assist model transformation evolution (Abstract)

Roberto Rodriguez-Echeverria , University of Extremadura, Cáceres, Spain
Fernando Macias , Bergen University College, Norway
pp. 226-235

Enriching megamodel management with collection-based operators (Abstract)

Rick Salay , University of Toronto, Canada
Sahar Kokaly , McMaster University, Canada
Alessio Di Sandro , University of Toronto, Canada
Marsha Chechik , University of Toronto, Canada
pp. 236-245

SoSPa: A system of Security design Patterns for systematically engineering secure systems (Abstract)

Phu H. Nguyen , Simula Research Laboratory, Martin Linges vei 25, 1364 Fornebu, Norway
Koen Yskout , iMinds-DistriNet, KU Leuven, 3001, Belgium
Thomas Heyman , iMinds-DistriNet, KU Leuven, 3001, Belgium
Jacques Klein , SnT-University of Luxembourg, 4 rue Alphonse Weicker, L-2721 Luxembourg
Riccardo Scandariato , iMinds-DistriNet, KU Leuven, 3001, Belgium
Yves Le Traon , SnT-University of Luxembourg, 4 rue Alphonse Weicker, L-2721 Luxembourg
pp. 246-255

Fully verifying transformation contracts for declarative ATL (Abstract)

Bentley James Oakes , School of Computer Science, McGill University, Canada
Javier Troya , Business Informatics Group, Vienna University of Technology, Austria
Levi Lucio , School of Computer Science, McGill University, Canada
Manuel Wimmer , Business Informatics Group, Vienna University of Technology, Austria
pp. 256-265

Extracting frame conditions from operation contracts (Abstract)

Philipp Niemann , Department of Computer Science, University of Bremen, 28359, Germany
Frank Hilken , Department of Computer Science, University of Bremen, 28359, Germany
Martin Gogolla , Department of Computer Science, University of Bremen, 28359, Germany
Robert Wille , Department of Computer Science, University of Bremen, 28359, Germany
pp. 266-275

Identification of Simulink model antipattern instances using model clone detection (Abstract)

Matthew Stephan , Department of Computer Science and Software Engineering, Miami University, Oxford, Ohio, USA
James R. Cordy , School of Computing, Queen's University, Kingston, Ontario, Canada
pp. 276-285

Concern-oriented interfaces for model-based reuse of APIs (Abstract)

Matthias Schottle , School of Computer Science, McGill University, Montreal, QC, H3A 0E9, Canada
Jorg Kienzle , School of Computer Science, McGill University, Montreal, QC, H3A 0E9, Canada
pp. 286-291

On the use of UML documentation in software maintenance: Results from a survey in industry (Abstract)

Ana M. Fernandez-Saez , Institute of Technologies and Information Systems, University of Castilla-La Mancha, Ciudad Real, Spain
Danilo Caivano , Department of Informatics, University of Bari, Italy
Marcela Genero , Institute of Technologies and Information Systems, University of Castilla-La Mancha, Ciudad Real, Spain
Michel R.V. Chaudron , Joint Computer Science and Engineering Department, Chalmers University of Tech. & University of Gothenburg, Sweden
pp. 292-301

Performance prediction upon toolchain migration in model-based software (Abstract)

Aymen Ketata , Electrical and Computer Engineering, University of Waterloo, Canada
Carlos Moreno , Electrical and Computer Engineering, University of Waterloo, Canada
Sebastian Fischmeister , Electrical and Computer Engineering, University of Waterloo, Canada
Jia Liang , Electrical and Computer Engineering, University of Waterloo, Canada
Krzysztof Czarnecki , Electrical and Computer Engineering, University of Waterloo, Canada
pp. 302-311

Employing classifying terms for testing model transformations (Abstract)

Martin Gogolla , University of Bremen, Germany
Antonio Vallecillo , University of Málaga, Spain
Loli Burgueno , University of Málaga, Spain
Frank Hilken , University of Bremen, Germany
pp. 312-321

Pattern-based debugging of declarative models (Abstract)

Vajih Montaghami , Electrical and Computer Engineering, University of Waterloo, Ontario, Canada
Derek Rayside , Electrical and Computer Engineering, University of Waterloo, Ontario, Canada
pp. 322-327

Integrating goal-oriented and use case-based requirements engineering: The missing link (Abstract)

Tuong Huan Nguyen , Faculty of Science, Engineering and Technology, Swinburne University of Technology, Melbourne, Australia
John Grundy , Faculty of Science, Engineering and Technology, Swinburne University of Technology, Melbourne, Australia
Mohamed Almorsy , Faculty of Science, Engineering and Technology, Swinburne University of Technology, Melbourne, Australia
pp. 328-337

Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (Abstract)

Ines Hajri , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Arda Goknil , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Lionel C. Briand , SnT Centre for Security, Reliability and Trust, University of Luxembourg, Luxembourg
Thierry Stephany , IEE, Contern, Luxembourg
pp. 338-347

Systematic generation of standard compliant tool support of diagrammatic modeling languages (Abstract)

Alexis Fouche , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
Florian Noyrit , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
Sebastien Gerard , CEA, LIST, Laboratory of Model Driven Engineering for Embedded Systems, P.C. 174, Gif-sur-Yvette, 91191, France
Maged Elaasar , Department of Systems and Computer Engineering, Carleton University, Ottawa, Canada
pp. 348-357

Improving reuse by means of asymmetrical model migrations: An application to the Orcc case study (Abstract)

Paola Vallejo , Univ. Bretagne-Occidentale, UMR CNRS 6285, Lab-STICC, F-29200 Brest, France
Mickael Kerboeuf , Univ. Bretagne-Occidentale, UMR CNRS 6285, Lab-STICC, F-29200 Brest, France
Kevin J. M. Martin , Univ. Bretagne-Sud, UMR CNRS 6285, Lab-STICC, F-56100 Lorient, France
Jean-Philippe Babau , Univ. Bretagne-Occidentale, UMR CNRS 6285, Lab-STICC, F-29200 Brest, France
pp. 358-367

Toward overcoming accidental complexity in organisational decision-making (Abstract)

Vinay Kulkarni , Tata Consultancy Services Research, Pune, India
Souvik Barat , Tata Consultancy Services Research, Pune, India
Tony Clark , Middlesex University, London, UK
Balbir Barn , Middlesex University, London, UK
pp. 368-377

Modeling user intentions for in-car infotainment systems using Bayesian networks (Abstract)

Daniel Luddecke , Volkswagen AG, Group Research, 38440 Wolfsburg, Germany
Christoph Seidl , Technische Universität Braunschweig, 38106, Germany
Jens Schneider , Volkswagen AG, Group Research, 38440 Wolfsburg, Germany
Ina Schaefer , Technische Universität Braunschweig, 38106, Germany
pp. 378-385

Feature modeling of two large-scale industrial software systems: Experiences and lessons learned (Abstract)

Daniela Lettner , Christian Doppler Laboratory MEVSS, Johannes Kepler University Linz, Austria
Klaus Eder , KEBA AG, Linz, Austria
Paul Grunbacher , Christian Doppler Laboratory MEVSS, Johannes Kepler University Linz, Austria
Herbert Prahofer , Institute System Software, Johannes Kepler University Linz, Austria
pp. 386-395

Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard (Abstract)

Shaukat Ali , Simula Research Laboratory, Oslo, Norway
Tao Yue , Simula Research Laboratory, University of Oslo, Norway
pp. 396-405

A megamodel for Software Process Line modeling and evolution (Abstract)

Jocelyn Simmonds , Computer Science Department, University of Chile, Chile
Daniel Perovich , Computer Science Department, University of Chile, Chile
Maria Cecilia Bastarrica , Computer Science Department, University of Chile, Chile
Luis Silvestre , Computer Science Department, University of Chile, Chile
pp. 406-415

Modular model-based supervisory controller design for wafer logistics in lithography machines (Abstract)

Bram van der Sanden , Eindhoven University of Technology, The Netherlands
Michel Reniers , Eindhoven University of Technology, The Netherlands
Marc Geilen , Eindhoven University of Technology, The Netherlands
Twan Basten , Eindhoven University of Technology, The Netherlands
Johan Jacobs , ASML, Veldhoven, The Netherlands
Jeroen Voeten , Eindhoven University of Technology, The Netherlands
Ramon Schiffelers , Eindhoven University of Technology, The Netherlands
pp. 416-425

An automated model based testing approach for platform games (Abstract)

Sidra Iftikhar , Quest Lab, National University of Computer and Emerging Sciences (FAST-NU), Islamabad, Pakistan
Muhammad Zohaib Iqbal , Quest Lab, National University of Computer and Emerging Sciences (FAST-NU), Islamabad, Pakistan
Muhammad Uzair Khan , Quest Lab, National University of Computer and Emerging Sciences (FAST-NU), Islamabad, Pakistan
Wardah Mahmood , Quest Lab, National University of Computer and Emerging Sciences (FAST-NU), Islamabad, Pakistan
pp. 426-435

Model-driven regulatory compliance: A case study of “Know Your Customer” regulations (Abstract)

Sagar Sunkle , Tata Consultancy Services Research, 54B, Hadapsar Industrial Estate, Pune, India, 411028
Deepali Kholkar , Tata Consultancy Services Research, 54B, Hadapsar Industrial Estate, Pune, India, 411028
Vinay Kulkarni , Tata Consultancy Services Research, 54B, Hadapsar Industrial Estate, Pune, India, 411028
pp. 436-445

Identifying duplicate functionality in textual use cases by aligning semantic actions (SoSyM abstract) (PDF)

Alejandro Rago , Instituto Superior de Ingeniería de Software (ISISTAN), UNICEN University - Tandil, Argentina
Claudia Marcos , Instituto Superior de Ingeniería de Software (ISISTAN), UNICEN University - Tandil, Argentina
J. Andres Diaz-Pace , Instituto Superior de Ingeniería de Software (ISISTAN), UNICEN University - Tandil, Argentina
pp. 446

Enhanced graph rewriting systems for complex software domains (SoSyM abstract) (PDF)

Cedric Eichler , CNRS, LAAS 7 avenue du colonel Roche, F-31400 Toulouse, France
Thierry Monteil , CNRS, LAAS 7 avenue du colonel Roche, F-31400 Toulouse, France
Patricia Stolf , IRIT; 118 Route de Narbonne, F-31062 Toulouse, France
Alfredo Grieco , Department of Electrical and Information Engineering, Politecnico di Bari, Via Orabona 4 - 70125, Italy
Khalil Drira , CNRS, LAAS 7 avenue du colonel Roche, F-31400 Toulouse, France
pp. 447

A situational method for semi-automated enterprise architecture documentation (SoSyM abstract) (PDF)

Matthias Farwick , Research Group Quality Engineering, Institute of Computer Science, University of Innsbruck, Austria
Christian M. Schweda , Reutlingen University, Germany
Ruth Breu , Research Group Quality Engineering, Institute of Computer Science, University of Innsbruck, Austria
Inge Hanschke , Lean42 GmbH, Germany
pp. 448

Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract) (PDF)

Songzheng Song , Nanyang Technological Univerisity, Singapore
Yang Liu , Nanyang Technological Univerisity, Singapore
Mikhail Auguston , Naval Postgraduate School, USA
Jun Sun , Singapore University of Technology and Design, Singapore
Jin Song Dong , National University of Singapore, Singapore
Tieming Chen , Zhejiang University of Technology, China
pp. 449
95 ms
(Ver 3.3 (11022016))