<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>9th International Workshop on Models@run.time</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Sebastian Gotz</string-name>
          <email>sebastian.goetz@acm.org</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Nelly Bencomo</string-name>
          <email>nelly@acm.org</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Robert France</string-name>
          <email>france@CS.ColoState.EDU</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>(1) Technische Universitat Dresden, Germany (2) Aston University</institution>
          ,
          <country country="UK">UK</country>
          ,
          <institution>(3) Colorado State University</institution>
          ,
          <country country="US">USA</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Christoph Bockisch</institution>
          ,
          <addr-line>Walter Cazzola, Peter J. Clarke, Antonio Filieri, Martin Gogolla, Jean-Marc Jezequel, Hausi A. Muller, Bernhard Rumpe, Hui Song, Mario Trapp, Andreas Winter</addr-line>
        </aff>
      </contrib-group>
      <abstract>
        <p>The Models@run.time workshop (MRT) series o ers a discussion forum for the rising need to leverage modeling techniques at runtime for the software of the future. MRT has become a mature research topic, which is, e.g., re ected in separate sessions at conferences covering MRT approaches only. The target venues of the workshops audience changed from workshops to conferences. Hence, new topics in the area of MRT need to be identi ed, which are not yet mature enough for conferences. In consequence, the main goal of this edition was to re ect on the past decade of the workshop's history and to identify new future directions for the workshop.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>According to Rothenberg et al. [3], models are an abstraction of a given aspect
of a system for a given purpose. The idea of the models@run.time paradigm is to
leverage these features of models during execution and in di erent contexts like
those associated with the needs of self-adaptation and autonomous properties.
Models are used to represent the running system to support reasoning. The
argument is that by reasoning on models the complexity can be reduced to a
tractable degree [2].</p>
      <p>The workshops aims for the last 9 years were to understand the current and
future potential uses of models@run.time as well as to investigate their
foundations. The MRT-workshop series has proven to be an e ective discussion podium
for the intersection of modeling techniques from the model-driven engineering
and also the software engineering perspectives and the self-adaptive/autonomous
systems community [1]. A key interest of the workshop was and is to initiate new
and foster existing collaborations between these communities. This year's focus
was to re ect on the last decade of MRT research and to identify the future
directions of the workshop tackling the change from a young research area to a
mature one.
overview on the foundations worked out at that seminar was given and the
chapters of the book, which resulted from the seminar, have been presented. In
addition to the presentation of the results from the Dagstuhl seminar, we did a
1minute madness session at the beginning, where each participants had 1 minute
to introduce himself and to argument for his interest in models@run.time as well
as his envisioned goals for the workshop. Both activities allowed participants new
to the MRT workshop, to understand the topics and community, which lead to
very good, self-engaged discussions among all workshop participants.</p>
      <p>The second and third session comprised paper presentations and discussions.
The rst of these sessions focused on concrete techniques of MRT covering two
techniques to monitor cloud services and the application of MRT in the area of
dynamic software product lines. The second session focused on foundations of
MRT. First, the distinction between design time and runtime models has been
questioned, by looking into the evolution of self-adaptive systems. Here, design
time models become runtime models, as they re ect a system state of an older
version. Second, distributed MRT have been discussed along with a classi cation
of di erent types of distributed systems utilizing MRT. Especially these two talks
resulted in very long debates at the workshop and by this showed up to be of
high interest for the future of the workshop.</p>
      <p>
        The last session covered a discussion with all participants about the future
