CfP - 4th International Workshop Models@run.time 2009



CfP - 4th International Workshop Models@run.time 2009

From: Cedric Jeanneret <jeanneret_at_ifi.uzh.ch>
Date: Wed, 3 Jun 2009 11:16:40 +0200
Message-Id: <F10B24BC-2716-4E1D-87CB-1A726F902A50@ifi.uzh.ch>
------------------------ CALL FOR PAPERS ------------------------
4th International Workshop Models@run.time 2009

http://www.comp.lancs.ac.uk/~bencomo/MRT/

In conjunction with MODELS Conference, Denver, Colorado, USA October  
2009

http://modelsconference.org/

Important Dates:

Submission deadline: ---> Wednesday August 06th <---
Notification of acceptance: TBA (before early registration deadline at  
MODELS09)
Workshop at MODELS: TBA (in any case it will be during 4-6 October 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 ofModels@run.time 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?
- 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 (*)

Dynamics of the workshop

We always like to innovate in the kind of discussions during the  
workshop. Last year we had a successful panel with a mix of invited  
experienced professionals of the area. We have also used the role of  
second readers and discussant of papers. We hope to keep the dynamic  
of the discussions this year. See the web site http://www.comp.lancs.ac.uk/~bencomo/MRT/ 
  for more info about earlier editions and their results.

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
University of Zurich, Switzerland (Publicity)

Program Committee

Betty Cheng
Michigan State University, USA
Danilo Ardagna
Politecnico di Milano, Italy
Peter J. Clarke
Florida International University, USA
Fabio M. Costa
Federal University of Goias, Brazil
Anthony Finkelstein
UCL, UK
Franck Fleurey
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
Rui Silva Moreira
UFP, INESC Porto, Portugal
Flavio Oquendo
University of Brittany , France
Arnor Solberg
SINTEF, Norway
Thais Vasconcelos Batista
UFRN, Brazil

More information at http://www.comp.lancs.ac.uk/~bencomo/MRT/

Cedric Jeanneret
Department of Informatics, University of Zurich, Switzerland
Received on Wed 03 Jun 2009 - 10:16:41 BST