MODELS 2009

Home

Registration

Program

Social Events

Keynotes

Workshops

Tutorials

Doctoral Symposium

Educators' Symposium

Calls

Venue

Travel

Sponsors

Organizers

Important Dates

Previous editions

Contacts

Preliminary program

At a glance Sunday
(Oct 4)
Monday
(Oct 5)
Tuesday
(Oct 6)
Wednesday
(Oct 7)
Thursday
(Oct 8)
Friday
(Oct 9)

Program at a Glance

Day Date Events
Sunday Oct 4
Workshops and symposia
Collocated conference:
Monday Oct 5
Workshops and symposia
Collocated conferences:
Workshop/tutorial reception at the hotel

Tuesday Oct 6
Workshops and symposia
Tutorials
Collocated conference:
Wednesday Oct 7
Keynote speaker: Stephen J. Mellor

Technical papers

Conference reception at the hotel

Thursday Oct 8
Keynote speaker: Larry L. Constantine

Technical papers

Panel

Conference banquet at the Denver Downtown Aquarium

Friday Oct 9
Keynote speaker: Grady Booch

Technical papers

 

^Top


Sunday's program

Time Workshops
8:00 am
On-site registration (near meeting rooms)

8:30 am - 10:00 am
AOM (Wind River), MoDSE-MCCM (Chasm Creek B), NFPinDSML (Wind Star), TWOMDE2009 (Chasm Creek A)

10:00 am - 10:30 am
Coffee break (Mesa Verde Foyer)

10:30 am - 12:30 pm
AOM (Wind River), MoDSE-MCCM (Chasm Creek B), NFPinDSML (Wind Star), TWOMDE2009 (Chasm Creek A)

12:30 pm - 2:00 pm
Lunch (Atrium 2nd floor)

2:00 pm - 3:30 pm
AOM (Wind River), MoDSE-MCCM (Chasm Creek B), NFPinDSML (Wind Star), TWOMDE2009 (Chasm Creek A)

3:30 pm - 4:00 pm
Coffee break (Mesa Verde Foyer)

4:00 pm - 6:00 pm
AOM (Wind River), MoDSE-MCCM (Chasm Creek B), NFPinDSML (Wind Star), TWOMDE2009 (Chasm Creek A)

^Top


Monday's program

Time Workshops Symposia
8:00 am
On-site registration (near meeting rooms)

8:30 am - 10:00 am
Models@run.time (Chasm Creek B), MoDeVVa09 (Wind River), OCL (Wind Star)


Doctoral symposium (Mesa Verde A)

10:00 am - 10:30 am
Coffee break (Mesa Verde Foyer)

10:30 am - 12:30 pm
Models@run.time (Chasm Creek B), MoDeVVa09 (Wind River), OCL (Wind Star)


Doctoral symposium (Mesa Verde A)

12:30 pm - 2:00 pm
Lunch (Atrium 2nd floor)

2:00 pm - 3:30 pm
Models@run.time (Chasm Creek B), MoDeVVa09 (Wind River), OCL (Wind Star)


Doctoral symposium (Mesa Verde A)

3:30 pm - 4:00 pm
Coffee break (Mesa Verde Foyer)

4:00 pm - 6:00 pm
Models@run.time (Chasm Creek B), MoDeVVa09 (Wind River), OCL (Wind Star)


Doctoral symposium (Mesa Verde A)

6:30 pm - 8:00 pm
Workshop/Tutorial Reception (Atrium 2nd floor)

^Top


Tuesday's program

Time Workshops Symposia Tutorials
8:00 am
On-site registration (near meeting rooms)

8:30 am - 10:00 am
ACES-MB'09 (Chasm Creek A), FOSD (Chasm Creek B), MPM09 (Wind River)


Educators' symposium (Wind Star)


T4 (Mesa Verde A)

10:00 am - 10:30 am
Coffee break (Mesa Verde Foyer)

10:30 am - 12:30 pm
ACES-MB'09 (Chasm Creek A), FOSD (Chasm Creek B), MPM09 (Wind River)


