CFP: 9th International Workshop on [email protected]

Sebastian Götz <[email protected]> Mon, 19 May 2014 11:05:51 +0200
Newsgroups gmane.comp.programming.aspect.announce
Message-ID <CANabnY5xqO2rp7heO_MdQ6BiCoOA+eCE-R6LfyB01y-yLTamtQ@mail.gmail.com>
--===============0338187200825301817==
Content-Type: multipart/alternative; boundary=e89a8f3ba5b5e4f4b004f9bd1187

--e89a8f3ba5b5e4f4b004f9bd1187
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

                                CALL FOR PAPERS
          9th International Workshop on Models at run.time
   Co-located with ACM/IEEE 17th International Conference on
Model Driven Engineering Languages & Systems (MODELS 2014)
       September 28th - October 3rd, 2014, Valencia, Spain
                  http://st.inf.tu-dresden.de/MRT2014/

                                Important Dates

                Submissions of papers: July 11th, 2014
                Notification:                  August 22nd, 2014
                Workshop date:            t.b.a.

We are witnessing the emergence of new classes of application  that  are
 highly
complex, inevitably distributed,   and  operate  in  heterogeneous  and
 rapidly
changing environments. Such 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
required.

In the model-driven software development  area,   research  effort  has
 focused
primarily on using models at design, implementation, and  deployment
 stages  of
development. However, the use of  model-driven  techniques  for  validating
 and
monitoring run-time behaviour  can  also  yield  significant  benefits.   A
 key
benefit  is  that  models  provide  a  richer  semantic  base    for
 run-time
decision-making. For example, one can  use  models  to  help  determine
 when  a
system reconfiguration is beneficial. Model-based monitoring and
 management  of
executing systems plays a  significant  role  in  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 [email protected] 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 build a network of researchers in this emerging area,
based 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 full-paper (8-10 pages) or a position paper (5-6
 pages)
in PDF. 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 2014 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. A preliminary version of  the
 intended
outcome can be found in the summary of  last  year's  models@run. time
 workshop
(see homepage).
- Plan and promote further events on these topics.


Papers on [email protected]  can  relate (but are not limited)  to  the
 following
domains:
- Safety-critical systems
- Cyber-physical systems
- Energy-efficient systems
- Cloud-based systems
- Self-adaptive systems in general

We strongly encourage authors to  address the following topics in  their
 papers
when relevant.
- What a runtime model looks like and how does it evolve?
- How are the causal links with executing code realized?
- The role of [email protected] in the software development process
- Models@runtime, the silver bullet for runtime assurance and V&V?
- Role of requirement at runtime, requirements reflection
- MDE@Runtime: Are MDE tools ready (performance, etc.) for more dynamic
usages?
- How do models at other phases of the SE lifecycle relate to the
corresponding
  runtime models?
- Models@runtime and scalability: horizontally (managing large set of
nodes) and
  vertically (from the cloud to the sensors)
- Models@runtime and software aging: does it help or hurt?
- Small demos and tools that support the use of [email protected]
- Vision papers on novel future directions for models@runtime
- No papers on executable models, unless they are causally (bi-)connected
to a
  running system.

Organizers

- Sebastian G=F6tz (main contact), TU Dresden, Germany
- Mohammed Al-Refai, Colorado State University, USA
- Nelly Bencomo, Aston University, UK
- Robert France, Colorado State University, USA

Programme Committee