of the workshop. The following topics have been identi ed by the participants
of the workshop to be of their interest in the future of MRT. In addition, each
topic has been ranked by the participants, who could vote for two topics. The
number of votes for each topic are shown in braces after each topic.
{ The view concept in MRT or modularity of MRT in general (
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
{ The causal connection between the system and the runtime model (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
A transaction concept for this causal connection, especially its timing,
roll-back ability and data-consistency (
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
{ Distributed MRT, i.e., multiple, interfering MRT systems (6)
{ Multi-paradigm Model at runtime (
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
{ MRT for Business Processes (
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
{ Industry and use cases (4)
{ Compelling applications (0)
{ A shared example or platform for joint research (
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
{ Performance of design (0)
      </p>
      <p>In total 20 votes were given by the participants. Distributed MRT clearly
showed up to be the most interesting topic by having 6 votes. This might be
due to the talk in the second-last session, which focused on exactly this topic,
which has rarely been investigated in the past. The question on how to handle
multiple, independent systems, which leverage on MRT, but potentially interfere
with each other, is not yet solved. It actually crosses the boundary between
selfadaptive systems, which have been a major focus of MRT research in the last
10 years, and self-organizing systems (e.g., agents).</p>
      <p>Industrial participation and novel use cases have been ranked second with 5
votes, which shows the maturity gained by MRT research, which now is more
and more about applying the concepts and foundations developed in the past.</p>
      <p>Modularity, the causal connection and especially a transaction concept for it,
Multi-paradigm MRT and a shared example or platform were ranked third by
the participants. This shows the often observed crosscutting nature of MRT in
terms of research areas. In particular modularity (e.g., aspect- and role-oriented
programming) and multi-paradigm modeling are research areas on their own.
The wish for a common example or platform to compare approaches is much
in-line with the wish for industrial participation and novel uses cases.</p>
      <p>Besides topics of interest, the participants also voted for new types of papers
and activities for the workshop. These were:
{ Experience papers
{ Transfer papers (from research to industry)
{ Demos
{ Collaboration sessions with lightning talks about possible future joint papers</p>
      <p>Again, the raised need for experience and transfer papers shows that research
on MRT has evolved to a degree where concrete systems are built, whereof some
are even ready for industrial usage. A major concern with regard to
transferring research results to industry discussed in the workshop is about validation
and veri cation of the approaches' safety. Therefore, this topic will need more
research e orts.
3</p>
    </sec>
    <sec id="sec-2">
      <title>Workshop Structure and Papers</title>
      <p>The workshop was held during the full day, starting on the morning at 9 a.m. and
ending in the evening at 5:30 p.m. In the morning, a summary of the Dagstuhl
seminar's results was given to introduce the participants to the topic. The two
sessions around lunch covered paper presentations. We had 2 types of papers: 3
long papers and 2 short papers showcasing a vision or position. In order to foster
lively discussions, each paper had a second reader, who prepare questions in
advance to the workshop. Nevertheless, the participants made a lively discussion
for every paper by themselves.</p>
      <p>The presentations for long papers were structured as follows: a 25 minute
presentation by an author, summarizing the key points in the paper and a 10
minute discussion, which was initiated by the second reader of the paper.</p>
      <p>All short paper presentations comprised a 15-minute presentation, followed
by a 10-minute discussion including the second reader to start the discussions.</p>
      <p>The following are the papers accepted in this edition of the workshop which
are presented in the present proceedings.</p>
      <p>{ Fatih Gey, Dimitri Van Landuyt, Stefan Walraven and Wouter Joosen:
Feature Models at Run Time: Feature Middleware for Multi-tenant SaaS
applications (long paper)
{ Priscila Cedillo, Javier Gonzalez-Huerta, Silvia Abrahao and Emilio Insfran:</p>
      <p>Towards Monitoring Cloud Services using Models@run.time (long paper)
{ Sebastian Wtzoldt and Holger Giese: Classifying Distributed Self-* Systems</p>
      <p>Based on Runtime Models and Their Coupling (long paper)
{ Robert Heinrich, Eric Schmieders, Reiner Jung, Kiana Rostami, Andreas
Metzger, Willhelm Hasselbring, Ralf Reussner and Klaus Pohl: Integrating
Run-time Observations and Design Component Models for Cloud System
Analysis (short paper)
{ Thomas Vogel and Holger Giese: On Unifying Development Models and
Runtime Models (short paper)
4</p>
    </sec>
    <sec id="sec-3">
      <title>Program Committee</title>
      <p>The program committee members of this years edition are listed as follows. We
reiterate our thanks to these colleagues for their e ort to support the workshop.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <given-names>Nelly</given-names>
            <surname>Bencomo</surname>
          </string-name>
          , Gordon S. Blair, Robert B. France,
          <string-name>
            <surname>Betty H</surname>
          </string-name>
          . C. Cheng, and Cedric Jeanneret.
          <source>Summary of the 6th international workshop on models@run.time. In MoDELS Workshops</source>
          , pages
          <volume>149</volume>
          {
          <fpage>151</fpage>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <given-names>Gordon</given-names>
            <surname>Blair</surname>
          </string-name>
          ,
          <source>Nelly Bencomo, and Robert B. France. Models@ run.time. Computer</source>
          ,
          <volume>42</volume>
          (
          <issue>10</issue>
          ):
          <volume>22</volume>
          {
          <fpage>27</fpage>
          ,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <given-names>Je</given-names>
            <surname>Rothenberg</surname>
          </string-name>
          , Lawrence E. Widman,
          <string-name>
            <given-names>Kenneth A.</given-names>
            <surname>Loparo</surname>
          </string-name>
          , and
          <string-name>
            <surname>Norman</surname>
            <given-names>R.</given-names>
          </string-name>
          <string-name>
            <surname>Nielsen</surname>
          </string-name>
          .
          <article-title>The Nature of Modeling</article-title>
          .
          <source>In Arti cial Intelligence, Simulation and Modeling</source>
          , pages
          <volume>75</volume>
          {
          <fpage>92</fpage>
          . John Wiley &amp; Sons,
          <year>1989</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>