Educators' symposium (Wind Star)


T4 (Mesa Verde A)

12:30 pm - 2:00 pm
Lunch (Atrium 2nd floor)

2:00 pm - 3:30 pm
ACES-MB'09 (Chasm Creek A), FOSD (Chasm Creek B), MPM09 (Wind River)


Educators' symposium (Wind Star)


T5 (Mesa Verde A)

3:30 pm - 4:00 pm
Coffee break (Mesa Verde Foyer)

4:00 pm - 6:00 pm
ACES-MB'09 (Chasm Creek A), FOSD (Chasm Creek B), MPM09 (Wind River)


Educators' symposium (Wind Star)


T5 (Mesa Verde A)

^Top


Wednesday's program

Time Events
8:30 am
On-site registration (near meeting rooms)

9:00 am - 9:15 am
Grand Mesa
Opening remarks

9:15 am - 10:30 am
Keynote 1: Grand Mesa
Keynote Speaker: Stephen J. Mellor
Models. Models. Models. So What?
Slides
Chair: Jean Bezivin

10:30 am - 11:00 am Coffee break (Grand Mesa pre-function area) MODELPLEX Demonstration
11:00 am - 12:30 pm
Session 1.a Wind River
(Meta-)Model Modeling and Management
Chair: Jean-Marie Favre
  • Muller, Fondement, Baudry
    Modeling Modeling (Scientific)
  • Aschauer, Dauenhauer, Pree
    Representation and Traversal of Large Clabject Models (Scientific)
  • Sen, Moha, Baudry, Jezequel
    Meta-model Pruning (Scientific)
    Slides

Session 1.b Wind Star
Quantitative Modeling with UML
Chair: Heinrich Hussmann
  • Shousha, Briand, Labiche
    A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (Scientific)
  • Boskovic, Hasselbring
    Model Driven Performance Measurement and Assessment with MoDePeMART (Scientific)
    Slides
  • Lloyd, Jürjens
    Security Analysis of a Biometric Authentication System using UMLsec and JML (Empirical)

Session 1.c Highlands
Model Transformations and Constraints
Chair: Thomas Weigert
  • Chenouard, Jouault
    Automatically Discovering Hidden Transformation Chaining Constraint (Scientific)
  • Horváth, Varró
    CSP(M): Constraint Satisfaction Problem over Models (Scientific)
    Slides
  • Kleiner, Albert, Bezivin
    Parsing SBVR-based Controlled Languages (Empirical)
12:30 pm - 2:00 pm Lunch (Atrium 2nd floor)
2:00 pm - 3:30 pm
Session 2.a Wind River
Model Management
Chair: Jon Whittle
  • Thum, Schwind, Schader
    SLiM - A Lightweight Environment for Synchronous Collaborative Modeling (Scientific) Slides
  • Gerth, Küster, Engels
    Language-Independent Change Management of Process Models (Scientific)
  • Bendix, Emanuelsson
    Requirements for Practical Model Merge - an Industrial Perspective (Empirical)

Session 2.b Wind Star
UML in Practice and Quality Assurance
Chair: Antonio Vallecillo
  • Nugroho, Chaudron
    Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study (Empirical)
    Slides
  • Pareto, Eriksson, Ehnebom
    Concern Visibility in Base Station Development - an Empirical Investigation (Empirical)
  • Weißleder
    Influencing Factors in Model-Based Testing with UML State Machines: Report on an Industrial Cooperation (Empirical)
    Slides

Session 2.c Highlands
Formalization of Model Transformations
Chair: Pierre-Alain Muller
  • Jurack, Taentzer
    Towards Composite Model Transformations using Distributed Graph Transformation Concepts (Scientific)
    Slides
  • Ehrig, Ermel, Hermann, Prange
    On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars (Scientific)
    Slides
  • De Lara, Guerra
    Formal Support for QVT-Relations with Coloured Petri Nets (Scientific)
    Slides
