<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=iso-8859-1"><meta name=Generator content="Microsoft Word 12 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Helvetica;
panose-1:2 11 6 4 2 2 2 2 2 4;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.E-MailFormatvorlage17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link=blue vlink=purple><div class=WordSection1><p class=MsoNormal> MoDeVVa 2011<o:p></o:p></p><p class=MsoNormal> Co-located with MODELS 2011<o:p></o:p></p><p class=MsoNormal> http://www.model-based-testing.de/modevva11/<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> 8th Workshop on Model Design, Verification and Validation<o:p></o:p></p><p class=MsoNormal> ** Integrating Verification and Validation in MDE **<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> Wellington, New Zealand<o:p></o:p></p><p class=MsoNormal> October 17th 2011<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>*** Call for Papers ***<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Models are purposeful abstractions of any artifact at an arbitrary abstraction level. They can serve several purposes and bear several advantages. For instance, they allow humans to understand complex systems, to validate requirements expressed as a formal model, or to generate big parts of system implementations or tests. Obviously, this can results in reduced system engineering effort. As a consequence, the usage of models, model transformations, and code generation is becoming more and more important for industrial applications. Model-Driven Engineering (MDE) is a development methodology that is based on models, meta-models, and model transformations - it is one of the most important representatives for the application of models. Currently there is growing tool support for models, (domain-specific) graphical or textual modeling languages, model transformations, and code generation. The constant pace at which scientific and industrial development of MDE-related techniques moves forward shows that MDE is still quickly changing and that new approaches and corresponding issues arise frequently. Most important, there is crucial need for validation and verification (V&V) techniques in the context of MDE. The other way round, MDE is used to support many V&V activities like, e.g., model-based testing. <o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>*** Topics of MoDeVVa ***<o:p></o:p></p><p class=MsoNormal>The workshop on model-driven engineering, verification, and validation (MoDeVVa) in 2011 has the objective to offer a forum for researchers and practitioners who are working on V&V and MDE. The main goals of the workshop are to identify, discuss, and elaborate mutual impacts of MDE and V&V.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The major questions about MDE and V&V concern possible overlappings and mutual benefits for both techniques: How can MDE improve V&V and how can V&V leverage the techniques around MDE? Does a model, meta-model, or model transformation express what the user wanted to express? Are these artifacts correct with respect to security, time, and other constraints? How to model such non-functional aspects? How can product-related artifacts like product lines be modeled and tested? How can models or modeling languages (meta-models) support V&V, e.g. in model-based testing? What modeling languages or model transformations did perform best in real life applications (experience report)? Can V&V support the whole software engineering process from initial (informal) requirements via several model transformations to source code?<o:p></o:p></p><p class=MsoNormal>In order to discuss these and further similar questions, we would like to invite submissions related to the following topics:<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal> . V&V techniques for MDE activities, e.g. V&V of (meta-)modeling, model transformations, code generation, visualization, etc.<o:p></o:p></p><p class=MsoNormal> . V&V at the level of the (meta-)model: techniques for validating a (meta-) model or generating test cases for (meta-)models, including simulation, modelchecking, model-based testing, etc.<o:p></o:p></p><p class=MsoNormal> . Impact analysis of model changes on V&V, i.e.: What is the result of a change in a (meta-)model on the previous results of V&V?<o:p></o:p></p><p class=MsoNormal> . V&V techniques supporting refinement, abstraction, transformation, and structuring<o:p></o:p></p><p class=MsoNormal> . Case studies and experience<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>As a final note, model transformations are increasingly becoming a central tool in MDE, despite the fact that the study of their properties is just beginning as we realized during MoDeVVa 2009 and 2010. As in MoDeVVa 2010, in this edition we particularly encourage submissions on model transformations and associated validation and verification techniques. <o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>** Submissions and Publication **<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Submitted papers can be either short (4 pages) or long papers (8 pages) in the ACM format. Short papers are aimed at discussing innovative ideas while long papers are aimed at presenting more mature and evaluated research. As in previous years, accepted workshop papers will in principle be published in the ACM or IEEE Digital Libraries. <o:p></o:p></p><p class=MsoNormal>Selected papers will most likely be published in a Workshop Reader as part of the LNCS series (Springer Verlag) for the MODELS conference.<o:p></o:p></p><p class=MsoNormal>Papers can be submitted via EasyChair: https://www.easychair.org/conferences/?conf=modevva11<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>** Workshop Format **<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>MoDeVVa 2011 will include paper presentations and discussions. We anticipate an enjoyable and exciting event where all participants will leave with answers or well-founded doubts ;) on MDE and V&V.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>** Important Dates **<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Submission: July 18, 2011<o:p></o:p></p><p class=MsoNormal>Notification to authors: August 29, 2011<o:p></o:p></p><p class=MsoNormal>Final version: October 3, 2011<o:p></o:p></p><p class=MsoNormal>Workshop: October 17, 2011<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>** Program Committee ** (TBC)<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Paul Ammann (George Mason University, USA)<o:p></o:p></p><p class=MsoNormal>Bruno Barroca (Universidade Nova de Lisboa, Portugal)<o:p></o:p></p><p class=MsoNormal>Benoit Baudry (IRISA, France)<o:p></o:p></p><p class=MsoNormal>Ruth Breu (Innsbruck University, Austria)<o:p></o:p></p><p class=MsoNormal>Harald Cichos (Technische Universität Darmstadt, Germany)<o:p></o:p></p><p class=MsoNormal>John Derrick (University of Sheffeld, United Kingdom)<o:p></o:p></p><p class=MsoNormal>Franck Fleurey (Sintef, Norway)<o:p></o:p></p><p class=MsoNormal>Frédéric Fondement (Université de Haute Alsace, France)<o:p></o:p></p><p class=MsoNormal>Mark Harman (King's College London, United Kingdom)<o:p></o:p></p><p class=MsoNormal>Antti Huima (Conformiq, USA)<o:p></o:p></p><p class=MsoNormal>Bruno Legeard (Smartesting, France)<o:p></o:p></p><p class=MsoNormal>Levi Lúcio (Université du Luxembourg, Luxembourg)<o:p></o:p></p><p class=MsoNormal>Mercedes Merayo (Universidad Complutense de Madrid, Spain)<o:p></o:p></p><p class=MsoNormal>Alexander Pretschner (Fraunhofer IESE / TU Kaiserslautern, Germany)<o:p></o:p></p><p class=MsoNormal>Ina Schieferdecker (Fraunhofer FOKUS / TU Berlin, Germany)<o:p></o:p></p><p class=MsoNormal>Holger Schlingloff (Fraunhofer FIRST / HU Berlin, Germany)<o:p></o:p></p><p class=MsoNormal>Dehla Sokenou (GEBIT Solutions, Germany)<o:p></o:p></p><p class=MsoNormal>Yves Le Traon (University of Luxembourg, Luxembourg)<o:p></o:p></p><p class=MsoNormal>Hans Vangheluwe (McGill University / University of Antwerp)<o:p></o:p></p><p class=MsoNormal>Stephan Weißleder (Fraunhofer FIRST, Germany)<o:p></o:p></p><p class=MsoNormal>Manuel Wimmer (TU Wien, Austria)<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>** Organization Committee **<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Harald Cichos (Technische Universität Darmstadt, Germany)<o:p></o:p></p><p class=MsoNormal>Frédéric Fondement (Université de Haute Alsace, France)<o:p></o:p></p><p class=MsoNormal>Levi Lúcio (Université du Luxembourg, Luxembourg)<o:p></o:p></p><p class=MsoNormal>Stephan Weißleder (Fraunhofer FIRST, Germany)<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><span style='font-size:9.0pt;font-family:"Helvetica","sans-serif"'>--<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:9.0pt;font-family:"Helvetica","sans-serif"'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:9.0pt;font-family:"Helvetica","sans-serif"'>Dr. Stephan Weißleder<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:9.0pt;font-family:"Helvetica","sans-serif"'>Forschungsleiter Test / Research Manager Testing<br>Eingebettete Systeme / Embedded Systems (EST)<br>Tel.: +49 30 6392 - 1876<br>Fax.: +49 30 6392 - 1805<br><a href="stephan.weissleder@first.fraunhofer.de"><span style='color:blue'>stephan.weissleder@first.fraunhofer.de</span></a><br><br>Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik, FIRST<br>Kekuléstrasse 7<br>12489 Berlin<br>Germany<br><a href="http://www.first.fraunhofer.de"><span style='color:blue'>http://www.first.fraunhofer.de</span></a></span><o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p></div></body></html>