Toulouse, France           28 September - 3 October
ACM/IEEE 11th International Conference on Model Driven
Engineering Languages and Systems

Technical Program

Satelitte Events Sunday, September 28th Monday, September 29th Tuesday, September 30th
Models conference Wednesday, October 1st Thursday, October 2nd Friday, October 3rd

Technical program in pdf

Sunday, September 28th

Argos Daurat De Marmier Ariane 2 Spot Ariane 1 Servanty Diamant Seria (Mercure Hotel)
W-NFP T5(9h-12h30),
W-ChaMDE   W-TWOMDE W-Security  


Monday, September 29th

Argos Daurat De Marmier Ariane 2 Spot Ariane 1 Servanty Diamant Seria (Mercure Hotel)
DoctoralSymp T7(9h-12h30),
T2(9h-12h30) EXPO W-ACES SLE W-ESMDE EdSymp  


Tuesday, September 30th

Argos Daurat De Marmier Ariane 2 Spot Ariane 1 Servanty Diamant Seria (Mercure Hotel)
W-QIM TT(9h-12h30),


Wednesday, October 1st

9h-10h30 Opening
Invited talk: Jeff Kramer
"Abstraction and Modelling - a complementary partnership"

Room : Cassiopée
10h30-11h00 Coffee break
Session 1 "Model Transformation: Foundations"

Session chair : Gregor Engels
Room : Cassiopée

Algebraic models for bidirectional model synchronization - Zinovy Diskin

An Invariant-based Method for the Analysis of Declarative Model-to-Model Transformations - Jordi Cabot, Robert Claris, Esther Guerra, and Juan de Lara

Precise Semantics of EMF Model Transformations by Graph Transformation - Enrico Biermann, Claudia Ermel, and Gabriele Taentzer
Session 2 "Requirements Modeling"

Session chair : Geri Georg
Room : Spot

A Formal Metamodel for Problem Frames - Denis Hatebur, Maritta Heisel, and Holger Schmidt

Visualization of use cases through automatically generated activity diagrams - Javier J. Gutié?rrez, Cleméntine Nebut, Maria J. Escalona, Manuel Mejia and Isabel Ramos

Requirements Modeling and Validation via Bi-layer Use Case descriptions - Avik Sinha, Matthew Kaplan, Amit Paradkar, and Clay Williams
Session 3 " Domain-Specific Modeling"

Session chair : Andrzej Wasowski
Room : Ariane 1

WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications - Zef Hemel, Ruben Verhaaf, Eelco Visser

The Future of Train Signaling - Andreas Svendsen, Øystein Haugen, Gøran K. Olsen, Erik Carlson, Jan Endresen, Thomas Moen, Kjell-Joar Alme

NAOMI - An Experimental Test Bed for Multi Modeling - Trip Denton, Edward Jones, Srini Srinivasan, Kenneth Owens, Richard Buskens
12h30-14h00 Lunch
14h00-15h30 Invited talk: Patrick Rauhut
"3D parametric models for aeroplanes - from idea to design"

Room : Cassiopée
15h30-16h00 Coffee break
Session 4 "Model Transformation: Techniques"

Session chair : Eelco Visser
Room : Cassiopée

Model Transformation as an Optimization Problem - Marouane Kessentini, Houari Sahraoui, Mounir Boukadoum

Example-based Program Transformation - Romain Robbes, Michele Lanza

Detecting Patterns of Poor Design Solutions Using Constraint Propagation - Ghizlane El-Boussaidi , Hafedh Mili
Session 5: "Composition and Analysis of Behavioral Models"

Session chair : Benoit Baudry
Room : Spot

A General Approach for Scenario Integration - Hongzhi Liang, Zinovy Diskin, Juergen Dingel, Ernesto Posse

Behavioral Modelling and Composition of Object Slices Using Event Observation - Iulian Ober, Bernard Coulette, Younes Lakhrissi

Scenario-based Static Analysis of UML Behavioral Properties - Lijun Yu, Robert B. France, Indrakshi Ray
Session 6: "Model Comprehension"

