[ecoop-info] CfP - 4th International Workshop Models at run.time 2009
jeanneret at ifi.uzh.ch
Fri Jul 17 01:48:00 CEST 2009
------------------------ CALL FOR PAPERS ------------------------
4th International Workshop Models at run.time 2009
In conjunction with MODELS Conference, Denver, Colorado, USA October 2009
Submission deadline: ---> Wednesday August 06th <---
Notification of acceptance: TBA (before early registration deadline at
Workshop at MODELS: TBA (in any case it will be during 4-6 October 2009)
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,
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
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
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.
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 at run.time and now seek:
- experiences with actual implementations of the concept
- rationalisation of the various concepts into overall architectural
- 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.
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
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 (*)
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.
Nelly Bencomo (main contact)
Lancaster University, UK
Computer Science Department
Colorado State University, USA
INRIA, France (Submissions)
University of Zurich, Switzerland (Publicity)
Michigan State University, USA
Politecnico di Milano, Italy
Peter J. Clarke
Florida International University, USA
Fabio M. Costa
Federal University of Goias, Brazil
ESI, The Netherlands
Peking University, China
University of L'Aquila
Triskell Team, IRISA, France
Rui Silva Moreira
UFP, INESC Porto, Portugal
University of Brittany , France
Thais Vasconcelos Batista
More information at http://www.comp.lancs.ac.uk/~bencomo/MRT/
Department of Informatics, University of Zurich, Switzerland
More information about the ecoop-info