|
|
Preliminary program
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
|