Session chair : Andy Schuerr
Room : Ariane 1

Constructing Models with the Human-Usable Textual Notation - Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona A.C. Polack

X3D-UML: 3D UML State Machine Diagrams - Paul McIntosh, Margaret Hamilton, Ron van Schyndel

Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment - Marcela Genero, Jose A. Cruz-Lemus, Danilo Caivano, Silvia Abrahao, Emilio Insfran, Jose A. Cars


Thursday, October 2nd

9h-10h30 Invited talk: Don Batory
"The Objects and Arrows of Computational Design"

Room : Cassiopée
10h30-11h00 Coffee break
Session 7 "Model Management"

Session chair : Richard Paige
Room : Cassiopée

MOOGLE: a Model Search Engine - Daniel Lucredio, Renata P. M. Fortes, Jon Whittle

Managing model conflicts in distributed development - Antonio Cicchetti, Davide Di Ruscio, Alfonso Pierantonio

Meta-model Matching for Automatic Model Transformation Generation - Jean-Rémy Falleri, Marianne Huchard, Mathieu Lafourcade, Clémentine Nebut
Session 8 "Behavioral Conformance and Refinement"

Session chair : Alexander Pretschner
Room : Spot

Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams - Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer

Implementation of Conformance Relation for Incremental Development of Behavioral Models - Hong-Viet Luong, Thomas Lambolais, and Anne-Lise Courbis

A Model-Based Framework for Statically and Dynamically Checking Component Interactions - Guillaume Waignier, Prawee Sriplakich, Anne-Francoise Le Meur, Laurence Duchien
Session 9 "Metamodeling and Modularity"

Session chair : Juergen Dingel
Room : Ariane 1

Formal Definition of MOF 2.0 Meta-Modeling Components and Composition - Ingo Weisemoller, Andy Schurr

Interfaces and Metainterfaces for Models and Metamodels - Anders Hessellund, Andrzej Wasowski

Model & Metamodel, Metadata and Document Repository for Software and Data Integration - Nikola Milanovic, Ralf Kutsche, Timo Baum, Mario Cartsburg, Hatice Elmasgunes, Marco Pohl, Jurgen Widiker
12h30-14h00 Lunch
14h00-15h30 Panel:" Past & Future of MDD"

Moderator: Robert B. France
Richard M. Soley, Chairman and CEO, Object Management Group, USA
Jeff Kramer, Professor of Distributed Computing, Dean of the Faculty of Engineering, Imperial College, UK
Bran Selic, Retired IBM Distinguished Engineer, Canada
Grady Booch, IBM Fellow and Chief Scientist, IBM Rational, USA
Patrick Farail, Airbus, France

Room : Cassiopée
15h30-16h00 Departures to the Airbus visit: 15h30 and 16h00
19h00 Conference Banquet


Friday, October 3rd

8h30 - 10h00
Session 10 "Constraints"

Session chair : Gabriele Taentzer
Room : Cassiopée

Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax - Mikolas Janota, Victoria Kuzina, Andrzej Wasowski

A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency - Martin Gogolla, Mirco Kuhlmann, Fabian Buttner

Contrary-To-Duties Constraints: from UML to Relational Model - Pedro Nogueira Ramos
Session 11 "Model Analysis"

Session chair : Oystein Haugen
Room : Spot

A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms Marwa Shousha - Lionel Briand, Yvan Labiche

Integrating Performance Analysis in the Model Driven Development of Software Product Lines - Rasha Tawhid, Dorina C. Petriu

A Model-driven Measurement Approach - Martin Monperrus, Jean-Marc Jézéquel, Joel Champeau, Brigitte Hoeltzener
Session 12 "Service-Oriented Architectures"

Session chair : Jean-Michel Bruel
Room : Ariane 1

Specifying Service Composition Using UML 2.x and Composition Policies - Judith E Y Rossebø, Ragnhild Kobro Runde

A Model-Based Framework for Security Policy Specification, Deployment and Testing - Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, Yves Le Traon

