Technical Papers

The following schedule represents the joint presentation of Foundation Track (F) and Application Track (A) papers. All papers are in included in Springer LNCS 8107.

Papers that are on the short-list as candidates for the Best Paper award are annoted with [#] after the title.

Wednesday - October 2, 2013

10:30am-12:00pm

Tool Support 1
Regency Ballroom
Session Chair: Gunter Mussbacher

• Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? (A) [#]
  Jon Whittle, Lancaster University, United Kingdom
  John Hutchinson, Lancaster University, United Kingdom
  Mark Rouncefield, Lancaster University, United Kingdom
  Håkan Burden, Chalmers University of Technology and University of Gothenburg, Sweden
  Rogardt Heldal, Chalmers University of Technology and University of Gothenburg, Sweden
• Generic Model Assist (F)
  Friedrich Steimann, Fernuniversität in Hagen, Germany
  Bastian Ulke, Fernuniversität in Hagen, Germany
• Adding Spreadsheets to the MDE Toolbox (F)
  Dimitris Kolovos, University of York, United Kingdom
  Nicholas Matragkas, University of York, United Kingdom
  Richard Paige, University of York, United Kingdom

Dependability
Castillian/Valencia East and West
Session Chair: Bran Selic

• Model-driven Extraction and Analysis of Network Security Policies (F)
  Salvador Martínez, AtlanMod, INRIA & Ecole des Mines de Nantes & LINA, France
  Joaquín García-Alfaro, TELECOM SudParis, France
  Frédéric Cuppens, Télécom Bretagne, France
  Nora Cuppens-Boulahia, Télécom Bretagne, France
  Jordi Cabot, AtlanMod, INRIA & Ecole des Mines de Nantes & LINA, France
• SafetyMet: A Metamodel for Safety Standards (F)
  Jose Luis Vara, Simula Research Laboratory, Norway
  Rajwinder Kaur Panesar-Walawege, Simula Research Laboratory, Norway
• A Generic Fault Model for Quality Assurance (F)
  Alexander Pretschner, Technische Universität München, Germany
  Dominik Holling, Technische Universität München, Germany
  Robert Eschbach, itk Engineering, Germany
  Matthias Gemmar, itk Engineering, Germany

Comprehensibility
Regency Conference Room
Session Chair: Richard Paige

• Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual Languages (F)
  Harald Störrle, Technical University of Denmark, Denmark
  Andrew Fish, University of Brighton, United Kingdom
• Teaching Model-Driven Engineering from a Relational Database Perspective (F) [#]
  Don Batory, University of Texas at Austin, United States
  Eric Latimer, University of Texas at Austin, United States
  Maider Azanza, University of the Basque Country (UPV/EHU), Spain
• Big Metamodels are Evil (F) [#]
  Frédéric Fondement, Université de Haute Alsace, France
  Pierre-Alain Muller, Université de Haute Alsace, France
  Laurent Thiry, Université de Haute Alsace, France
  Brice Wittmann, Université de Haute Alsace, France
  Germain Forestier, Université de Haute Alsace, France

1:30pm-3:00pm

Tool Support 2
Regency Ballroom
Session Chair: Jon Whittle

• Integrating Modeling Tools in the Development Lifecycle with OSLC: A Case Study (A)
  Maged Elaasar, IBM Canada Ltd., Canada
  Adam Neal, IBM Canada Ltd., Canada
• Recommending Auto-Completions for Software Modeling Activities (F)
  Tobias Kuschke, Ilmenau Technical University, Germany
  Patrick Mäder, Ilmenau Technical University, Germany
  Patrick Rempel, Ilmenau Technical University, Germany
• Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (F)
  Martin Faunes, DIRO, Université de Montréal, Canada
  Juan Cadavid, INRIA, Centre Rennes, France
  Benoit Baudry, INRIA, Centre Rennes, France
  Houari Sahraoui, DIRO, Université de Montréal, Canada
  Benoit Combemale, IRISA, Université de Rennes 1, France

Testing
Castillian/Valencia East and West
Session Chair: Alexander Pretschner

• Testing M2T/T2M Transformations (F)
  Loli Burgueño, Universidad de Málaga, Spain
  Manuel Wimmer, Vienna University of Technology, Austria
• An Approach to Testing Java Implementation against its UML Class Model (F)
  Hector Chavez, Western Michigan University, United States
  Wuwei Shen, Western Michigan University, United States
  Robert France, Colorado State University, United States
  Benjamin Mechling, Western Michigan University, United States
• Automated Test Case Selection using Feature Model: An Industrial Case Study (A) [#]
  Shuai Wang, Certus Software V&V Center, Simula Research Laboratory, Norway
  Arnaud Gotlieb, Certus Software V&V Center, Simula Research Laboratory, Norway
  Shaukat Ali, Certus Software V&V Center, Simula Research Laboratory, Norway
  Marius Liaaen, Cisco Systems Inc., Norway

Thursday - October 3, 2013

10:30am-12:00pm

Evolution 1
Regency Ballroom
Session Chair: Benoit Baudry

• Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes (F)
  Gabriele Taentzer, Philipps-Universität Marburg, Germany
  Florian Mantz, Högskolen i Bergen, Norway
  Thorsten Arendt, Philipps-Universität Marburg, Germany
  Yngve Lamo, Högskolen i Bergen, Norway
• Fine-Grained Software Evolution using UML Activity and Class Models (F)
  Walter Cazzola, Università degli Studi di Milano, Italy
  Nicole Alicia Rossini, Università degli Studi di Milano, Italy
  Mohammed Al-Refai, Colorado State University, United States
  Robert France, Colorado State University, United States
• Supporting the Co-Evolution of Metamodels and Constraints through Incremental Constraint Management (F)
  Andreas Demuth, Johannes Kepler University Linz, Austria
  Roberto E. Lopez-Herrejon, Johannes Kepler University Linz, Austria
  Alexander Egyed, Johannes Kepler University Linz, Austria

Verification
Castillian/Valencia East and West
Session Chair: Rob Petit

• Model Checking of UML-RT Models Using Lazy Composition (F) [#]
  Karolina Zurowska, Queen's University, Canada
  Juergen Dingel, Queen's University, Canada
• Behavioural Verification in Embedded Software, from Model to Source Code (F)
  Anthony Fernandes Pires, Atos/ONERA, France
  Thomas Polacsek, ONERA, France
  Virginie Wiels, ONERA, France
  Stéphane Duprat, Atos, France
• Formal Verification Integration Approach for DSML (F)
  Faiez Zalila, Toulouse University, IRIT - France, France
  Xavier Crégut, Toulouse University, IRIT - France, France
  Marc Pantel, Toulouse University, IRIT - France, France

Product Lines
Regency Conference Room
Session Chair: Jean-Marc Jézéquel

• Composing your Compositions of Variability Models (F)
  Mathieu Acher, University of Rennes 1 / Inria / Irisa, France
  Benoit Combemale, University of Rennes 1 / Inria / Irisa, France
  Philippe Collet, University of Nice Sophia Antipolis / CNRS, France
  Olivier Barais, University of Rennes 1 / Inria / Irisa, France
  Philippe Lahire, University of Nice Sophia Antipolis / CNRS, France
  Robert France, Colorado State University, United States
• Constraints: The Core of Supporting Automated Product Configuration of Cyber-Physical Systems (A)
  Kunming Nie, Beihang University, China
  Tao Yue, Certus Software V&V Center, Simula Research Laboratory, Norway
  Shaukat Ali, Certus Software V&V Center, Simula Research Laboratory, Norway
  Li Zhang, Beihang University, China
  Zhiqiang Fan, Beihang University, China
• Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement (A)
  Javier Gonzalez-Huerta, Universitat Politècnica de València, Spain
  Emilio Insfrán, Universitat Politècnica de València, Spain
  Silvia Abrahão, Universitat Politècnica de València, Spain

1:30pm-3:00pm

Evolution 2
Regency Ballroom
Session Chair: Gabriele Taentzer

• Evolution of UML Interactions Metamodel (F)
  Marc-Florian Wendland, Fraunhofer FOKUS, Germany
  Martin Schneider, Fraunhofer FOKUS, Germany
  Øystein Haugen, SINTEF, Norway
• A Graph-pattern Based Approach for Meta-model Specific Conflict Detection in a General-purpose Model Versioning System (A)
  Asha Rajbhoj, Tata Consultancy Services Ltd., India
  Sreedhar Reddy, Tata Consultancy Services Ltd., India
• On the Complex Nature of MDE Evolution (A) [#]
  Regina Hebig, Hasso Plattner Institute at the University of Potsdam, Germany
  Holger Giese, Hasso Plattner Institute at the University of Potsdam, Germany
  Florian Stallmann, SAP AG, Germany
  Andreas Seibel, Hasso Plattner Institute at the University of Potsdam, Germany

Semantics
Castillian/Valencia East and West
Session Chair: Juergen Dingel

• Simplification and Correctness of UML Class Diagrams: Focusing on Multiplicity and Aggregation/Composition Constraints (F)
  Mira Balaban, Ben-Gurion University of the Negev, Israel
  Azzam Maraee, Ben-Gurion University of the Negev, Israel
• Formal Semantics Specification of Cyber-Physical Components Integration and Composition (F)
  Gabor Simko, Vanderbilt University, United States
  David Lindecker, Vanderbilt University, United States
  Tihamer Levendovszky, Vanderbilt University, United States
  Sandeep Neema, Vanderbilt University, United States
  Janos Sztipanovits, Vanderbilt University, United States
• Endogenous Metamodeling Semantics for Newer Structural UML Concepts (F)
  Lars Hamann, University of Bremen, Germany
  Martin Gogolla, University of Bremen, Germany

3:30pm-5:00pm

Domain-Specific Modeling Languages
Regency Ballroom
Session Chair: Thihamér Levendovszky

• Computer Assisted Integration of Domain-Specific Modeling Languages using Text Analysis Techniques (F)
  Florian Noyrit, CEA, LIST, Laboratory of model driven engineering for embedded systems, France
  Sébastien Gérard, CEA, LIST, Laboratory of model driven engineering for embedded systems, France
  François Terrier, CEA, LIST, France
• Towards the Notation-Driven Development of DSMLs (F)
  Laurent Wouters, Laboratoire d'Informatique de Paris 6, France
• Validation of Derived Features and Well-Formedness Constraints in DSLs (F) [#]
  Oszkár Semeráth, Budapest University of Technology and Economics, Hungary
  Ákos Horváth, Budapest University of Technology and Economics, Hungary
  Dániel Varró, Budapest University of Technology and Economics, Hungary

Models@RT
Castillian/Valencia East and West
Session Chair: Nelly Bencomo

• Self-Adaptation with End-User Preference: Using Run-Time Models and Constraint Solving (F)
  Hui Song, Trinity College Dublin, Ireland
  Stephen Barrett, Trinity College Dublin, Ireland
  Aidan Clarke, IBM Ireland, Ireland
  Siobhán Clarke, Trinity College Dublin, Ireland
• Runtime Model Based Management of Diverse Cloud
  Resources (A)
  Xiaodong Zhang, Peking University, China
  Xing Chen, Peking University, China
  Ying Zhang, Peking University, China
  Yihan Wu, Peking University, China
  Wei Yao, Bona Information Technology Co., Ltd, China
  Gang Huang, Peking University, China
• The Semantic Web as a Software Modeling Tool: Application to Citizen Relationship Management (A)
  Borislav Iordanov, Miami-Dade County, United States
  Assia Alexandrova, Miami-Dade County, United States
  Syed Abbas, Miami-Dade County, United States
  Thomas Hilpold, Miami-Dade County, United States
  Phani Upadrasta, Miami-Dade County, United States

Design & Architecture
Regency Conference Room
Session Chair: Tau Yue

• Concern-Oriented Software Design (F)
  Omar Alam, McGill University, Canada
  Jörg Kienzle, McGill University, Canada
  Gunter Mussbacher, University of Ottawa, Canada
• Analyzing Enterprise Models Using Enterprise Architecture-based Ontology (A)
  Sagar Sunkle, Tata Consultancy Services Ltd., India
  Vinay Kulkarni, Tata Consultancy Services Ltd., India
  Suman Roychoudhury, Tata Consultancy Services, India
• Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies (A)
  Kleinner Farias, PIPCA/Unisinos, Brazil
  Alessandro Garcia, Pontifical Catholic University of Rio de Janeiro, Brazil
  Jon Whittle, Lancaster University, United Kingdom
  Carlos Lucena, Pontifical Catholic University of Rio de Janeiro, Brazil

Friday - October 4, 2013

10:30am-12:00pm

Model Transformation
Regency Ballroom
Session Chair: Steffen Zschaler

• Parallel Execution of ATL Transformation Rules (F)
  Massimo Tisi, AtlanMod, INRIA & Ecole des Mines de Nantes & LINA, France
  Salvador Martínez, AtlanMod, INRIA & Ecole des Mines de Nantes & LINA, France
  Hassene Choura, AtlanMod, INRIA & Ecole des Mines de Nantes & LINA, France
• Transformation of Models Containing Uncertainty (F)
  Michalis Famelis, University of Toronto, Canada
  Rick Salay, University of Toronto, Canada
  Alessio Sandro, University of Toronto, Canada
  Marsha Chechik, University of Toronto, Canada
• Automated Verification of Model Transformations in the Automotive Industry (A) [#]
  Gehan M. K. Selim, Queen's University, Canada
  Fabian Büttner, AtlanMod, INRIA & Ecole des Mines de Nantes & LINA, France
  James R. Cordy, Queen's University, Canada
  Juergen Dingel, Queen's University, Canada
  Shige Wang, Electrical and Controls Integration Lab, General Motors Research and Development, United States

Model Analysis
Castillian/Valencia East and West
Session Chair: Martin Gogolla

• Data-flow based Model Analysis and its Applications (F)
  Christian Saad, University of Augsburg, Germany
  Bernhard Bauer, University of Augsburg, Germany
• Contract-aware Slicing of UML Class Models (F)
  Wuliang Sun, Colorado State University, United States
  Robert B. France, Colorado State University, United States
  Indrakshi Ray, Colorado State University, United States
• Usability Inspection in Model-driven Web Development: Empirical Validation in WebML (A)
  Adrian Fernandez, Politècnica de València, Spain
  Silvia Abrahão, Politècnica de València, Spain
  Emilio Insfran, Politècnica de València, Spain
  Maristella Matera, Politecnico di Milano, Italy

System Synthesis
Regency Conference Room
Session Chair: Bernhard Schätz

• Model-Driven Approach for Supporting the Mapping of Parallel Algorithms to Parallel Computing Platforms (F)
  Ethem Arkin, Hacettepe University, Turkey
  Bedir Tekinerdogan, Bilkent University, Turkey
  Kayhan Imre, Hacettepe University, Turkey
• Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (F)
  Joel Greenyer, Politecnico di Milano, Italy
  Ekkart Kindler, Technical University of Denmark, Denmark