- Christoph Bockisch, Uni. Twente, Netherlands
- Walter Cazzola, Uni. Milano, Italy
- Franck Chauvel, SINTEF, Norway
- Peter J. Clark, Florida International University, USA
- Fabio Costa, Federal University of Goias, Brazil
- Antonio Filieri, Universit=E4t Stuttgart, Germany
- Holger Giese, Universit=E4t Potsdam, Germany
- Martin Gogolla, Universit=E4t Bremen, Germany
- Gang Huang, Peking University, China
- Jean-Marc J=E9z=E9quel, Triskell Team,IRISA, France
- Rui Silva Moreira, UFP & INESC, Portugal
- Hausi A. M=FCller, Uni. of Victoria, Canada
- Bernhard Rumpe, RWTH Aachen, Germany
- Matthias Tichy, Uni. Gothenborg, Germany
- Mario Trapp, Fraunhofer IESE, Germany
- Arnor Solberg, SINTEF, Norway
- Hui Song, SINTEF, Norway
- Tha=EDs Vasconcelos Batista, UFRN, Brasil
- Thomas Vogel, Universit=E4t Potsdam, Germany
- Andreas Winter, Universit=E4t Oldenburg, Germany
- Uwe Zdun, Uni. Vienna, Austria

--=20
--
--
Dr.-Ing. Sebastian G=F6tz
Researcher

Technische Universit=E4t Dresden
Fakult=E4t f=FCr Informatik
Institut f=FCr Software- und Multimediatechnik
Lehrstuhl f=FCr Softwaretechnologie
www: http://www.st.inf.tu-dresden.de/
Mail: [email protected]
Kontakt: INF 2082
Tel.: +49 351 463 38346

jExam Group
www: http://www.jexam.de

--e89a8f3ba5b5e4f4b004f9bd1187
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbs=
p; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; CALL FOR PAPERS<=
br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; 9th International Workshop=
 on Models at run.time</div><div>&nbsp; &nbsp;Co-located with ACM/IEEE 17th=
 International Conference on</div><div>
Model Driven Engineering Languages &amp; Systems (MODELS 2014)</div><div>&n=
bsp; &nbsp; &nbsp; &nbsp;September 28th - October 3rd, 2014, Valencia, Spai=
n</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; =
<a href=3D"http://st.inf.tu-dresden.de/MRT2014/">http://st.inf.tu-dresden.d=
e/MRT2014/</a></div>
<div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; =
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;&nbsp;=
</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Important Dates</div><div><=
br></div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Submi=
ssions of papers: July 11th, 2014</div><div>&nbsp; &nbsp; &nbsp; &nbsp; &nb=
sp; &nbsp; &nbsp; &nbsp; Notification: &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; &nbsp; &nbsp;August 22nd, 2014</div>
<div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Workshop date:=
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;t.b.a.</div><div><br></div><div>W=
e are witnessing the emergence of new classes of application &nbsp;that &nb=
sp;are &nbsp;highly</div><div>complex, inevitably distributed, &nbsp; and &=
nbsp;operate &nbsp;in &nbsp;heterogeneous &nbsp;and &nbsp;rapidly</div>
<div>changing environments. Such systems are required &nbsp;to &nbsp;be &nb=
sp;adaptable, &nbsp; flexible,</div><div>reconfigurable and, increasingly, =
&nbsp; self-managing. &nbsp; Such &nbsp;characteristics &nbsp;make</div><di=
v>systems more prone to failure &nbsp;when &nbsp;executing &nbsp;and &nbsp;=
thus &nbsp;the &nbsp;development &nbsp;and</div>
<div>study of &nbsp;appropriate &nbsp;mechanisms &nbsp;for &nbsp;runtime &n=
bsp;validation &nbsp;and &nbsp;monitoring &nbsp;is</div><div>required.</div=
><div><br></div><div>In the model-driven software development &nbsp;area, &=
nbsp; research &nbsp;effort &nbsp;has &nbsp;focused</div><div>
primarily on using models at design, implementation, and &nbsp;deployment &=
nbsp;stages &nbsp;of</div><div>development. However, the use of &nbsp;model=
-driven &nbsp;techniques &nbsp;for &nbsp;validating &nbsp;and</div><div>mon=
itoring run-time behaviour &nbsp;can &nbsp;also &nbsp;yield &nbsp;significa=
nt &nbsp;benefits. &nbsp; A &nbsp;key</div>
<div>benefit &nbsp;is &nbsp;that &nbsp;models &nbsp;provide &nbsp;a &nbsp;r=
icher &nbsp;semantic &nbsp;base &nbsp; &nbsp;for &nbsp; &nbsp;run-time</div=
><div>decision-making. For example, one can &nbsp;use &nbsp;models &nbsp;to=
 &nbsp;help &nbsp;determine &nbsp;when &nbsp;a</div><div>system reconfigura=
