1st CfP 5th International Workshop Models at run.time

[Cédric Jeanneret]

********************************************************************************
5th International Workshop Models at run.time
In conjunction with MODELS  2010, OSLO, NORWAY, October 3-8, 2010

http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT10/
********************************************************************************

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 at 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 full-paper (8-12 pages) or a position paper 
(5-6 pages) in PDF. 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 2010 
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 at run.time (*)

Organizers:
Nelly Bencomo (main contact), Lancaster University, UK
Gordon Blair, Lancaster University, UK
Franck Fleury, SINTEF, Oslo, Norway
Cedric Jeanneret, Universitat Zurich, Switzerland

Important Dates:
Deadline Submission: Friday July 30th
Notification of acceptance: Friday August 20th (or before early 
registration at MODELS10)
Workshop at MoDELS: TBA

Program Committee:
Uwe Assman, Dresden, Germany
Franck Chauvel, Peking University, China
Betty Cheng, Michigan State University, USA
Peter J. Clark, Florida International University, USA
Fabio Costa, Federal University of Goias, Brazil
Jeff Gray, University. of Alabama, USA
Holger Giese, Universität Potsdam, Germany
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, Portugal
Flavio Oquendo, University of Brittany , France
Arnor Solberg, SINTEF, Norway
Thaís Vasconcelos Batista, UFRN, Brasil

Further Information Web site: 
http://www.comp.lancs.ac.uk/computing/users/bencomo/MRT10/
Contact:  Nelly Bencomo nelly at comp.lancs.ac.uk