6th International Workshop Models@run.time
In conjunction with MODELS 2011 - Wellington, New zealand October 16-21, 2011

The proceedings of the workshop  are online here (19/10/2011)

The programme is on line .  Go to Programme.  (07/09/2011)

The list of accepted papers is announced.  Go to accepted papers.  (16/09/2011)

 Early registration date has been announced, therefore more time to submit can be given. New submission deadline: Friday 19th August 2011 (05/08/2011)

Springer Journal "Computing" will offer a special issue on the topic Models@run.time in 2012.  The best papers will be invited to submit to this special issue. Paper submission for this special issue are planned for November 2011.  (29/06/2011)

The first call for papers is out (09/06/2011)

The 6th International Workshop on models@run.time 2011 will be at MODELS 2011 in Wellington, New Zealand (27/05/2011)

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.

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.
• 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 full-paper (8-12 pages) or a position paper (5-6 pages) in PDF. The paper must conform to the Springer LNCS formatting guidelines (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 2011 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 (*)

If you have any comment or questions contact us at nelly@acm.org.