tion is beneficial. Model-based monitoring and &nbsp;management &nbsp;of</d=
iv>
<div>executing systems plays a &nbsp;significant &nbsp;role &nbsp;in &nbsp;=
implementing &nbsp;the &nbsp;key &nbsp;self-*</div><div>properties associat=
ed with autonomic computing.</div><div><br></div><div>The &nbsp;goal &nbsp;=
of &nbsp;this &nbsp;workshop &nbsp;is &nbsp;to &nbsp;look &nbsp;at &nbsp;is=
sues &nbsp;related &nbsp;to &nbsp;developing</div>
<div>appropriate model-driven approaches to managing &nbsp;and &nbsp;monito=
ring &nbsp;the &nbsp;execution</div><div>of systems. We &nbsp;build &nbsp;o=
n &nbsp;the &nbsp;previous &nbsp;events &nbsp;where &nbsp;we &nbsp;have &nb=
sp;succeeded &nbsp;in</div><div>building a community and bringing about &nb=
sp;an &nbsp;initial &nbsp;exploration &nbsp;of &nbsp;the &nbsp;core</div>
<div>ideas &nbsp;of &nbsp;Models@Runtime &nbsp;and &nbsp;now &nbsp;seek: &n=
bsp; &nbsp;</div><div>- experiences with actual implementations of the mode=
[email protected] concept</div><div>- rationalisation of the various concepts int=
o overall architectural&nbsp;</div><div>
&nbsp; perspectives</div><div>- to make explicit the specific roles that mo=
dels play at runtime.&nbsp;</div><div>- impact on software engineering meth=
odologies</div><div>- to continue to build a network of researchers in this=
 emerging area, based on&nbsp;</div>
<div>&nbsp; the results of the earlier editions.&nbsp;</div><div><br></div>=
<div>Workshop Format</div><div>&nbsp;&nbsp;</div><div>The workshop particip=
ants will be selected based on their experience &nbsp;and &nbsp;ideas</div>=
<div>related to &nbsp;this &nbsp;new &nbsp;and &nbsp;emerging &nbsp;field. =
&nbsp; You &nbsp;are &nbsp;invited &nbsp;to &nbsp;apply &nbsp;for</div>
<div>attendance by sending a full-paper (8-10 pages) or a position paper (5=
-6 &nbsp;pages)</div><div>in PDF. The paper must conform &nbsp;to &nbsp;the=
 &nbsp;Springer &nbsp;LNCS &nbsp;formatting &nbsp;guidelines:</div><div><a =
href=3D"http://www.springer.com/computer/lncs">http://www.springer.com/comp=
uter/lncs</a> (it is the same format of the &nbsp;Conference,</div>
<div>see conference website for more information). Submissions will &nbsp;b=
e &nbsp;reviewed &nbsp;by</div><div>at least 3 PC members. The authors will=
 &nbsp;be &nbsp;notified &nbsp;about &nbsp;acceptance &nbsp;before</div><di=
v>the MODELS 2014 early registration deadline. &nbsp;Candidates &nbsp;for &=
nbsp;best &nbsp;papers &nbsp;(if</div>
<div>finally &nbsp;chosen) &nbsp;can &nbsp;be &nbsp;just &nbsp;taken &nbsp;=
from &nbsp;the &nbsp;category &nbsp; of &nbsp; &nbsp;full-papers.</div><div=
><br></div><div>A primary deliverable of the workshop is a &nbsp;report &nb=
sp;that &nbsp;clearly &nbsp;outlines &nbsp;(1)</div><div>the research issue=
s and challenges in terms of &nbsp;specific &nbsp;research &nbsp;problems &=
nbsp;in</div>
<div>the area, and (2) a synopsis &nbsp;of &nbsp;existing &nbsp;model-based=
 &nbsp;solutions &nbsp;that &nbsp;target</div><div>some well-defined aspect=
 of monitoring and managing the &nbsp;execution &nbsp;of &nbsp;systems.</di=
