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), T8(14h-17h30)	T3(9h-12h30), T4(14h-17h30)	T9(9h-12h30), T6(14h-17h30)	W-ChaMDE		W-TWOMDE	W-Security

top

Monday, September 29th

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

top

Tuesday, September 30th

Argos	Daurat	De Marmier	Ariane 2	Spot	Ariane 1	Servanty	Diamant	Seria (Mercure Hotel)
W-QIM	TT(9h-12h30), RTP(14h-17h30)	W-Mothis	EXPO	W-MCCM	SLE	W-MDWE	W-OCL	W-MRT

top

Wednesday, October 1st

9h-10h30

Opening
Invited talk: Jeff Kramer
"Abstraction and Modelling - a complementary partnership"

Room : Cassiopée

10h30-11h00

Coffee break

11h-12h30

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

16h00-17h30

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

top

Thursday, October 2nd

9h-10h30

Invited talk: Don Batory
"The Objects and Arrows of Computational Design"

Room : Cassiopée

10h30-11h00

Coffee break

11h-12h30

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
Panelists:
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

top

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

10h30-11h30

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

top