[ecoop-info] 4th International Workshop Models at run.time 2009 - Call for Papers- Denver, Colorado, USA October 2009

[Nelly Bencomo]

Call for Papers 
4th International Workshop Models at 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 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 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 at run.time (*)



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)


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
Rui Silva Moreira
UFP, INESC Porto, Portugal
Flavio Oquendo
University of Brittany , France
Arnor Solberg
SINTEF, Norway 
Thaís Vasconcelos Batista
UFRN, Brazil

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

Nelly

Nelly Bencomo
Senior Research Associate
Computing Department, Lancaster University, UK
website: http://www.comp.lancs.ac.uk/computing/users/bencomo/