v><div>Potential attendees are strongly &nbsp;encouraged &nbsp;to &nbsp;sub=
mit &nbsp;position &nbsp;papers &nbsp;that</div>
<div>clearly identify &nbsp;research &nbsp;issues &nbsp;and &nbsp;challenge=
s, &nbsp; present &nbsp;techniques &nbsp;that</div><div>address well-define=
d problems in the area, and are &nbsp;supported &nbsp;by &nbsp;small &nbsp;=
demos.</div><div><br></div><div>The workshop aims to:</div>
<div><br></div><div>- Integrate &nbsp;and &nbsp;combine &nbsp;research &nbs=
p;ideas &nbsp;from &nbsp; the &nbsp; &nbsp;areas &nbsp; &nbsp;cited &nbsp;a=
bove.</div><div>- Provide a &ldquo;state-of-the-research&rdquo; assessment =
expressed in &nbsp;terms &nbsp;of &nbsp;research</div><div>issues, challeng=
es, and accomplishments. A preliminary version of &nbsp;the &nbsp;intended<=
/div>
<div>outcome can be found in the summary of &nbsp;last &nbsp;year&#39;s &nb=
sp;models@run. time &nbsp;workshop</div><div>(see homepage).&nbsp;</div><di=
v>- Plan and promote further events on these topics.</div><div><br></div><d=
iv><br></div><div>Papers on [email protected] &nbsp;can &nbsp;relate (but are=
 not limited) &nbsp;to &nbsp;the &nbsp;following&nbsp;</div>
<div>domains:</div><div>-<span class=3D"" style=3D"white-space:pre">	</span=
>Safety-critical systems</div><div>-<span class=3D"" style=3D"white-space:p=
re">	</span>Cyber-physical systems</div><div>-<span class=3D"" style=3D"whi=
te-space:pre">	</span>Energy-efficient systems</div>
<div>-<span class=3D"" style=3D"white-space:pre">	</span>Cloud-based system=
s</div><div>-<span class=3D"" style=3D"white-space:pre">	</span>Self-adapti=
ve systems in general</div><div><br></div><div>We strongly encourage author=
s to &nbsp;address the following topics in &nbsp;their &nbsp;papers&nbsp;</=
div>
<div>when relevant.&nbsp;</div><div>-<span class=3D"" style=3D"white-space:=
pre">	</span>What a runtime model looks like and how does it evolve?&nbsp;<=
/div><div>-<span class=3D"" style=3D"white-space:pre">	</span>How are the c=
ausal links with executing code realized?&nbsp;</div>
<div>-<span class=3D"" style=3D"white-space:pre">	</span>The role of models=
@run.time in the software development process&nbsp;</div><div>-<span class=
=3D"" style=3D"white-space:pre">	</span>Models@runtime, the silver bullet f=
or runtime assurance and V&amp;V?&nbsp;</div>
<div>-<span class=3D"" style=3D"white-space:pre">	</span>Role of requiremen=
t at runtime, requirements reflection&nbsp;</div><div>-<span class=3D"" sty=
le=3D"white-space:pre">	</span>MDE@Runtime: Are MDE tools ready (performanc=
e, etc.) for more dynamic usages?</div>
<div>-<span class=3D"" style=3D"white-space:pre">	</span>How do models at o=
ther phases of the SE lifecycle relate to the corresponding&nbsp;</div><div=
>&nbsp; runtime models?</div><div>-<span class=3D"" style=3D"white-space:pr=
e">	</span>Models@runtime and scalability: horizontally (managing large set=
 of nodes) and</div>
