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

 

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
    J
    ames 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

News