3:30 pm - 4:00 pm Coffee break (Grand Mesa pre-function area) MODELPLEX Demonstration
4:00 pm - 5:15 pm
Session 3.a Wind River
Scenario Modeling
Chair: Richard Paige
  • Brosch, Kappel, Langer, Seidl, Wieland, Wimmer, Retschitzegger, Schwinger
    An Example is Worth a Thousand Words: Composite Operation Modeling By-Example (Scientific)
  • Mussbacher, Amyot, Whittle
    Refactoring-Safe Modeling of Aspect-Oriented Scenarios (Scientific)
  • Maoz, Metsä, Katara
    (15 min presentation) Model-Based Testing Using LSCs and S2A (Empirical)
    Slides

Session 3.b Wind Star
Business Application Development
Chair: Alfonso Pierantonio
  • Mohan, Kulkarni
    Model Driven Development of Graphical User Interfaces for Enterprise Business Applications - Experience, Lessons Learnt and a Way Forward (Empirical)
    Slides
  • Mazanek, Minas
    Business Process Models as a Showcase for Syntax-based Assistance in Diagram Editors (Scientific)
    Slides
  • Milanovic, Gasevic, Wagner, Hatala
    (15 min presentation) Rule-enhanced Business Process Modeling Language for Service Choreographies (Scientific)
    Slides

Session 3.c Highlands
Model Synchronization and Change Propagation
Chair: Ivan Porres
  • Ráth, Varró, Varró
    Change-driven Model Transformations (Scientific)
    Slides
  • Wolfe, Graham, Phillips
    An Incremental Algorithm for High-Performance Runtime Model Consistency (Scientific)
  • Helming, Koegel, Naughton, David, Shterev
    (15 min presentation) Traceability-based Change Awareness (Scientific) (Scientific) (Scientific) (Scientific)
    Slides
6:00 pm - 8:30 pm Conference reception (Centennial)

^Top


Thursday's program

Time Events
8:30 am
On-site registration (near meeting rooms)

9:00 am - 9:15 am
Grand Mesa
Annoucements

9:15 am - 10:30 am
Keynote 2: Grand Mesa
Keynote Speaker: Larry L. Constantine
Interaction Design and Model-Driven Development
Chair: Robert France
Slides

10:30 am - 11:00 am Coffee break (Grand Mesa pre-function area)
11:00 am - 12:30 pm
Session 4.a Wind River
Language Specification and Annotation
Chair: Jean-Michel Bruel
  • Soltenborn, Engels
    Towards Test-Driven Semantics Specification (Scientific)
  • Leung, Mandl, Latronico, Shelton, Lee
    Scalable Semantic Annotation using Lattice-based Ontologies (Scientific)
    Slides
  • Walter, Silva Parreiras, Staab
    OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (Scneitific)
    Slides

Session 4.b Wind Star
Domain-Specific Languages
Chair: Ileana Ober
  • Hermans, Pinzger, Deursen
    Domain-Specific Languages in Practice: A User Study on the Success Factors (An Experience Report) (Empirical)
    Slides
  • Dhaussy, Pillain, Creff, Raji, Le Traon, Baudry
    Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation (Empirical)
    Slides
  • Wienands, Golm
    Anatomy of a Visual Domain-Specific Language Project in an Industrial Context (Empirical)
    Slides

Session 4.c Highlands
Model-Based Analysis
Chair: Michal Smialek
  • Cheng, Sawyer, Bencomo, Whittle
    A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (Scientific)
  • Yue, Briand, Labiche
    A Use Case Modeling Approach to Facilitate the Transition Towards Analysis Models: Concepts and Empirical Evaluation (Scientific)
    Slides
  • Maoz
    Polymorphic Scenario-Based Specification Models: Semantics and Applications (Scientific)
    Slides
12:30 pm - 2:00 pm Lunch (Atrium 2nd floor)
2:00 pm - 3:30 pm
Session 5.a Wind River
Model (De-)Composition and Abstraction
Chair: Bernhard Rumpe
  • Klein, Kienzle, Morin, Jézéquel
    Aspect Model Unweaving (Scientific)
    Slides
  • Oldevik, Menarini, Krüger
    Model Composition Contracts (Scientific)
    Slides
  • Johannes, Zschaler, Fernandez, Castillo, Kolovos, Paige
    (15 min presentation) Abstracting Complex Languages through Transformation and Composition (Scientific)
    Slides
  • Yie, Casallas, Wagelaar, Deridder
    (15 min presentation) An approach for evolving transformation chains (Scientific)
    Slides

