Proposed Format of the workshop
The workshop is designed to facilitate focused discussion on the use of models during run time. The primary goal is to develop a research road map that provides a context for current and anticipated work in this new research area. The workshop will be structured into presentation and work (discussion) sessions. The presentation session will take place in the morning and will consist of a guest talk and presentations by paper submitters. The afternoon will be dedicated to focused discussions on research challenges. The result of this work session will be a research roadmap.

Presentations: there will be two types of presentations by paper submitters.

Short presentations: The maximum time allocated to a short presentation is 10 minutes: the submitter will spend 5 minutes presenting the paper and 5 minutes answering questions about the presented ideas.

Full presentations: The maximum time allocated to a full presentation is 20 minutes. To facilitate an informed and fruitful discussion, the full presentations will be structured as follows:
- Presentation of major ideas by paper submitter : 10 minutes
- Presentation of paper analysis by an assigned independent reader : 5 minutes
- Questions from the audience : 5 minutes

The independent reader is someone other than the paper submitter assigned to discuss the extent that the paper addresses the research questions posed in the Call for Papers.

Program

Morning

9:00 - 9:10 Presentation of the workshop (Nelly Bencomo)

9:10 - 10:00 Guest Speaker Prof. Betty Cheng, Michigan State University

Title: Modeling and Analyzing Dynamically Adaptive Software

Abstract: Increasingly, software should dynamically adapt its behavior at run-time in response to changing conditions in the supporting computing and communication infrastructure, and in the surrounding physical environment. In order for an adaptive program to be trusted, it is important to have mechanisms to ensure that the program functions correctly \emph{during} and \emph{after} adaptations. Adaptive programs are generally more difficult to specify, verify, and validate due to their high complexity. Particularly, when involving multi-threaded adaptations, the program behavior is the result of the collaborative behavior of multiple threads and software components. This presentation introduces an approach to create formal models for the behavior of adaptive programs. Our approach separates the adaptation behavior and non-adaptive behavior specifications of adaptive programs, making the models easier to specify and more amenable to automated analysis and visual inspection. We introduce a process to construct adaptation models, automatically generate adaptive programs from the models, and verify and validate the models.

Session 1 Chair: Robert France

10:00 - 10:20 "Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-based Systems ",
Jérémy Dubus and Philippe Merle.  (Second reader: Fabio Costa)

10:20 - 10:40 "Models at Runtime for sustaining User Interface Plasticity ",
Jean-Sébastien Sottet , Gaëlle Calvary, and Jean-Marie Favre. (Second reader to be announced)

10:40 - 11:00 "A Runtime Model for Multi-Dimensional Separation of Concerns ",
Awais Rashid, and Ruzanna Chitchyan . (Second reader: Jon Oldevik)

11:00 - 11:30 COFFEE BREAK

Session 2 Chair: Nelly Bencomo

11:30 - 11:50 "Towards a More Effective Coupling of Reflection and Runtime Metamodels for Middleware" ,
Fabio Costa , Lucas Provensi, and Frederico Vaz. (Second reader:Jean-Marc Jezequel )

11:50 - 12:10 "Model-driven development of self-managing software ",
Matthias Rohr, Marko Boskovic , and Simon Giesecke.  (Second reader: Steffen Zschaler)

12:10 - 12:20 "Experiments in Run-Time Model Extraction" ,
Frédéric Jouault, Jean Bézivin, Régis Chevrel, and Jeff Gray. 

12:20 - 12:30 Invited presentation: Project MODELPLEX. Veronique Normand

12:30 - 01:00 Discussion and planning breakout sessions ( Chair: Gordon Blair)

13:00 - 14:30 LUNCH