A Pattern Language Verifier for Web-Based Enterprise Applications - Bahman Zamani, Sahar Kayhani, Greg Butler
10h00-10h30 Coffee break
Session 13: "Adaptive and Autonomic Systems"

Session chair : Robert France
Room : Ariane 1

Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty - Heather Goldsby, Betty H.C. Cheng

Autonomic Management Policy Specification: from UML to DSML - Benoit Combemale, Laurent Broto, Xavier Crégut, Michel Daydé, Daniel Hagimont
Session 14: "Empirical Studies"

Session chair : Krzysztof Czarnecki
Room : Spot

Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density - Ariadi Nugroho, Bas Flaton, Michel Chaudron

An Empirical Investigation on Dynamic Modeling in Requirements Engineering - Giuseppe Scanniello, Carmine Gravino, Genoveffa Tortora
11h30-12h30 Panel:"Addressing the Challenges of Multi-Modeling for Domain-Specific Modeling Languages"

Moderator: Doug Schmidt
Panelists (to be confirmed):
Trip Denton, Lockheed Martin Advanced Technology Labs, USA
Edward A. Lee, University of California at Berkeley, USA
Jose Meseguer, University of Illinois at Urbana-Champaign, USA
Douglas C. Schmidt, Vanderbilt University, USA

Room : Cassiopée
12h30-14h00 Lunch
14h00 - 15h30
Session 15:"Evolution and Reverse Engineering"

Session chair : Andrzej Wasowski
Room : Cassiopée

Heterogeneous Coupled Evolution of Software Languages - Sander Vermolen, Eelco Visser

Automatability of Coupled Evolution of Metamodels and Models in Practice - Markus Herrmannsdoerfer, Sebastian Benz, Elmar Juergens

Enriching Reverse Engineering with Annotations - Andrea Bruehlmann, Tudor Girba, Orla Greevy, Oscar Nierstrasz
Session 16 "Modeling Language Semantics"

Session chair : Bran Selic
Room : Spot

Towards a Formal Account of a Foundational Subset for Executable UML Models - Michelle L. Crane, Juergen Dingel

A Lightweight Approach for Defining the Formal Semantics of a Modeling Language - Pierre Kelsen , Qin Ma

Semantically Configurable Code Generation - Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker
Session 17 "Dependability Analysis and Testing"

Session chair : Oystein Haugen
Room : Ariane 1

Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams - Tor Stalhane, Guttorm Sindre

Adding Dependability Analysis Capabilities to the MARTE Profile - Simona Bernardi, José Merseguer, and Dorina, C. Petriu

Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications - Mohammad Al Saad, Nicolai Kamenzky, and Jochen Schiller
15h30-16h00 Coffee break
16h00 - 17h30
Session 18 "Aspect-Oriented Modeling"

Session chair : Robert France
Room : Cassiopée

Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation - Pablo SAnchez, Lidia Fuentes, Dominik Stein, Stefan Hanenberg, Rainer Unland

An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability - Brice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon Blair

Managing Variability Complexity in Aspect-Oriented Modeling - Brice Morin, Philippe Lahire, Gilles Vanwormhoudt, Alban Gaignard, Olivier Barais, Jean-Marc Jézéquel
Session 19: "Structural Modeling"

Session chair : Ileana Ober
Room : Spot

Mapping the UML2 Semantics of Associations to a Java Code Generation Model - Dominik Gessenharter

Meaningful Composite Structures - On the Semantics of Ports in UML2 - Arnaud Cuccuru, Sebastien Gerard, Ansgar Radermacher

A Systematic Approach to Connectors in a Multi-Level Modeling Environment - Matthias Gutheil, Colin Atkinson, Bastian Kennel
Session 20: "Embedded Systems"

Session chair : Bran Selic
Room : Ariane 1

Model-based Quality Assurance of Automotive Software - Jan Jurjens, David Trachtenherz, Daniel Reiss

Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA - Lars Pareto, Miroslaw Staron, Peter Eriksson

General mode controller for software on artificial satellite with model-based validation tool - Toshihiro Obata


Last update: 06/08/2008 by webmaster
blog counter