Session 5.b Wind Star
Distributed Software Development
Chair: Bernhard Schatz
  • Daw, Vetter
    Deterministic UML Models for Interconnected Activities and State Machines (Scientific)
  • Kraemer, Herrmann
    Automated Encapsulation of UML Activities for Incremental Development and Verification (Scientific)
    Slides
  • Drusinsky, Shing
    Using UML Statecharts with Knowledge Logic Guards (Scientific)

Session 5.c Highlands
Service and Business Process Integration
Chair: Gerti Kappel
  • Esfahani, Malek, P. Sousa, Gomaa, A. Menascé
    A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (Scientific)
    Slides
  • Fleurey, Solberg
    A Domain Specific Modeling Language supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (Scientific)
  • Milanovic, Cartsburg, Shtelma
    Executable Domain Specific Language for Message-based System Integration (Scientific)
3:30 pm - 4:00 pm Coffee break (Grand Mesa pre-function area)
4:00 pm - 5:00 pm Grand Mesa
Panel
Real Programmers Don't Model.
Moderator: Øystein Haugen
Participants: Thomas Weigert, Michel Chaudron, Gary Shubert
6:00 pm - 8:30 pm Conference banquet at Denver Downtown Aquarium

^Top


Friday's program

Time Events
8:30 am
On-site registration (near meeting rooms)

9:00 am - 9:15 am
Grand Mesa
MODELS 2010 Annoucements

9:15 am - 10:30 am
Keynote 3: Grand Mesa
Keynote Speaker: Grady Booch
Architectural Mining: The Other Side of the MDD
Chair: Gregor Engels
Slides

10:30 am - 11:00 am Coffee break (Grand Mesa pre-function area)
11:00 am - 12:30 pm
Session 6.a Wind River
Genericity and Constraints
Chair: Franck Fleurey
  • Moha, Mahé, Barais, Jézéquel
    Generic Model Refactorings (Scientific)
    Slides
  • Cuccuru, Radermacher, Gerard, Terrier
    (15 min presentation) Constraining Type Parameters of UML 2 Templates with Substitutable Classifiers (Scientific)
  • Moiseev, Hayashi, Saeki
    Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages (Scientific)
    Slides
  • Chimiak-Opoka
    (15 min presentation) OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language (Scientific)
    Slides

Session 6.b Wind Star
Variability Management
Chair: Geri Georg
  • Cengarle, Groenniger, Rumpe
    Variability within Modeling Language Definitions (Scientific)
    Slides
  • Schwanninger, Groher, Elsner, Lehofer
    (15 min presentation) Variability Modelling Throughout the Product Line Lifecycle (Empirical)
  • Morin, Perrouin, Lahire, Barais, Vanwormhoudt, Jézéquel
    Weaving Variability into Domain Metamodels (Scientific)
    Slides
  • Narayanan, Levendovszky, Balasubramanian, Karsai
    (15 min presentation) Automatic Domain Model Migration to Manage Metamodel Evolution (Scientific)
    Slides

Session 6.c Highlands
Model Transformation Engineering
Chair: Daniel Varro
  • Sun, White, Gray
    Model Transformation by Demonstration (Scientific)
    Slides
  • Wimmer, Kusel, Schoenboeck, Kappel, Retschitzegger, Schwinger
    (15 min presentation) Reviving QVT Relations: Model-based Debugging using Colored Petri Nets (Scientific)
  • Kuester, Gschwind, Zimmermann
    Incremental Development of Model Transformation Chains using Automated Testing (Scientific)
    Slides
  • Giner, Pelechano
    (15 min presentation) Test-driven Development of Model Transformations (Scientific)

^Top

Last updated: September 22, 2009