<p>********************************************************************************<br> <br> Interface Verification and Validation for Components and Services (CSIVV 2011)</p>
<p><br> Busan, Korea, 26-28 May 2011</p>
<p> <a href="http://selab.iyte.edu.tr/workshops/csivv2011">http://selab.iyte.edu.tr/workshops/csivv2011</a></p>
<p><br> In conjunction with ICASE 2011<br> (<a href="http://www.ftrai.org/icase2011">http://www.ftrai.org/icase2011</a>)<br>********************************************************************************</p>
<p><br>====================<br> Introduction<br>====================</p>
<p>As web services become a promising technology for the effective automation of inter-organizational interactions, </p>
<p>service-oriented architectures are emerging to facilitate intelligent, adaptive and automated integration of services. </p>
<p>Similarly, architectures and/or frameworks providing (generic) components and multimodal interfaces appear more </p>
<p>and more as software artifacts. One of the several issuses to be addresses for the trustworthiness of these </p>
<p>software entities is reliable, safe and secure integration, which can be achieved through verification and validation </p>
<p>(V&V) in addition to other reliable and secure software development approaches. <br>Verification and validation methodologies have the potential to increase user confidence in software artifacts. </p>
<p>Therefore, theoretical foundations for quality assurance should be investigated to discover new methods that will </p>
<p>bring high certainty to the trustworthiness of software entities. Verification and validation methods deliver important </p>
<p>analytical techniques for quality assurance of component and service interfaces. </p>
<p><br>====================<br> Topics of Interest<br>====================<br>The topics of interest include, but are not limited to:</p>
<p>· Formal methods and theories in interface V&V <br>· V&V of component and service interface specifications and models (or Model-based V&V of component and service </p>
<p>interfaces) <br>· V&V of multimodal interfaces <br>· Formal models for interface testing <br>· Test generation based on formal and semi-formal models of component and service interfaces <br>· Test coverage metrics and criteria for interface testing <br>
· Tools for interface V&V <br>· Experience reports from testing of component and service interfaces in practice <br>· V&V of adaptative services and interfaces <br>· Handling QOS properties in services and interfaces design <br>
</p>
<p>Expected number of papers to be submitted: Between 6 and 8.</p>
<p>Desired length of the workshop: A half-day workshop held before the main conference.</p>
<p><br>====================<br> Important Dates<br>====================<br>Submission Deadline : January 3<br>Acceptance Notification : February 1 <br>Camera-Ready : February 15 <br>Conference : May 26-28 </p>
<p><br>=========================================<br>Workshop Proceedings, Paper Presentation (tentative)<br>=========================================</p>
<p>Accepted submissions will be published by IEEE Press and available in the IEEE digital library. For this, one of the </p>
<p>authors needs to register and present the accepted submission. During the workshop, each paper will have a slot of </p>
<p>30 minutes, with 20-25 minutes presentation.</p>
<p><br>=====================<br> Organizers<br>=====================<br>Prof. Dr. Yamine Ait Ameur (<a href="mailto:yamine@ensma.fr">yamine@ensma.fr</a>)<br>Ecole Nationale Superieure de Mecanique et d’Aerotechnique, France</p>
<p>Asst. Prof. Dr. Tugkan Tuglular (<a href="mailto:tugkantuglular@iyte.edu.tr">tugkantuglular@iyte.edu.tr</a>)<br>Izmir Institute of Technology, Turkey</p>
<p><br>==========================<br>Program Committee (preliminary)<br>==========================</p>
<p>Fevzi BELLI, University Paderborn, Germany<br>Djamal BENSLIMANE, LIRIS, University of Lyon, France<br>Christof J. BUDNIK, Siemens Corporate Research, Princeton, USA<br>Stephane JEAN, LISI, ENSMA-University of Poitiers, France<br>
Ahmet KOLTUKSUZ, Yasar University, Turkey<br>Bruno LEGEARD, LEIRIOS Technologies<br>Eric WONG, UT Dallas, USA<br>Franz WOTAWA, Saarbrucken University, Germany<br>Hasan URAL, University of Ottawa, Canada<br>Husnu YENIGUN, Sabanci Univ., Turkey</p>