<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br> 2nd CALL FOR PAPERS<br> 8th International Workshop on Models at run.time<br> Co-located with ACM/IEEE 16th International Conference on<br> Model Driven Engineering Languages & Systems (MODELS 2013)<br> September 329th - October 4th, 2013, Miami, FL, USA<br><br><a href="http://st.inf.tu-dresden.de/MRT2013/">http://st.inf.tu-dresden.de/MRT2013/</a><br><br><br> Important Dates<br><br> Submissions of papers: July 15th, 2013<br> Notification: August 23rd, 2013<br> Workshop date: September 29th, 2013<br><br>We are witnessing the emergence of new classes of application that are highly <br>complex, inevitably distributed, and operate in heterogeneous and rapidly <br>changing environments. Examples of such applications include those from <br>pervasive and Grid computing domains. These systems are required to be <br>adaptable, flexible, reconfigurable and, increasingly, self-managing. Such <br>characteristics make systems more prone to failure when executing and thus the <br>development and study of appropriate mechanisms for runtime validation and <br>monitoring is needed.<br><br>In the model-driven software development area, research effort has focused <br>primarily on using models at design, implementation, and deployment stages of <br>development. This work has been highly productive with several techniques now <br>entering the commercialisation phase. The use of model-driven techniques for <br>validating and monitoring run-time behaviour can also yield significant <br>benefits. A key benefit is that models can be used to provide a richer <br>semantic base for run-time decision-making related to system adaptation and <br>other run-time concerns. For example, one can use models to help determine <br>when a system should move from a consistent architecture to another consistent <br>architecture. Model-based monitoring and management of executing systems can <br>play a significant role as we move towards implementing the key self-* <br>properties associated with autonomic computing.<br><br>The goal of this workshop is to look at issues related to developing <br>appropriate model-driven approaches to managing and monitoring the execution <br>of systems. We build on the previous events where we have succeeded in <br>building a community and bringing about an initial exploration of the core <br>ideas of Models@Runtime and now seek: <br>- experiences with actual implementations of the concept<br>- rationalisation of the various concepts into overall architectural <br> perspectives <br>- to make explicit the specific roles that models play at runtime<br>- impact on software engineering methodologies<br>- to continue to build a network of researchers in this emerging area, based <br> on the results of the earlier editions <br><br>Workshop Format<br><br>The workshop participants will be selected based on their experience and ideas <br>related to this new and emerging field. You are invited to apply for <br>attendance by sending a full-paper (8-12 pages) or a position paper (5-6 pages)<br>in PDF. The paper must conform to the Springer LNCS formatting guidelines: <br><br><a href="http://www.springer.com/computer/lncs">http://www.springer.com/computer/lncs</a><br>(it is the same format of the Conference,<br>see conference website for more information). Submissions will be reviewed by <br>at least 3 PC members. The authors will be notified about acceptance before <br>the MODELS 2010 early registration deadline. Candidates for best papers (if <br>finally chosen) can be just taken from the category of full-papers.<br><br>A primary deliverable of the workshop is a report that clearly outlines (1) <br>the research issues and challenges in terms of specific research problems in <br>the area, and (2) a synopsis of existing model-based solutions that target <br>some well-defined aspect of monitoring and managing the execution of systems. <br>Potential attendees are strongly encouraged to submit position papers that <br>clearly identify research issues and challenges, present techniques that <br>address well-defined problems in the area, and are supported by small demos.<br><br>The workshop aims to:<br><br>- Integrate and combine research ideas from the areas cited above.<br>- Provide a “state-of-the-research” assessment expressed in terms of research <br> issues, challenges, and accomplishments. This assessment can be used to guide <br> research in the area. <br>- Continue to build a network of researchers in this area, building on the <br> previous editions. <br>- Plan and promote further events on these topics.<br><br><br>We strongly encourage authors to address the following topics. <br>Topics labelled with (*) are crucially important:<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>What a runtime model looks like and how does it evolve? (*)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>How are the causal links with executing code realized? Difference with <br> computational reflection (*)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>Models@runtime and software aging: does it help or hurt?<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>The role of <br><a href="mailto:models@run.time">models@run.time</a><br>in the software development process (*)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>Models@runtime, the silver bullet for runtime assurance and V&V? <br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>Role of requirement at runtime, requirements reflection (*)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>How are the abstractions tied to the types of adaptations supported? (*)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>How do these abstractions evolve over time? (*)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>Are new abstractions created during runtime? (*)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>MDE@Runtime: Are MDE tools ready (performance, etc.) for more dynamic usages?<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>Examples of how models can be used to validate and verify the behaviour of <br> the system at runtime (*)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>Compatibility (or tension) between different model-driven approaches<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>How do models at other phases of the SE lifecycle relate to the corresponding <br> runtime models?<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>How models@runtime can support large multi-disciplinary teams in open <br> innovation/continuous design?<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>Models@runtime and scalability: horizontally (managing large set of nodes) <br> and vertically (from the cloud to the sensors)<br>-<span class="Apple-tab-span" style="white-space: pre; ">        </span>Small demos and tools that support the use of <br><a href="mailto:models@run.time">models@run.time</a><br>(*)<br><br>Organizers <br><br>- Nelly Bencomo (main contact), INRIA, France<br>- Robert France, Colorado State University, USA<br>- Sebastian Götz, TU Dresden, Germany <br>- Bernhard Rumpe, RWTH Aachen, Germany<br><br>Programme Committee (tbc.) <br><br>Franck Chauvel, SINTEF, Norway<br>Peter J. Clark, Florida International University, USA<br>Fabio Costa, Federal University of Goias, Brazil <br>Holger Giese, Universität Potsdam, Germany<br>Gang Huang, Peking University, China<br>Martin Gogolla, Universität Bremen, Germany<br>Jean-Marc Jézéquel, Triskell Team, IRISA, France <br>Rui Silva Moreira, UFP & INESC, Portugal <br>Brice Morin, SINTEF, Norway<br>Hausi A. Müller, University of Victoria, Canada<br>Bradley Schmerl, Carnegie Mellon University, USA<br>Hui Song, Trinity College Dublin, Ireland<br>Thaís Vasconcelos Batista, UFRN, Brasil<br><br><br><br>Nelly Bencomo<br><br>Lecturer in Computer Science<br>Aston University, Birmigham, UK<br><br>email: <a href="mailto:nelly@acm.org">nelly@acm.org</a><br><br><a href="http://www.nellybencomo.me/">www.nellybencomo.me</a><br></body></html>