Organizing Committee
Nelly Bencomo (main contact)
Gordon Blair
Computing Department
Lancaster University, UK
Robert France
Computer Science Department
Colorado State University, USA
Freddy Munoz
INRIA, France (Submissions)
Cedric Jeanneret
Universitat Zurich, Switzerland (Publicity)
Important Dates:
Abstract submission: Tuesday July 28th (you can still submit an abstract)
Submission deadline: Thursday August 06th
Notification of acceptance: Tuesday 1st September (before early registration deadline at MODELS09)
Workshop at MODELS: Monday 5th October
Program Committee
Betty Cheng
Michigan State University, USA
Danilo Ardagna
Politecnico di Milano
Peter J. Clark
USA
Fabio M. Costa
Federal University of Goias, Brazil
Anthony Finkelstein
UCL, UK
Franck Fleury
SINTEF, Norway
John Georgas
NAU, USA
Jeff Gray
UAB, USA
Oystein Haugen
SINTEF, Norway
Jozef Hooman
ESI, The Netherlands
Gang Huang
Peking University, China
Paola Inverardi
University of L'Aquila
Jean-Marc Jezequel
Triskell Team,IRISA, France
Stephane Menoret
Thales, France
Rui Silva Moreira
UFP, INESC Porto, Portugal
Flavio Oquendo
University of Brittany , France
Arnor Solberg
SINTEF, Norway
Thaís Vasconcelos Batista
UFRN, Brazil
|
|
Models@run.time:
Important Dates
Call for Papers
Submission
Accepted Papers and Technical Programme
Proceedings
Related Events:
Models@runtime 2008
Models@runtime 2007
Models@runtime 2006
M-ADAPT @ ECOOP 07
News The Summary of the workshop is found here
The following papers will appear in the final supplemental proceedings of the workshop.
Incremental Model Synchronization for Efficient Run-time Monitoring
by Thomas Vogel, Stefan Neumann, Stephan Hildebrandt, Holger Giese and Basil Becker
Generating Synchronization Engines between Running Systems and Their Model-Based Views
by Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu and Hong Mei
(27/10/2009)
The IEEE special issue on models@runtime
is on line. Visit the link for more info. (04/10/2009)
The proceedings of the workshop are on line. Visit the pages for more info. (29/09/2009)
The program of the workshop and accepted papers information is online. Visit the pages for more info. (16/09/2009)
Notifications of papers have been announced (01/09/2009)
NOTE: The abstract submission is still open. The required info is just
useful for our own administrative duties (papers allocation, etc.)
(30/07/2009)
IF YOU PLAN to submit a paper to this workshop please send a notice of intention to the main contact nelly@acm.org. This notice will help us prepare the organization of the review process.
Send the tentative title of your paper and the names of the authors. (13/07/2009)
The CfP will be released soon! (15/04/2009)
CfP is here! (22/04/2009)
We will be at MODELS 2009.
The CfP will be released soon! (15/04/2009)
Motivation
We are witnessing the emergence of new classes of application that are
highly complex, inevitably distributed, and operate in heterogeneous
and rapidly changing environments. Examples of such applications
include those from pervasive and Grid computing domains. These systems
are required to be adaptable, flexible, reconfigurable and,
increasingly, self-managing. Such characteristics make systems more
prone to failure when executing and thus the development and study of
appropriate mechanisms for runtime validation and monitoring is needed.
In the model-driven software development area, research effort has
focused primarily on using models at design, implementation, and
deployment stages of development. This work has been highly productive
with several techniques now entering the commercialisation phase. The
use of model-driven techniques for validating and monitoring run-time
behaviour can also yield significant benefits. A key benefit is that
models can be used to provide a richer semantic base for run-time
decision-making related to system adaptation and other run-time
concerns. For example, one can use models to help determine when a
system should move from a consistent architecture to another consistent
architecture. Model-based monitoring and management of executing
systems can play a significant role as we move towards implementing the
key self-* properties associated with autonomic computing.
Goal The goal of this workshop is to
look at issues related to developing appropriate model-driven
approaches to managing and monitoring the execution of systems. We
build on the previous events where we have succeeded in building a
community and bringing about an initial exploration of the core ideas
of Models@Runtime and now seek:
- experiences with actual implementations of the concept
- rationalisation of the various concepts into overall architectural perspectives
- to make explicit the specific roles that models play at runtime
- impact on software engineering methodologies
- to continue to assemble a network of researchers in this emerging
area, building on the results of the earlier editions.
Workshop Format
The workshop participants will be selected based on their experience
and ideas related to this new and emerging field. You are invited to
apply for attendance by sending a paper (8-10 pages) in PDF or PS The
paper must
conform to the Springer LNCS formatting guidelines:
http://www.springer.com/computer/lncs (it is the same format of the
Conference, see conference website for more information). Submissions
will be reviewed by at least 3 PC members. The authors will be notified
about acceptance before the MoDELS 2009 early registration deadline.
Candidates for best papers (if finally chosen) can be just taken from
the category of full-papers.
A primary deliverable of the workshop is a report that clearly outlines
(1) the research issues and challenges in terms of specific research
problems in the area, and (2) a synopsis of existing model-based
solutions that target some well-defined aspect of monitoring and
managing the execution of systems. Potential attendees are strongly
encouraged to submit position papers that clearly identify research
issues and challenges, present techniques that address well-defined
problems in the area, and are supported by small demos.
The workshop aims to:
- Integrate and combine research ideas from the areas cited above.
- Provide a "state-of-the-research" assessment expressed in terms
of research issues, challenges, and accomplishments. This assessment
can be used to guide research in the area.
- Continue to build a network of researchers in this area, building on the previous editions.
- Plan and promote further events on these topics.
We strongly encourage authors to address the following topics. Labelled research topics with (*) are crucially important:
- What a runtime model looks like and how does it evolve? (*)
- How can runtime models be maintained? (*)
- How can runtime models be validated?
- What abstractions over runtime phenomena are useful?
- Role of requirement at runtime, requirements reflection (*)
- How are the abstractions tied to the types of adaptations supported? (*)
- How do these abstractions evolve over time? (*)
- Are new abstractions created during runtime? (*)
- How are the causal relationships with executing code realized? (*)
- What is the role of reflection in maintaining the causal connection between models and runtime system?
- The relevance and suitability of different model-driven approaches to monitoring and managing systems during runtime
- Examples of how models can be used to validate and verify the behaviour of the system at runtime (*)
- Compatibility (or tension) between different model-driven approaches
- How do models at other phases of the SE lifecycle relate to the corresponding runtime models?
- Small demos and tools that support the use of models@run.time (*)
|