<div>&nbsp; vertically (from the cloud to the sensors)</div><div>-<span cla=
ss=3D"" style=3D"white-space:pre">	</span>Models@runtime and software aging=
: does it help or hurt?</div><div>-<span class=3D"" style=3D"white-space:pr=
e">	</span>Small demos and tools that support the use of [email protected]&nb=
sp;</div>
<div>-<span class=3D"" style=3D"white-space:pre">	</span>Vision papers on n=
ovel future directions for models@runtime&nbsp;</div><div>-<span class=3D""=
 style=3D"white-space:pre">	</span>No papers on executable models, unless t=
hey are causally (bi-)connected to a&nbsp;</div>
<div>&nbsp; running system.</div><div><br></div><div>Organizers &nbsp;</div=
><div><br></div><div>- Sebastian G=F6tz (main contact), TU Dresden, Germany=
&nbsp;</div><div>- Mohammed Al-Refai, Colorado State University, USA</div><=
div>- Nelly Bencomo, Aston University, UK</div>
<div>- Robert France, Colorado State University, USA</div><div><br></div><d=
iv>Programme Committee &nbsp;</div><div><br></div><div>- Christoph Bockisch=
, Uni. Twente, Netherlands</div><div>- Walter Cazzola, Uni. Milano, Italy</=
div>
<div>- Franck Chauvel, SINTEF, Norway</div><div>- Peter J. Clark, Florida I=
nternational University, USA</div><div>- Fabio Costa, Federal University of=
 Goias, Brazil&nbsp;</div><div>- Antonio Filieri, Universit=E4t Stuttgart, =
Germany</div>
<div>- Holger Giese, Universit=E4t Potsdam, Germany</div><div>- Martin Gogo=
lla, Universit=E4t Bremen, Germany</div><div>- Gang Huang, Peking Universit=
y, China</div><div>- Jean-Marc J=E9z=E9quel, Triskell Team,IRISA, France&nb=
sp;</div>
<div>- Rui Silva Moreira, UFP &amp; INESC, Portugal&nbsp;</div><div>- Hausi=
 A. M=FCller, Uni. of Victoria, Canada</div><div>- Bernhard Rumpe, RWTH Aac=
hen, Germany</div><div>- Matthias Tichy, Uni. Gothenborg, Germany</div><div=
>- Mario Trapp, Fraunhofer IESE, Germany</div>
<div>- Arnor Solberg, SINTEF, Norway</div><div>- Hui Song, SINTEF, Norway</=
div><div>- Tha=EDs Vasconcelos Batista, UFRN, Brasil</div><div>- Thomas Vog=
el, Universit=E4t Potsdam, Germany</div><div>- Andreas Winter, Universit=E4=
t Oldenburg, Germany</div>
<div>- Uwe Zdun, Uni. Vienna, Austria</div><div><br></div>-- <br><div dir=
=3D"ltr">--<br>--<br>Dr.-Ing. Sebastian G=F6tz<br>Researcher<br><br>Technis=
che Universit=E4t Dresden<br>Fakult=E4t f=FCr Informatik<br>Institut f=FCr =
Software- und Multimediatechnik<br>
Lehrstuhl f=FCr Softwaretechnologie<br>www: <a href=3D"http://www.st.inf.tu=
-dresden.de/" target=3D"_blank">http://www.st.inf.tu-dresden.de/</a><br>Mai=
l: <a href=3D"mailto:[email protected]" target=3D"_blank">sebastian.g=
[email protected]</a><br>
Kontakt: INF 2082<br>Tel.: +49 351 463 38346<br><br>jExam Group<br>www: <a =
href=3D"http://www.jexam.de" target=3D"_blank">http://www.jexam.de</a></div=
>
</div>

--e89a8f3ba5b5e4f4b004f9bd1187--


--===============0338187200825301817==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

__________________________________________________
Announce mailing list    -    [email protected]

To unsubscribe and change options, go to:
http://aosd.net/mailman/listinfo/announce_aosd.net

Check out the AOSD.net Wiki: http://aosd.net/wiki
--===============0338187200825301817==--