********************************************************************************

Interface Verification and Validation for Components and Services (CSIVV 2011)


Busan, Korea, 26-28 May 2011

http://selab.iyte.edu.tr/workshops/csivv2011


In conjunction with ICASE 2011
(http://www.ftrai.org/icase2011)
********************************************************************************


====================
Introduction
====================

As web services become a promising technology for the effective automation of inter-organizational interactions,

service-oriented architectures are emerging to facilitate intelligent, adaptive and automated integration of services.

Similarly, architectures and/or frameworks providing (generic) components and multimodal interfaces appear more

and more as software artifacts. One of the several issuses to be addresses for the trustworthiness of these

software entities is reliable, safe and secure integration, which can be achieved through verification and validation

(V&V) in addition to other reliable and secure software development approaches.
Verification and validation methodologies have the potential to increase user confidence in software artifacts.

Therefore, theoretical foundations for quality assurance should be investigated to discover new methods that will

bring high certainty to the trustworthiness of software entities. Verification and validation methods deliver important

analytical techniques for quality assurance of component and service interfaces.


=========================
Topics of Interest
=========================
The topics of interest include, but are not limited to:

· Formal methods and theories in interface V&V
· V&V of component and service interface specifications and models (or Model-based V&V of component and service

interfaces)
· V&V of multimodal interfaces
· Formal models for interface testing
· Test generation based on formal and semi-formal models of component and service interfaces
· Test coverage metrics and criteria for interface testing
· Tools for interface V&V
· Experience reports from testing of component and service interfaces in practice
· V&V of adaptative services and interfaces
· Handling QOS properties in services and interfaces design


Expected number of papers to be submitted: Between 6 and 8.

Desired length of the workshop: A half-day workshop held before the main conference.


====================
Important Dates
====================
Submission Deadline : January 3
Acceptance Notification : February 1
Camera-Ready : February 15
Conference : May 26-28


======================================================
Workshop Proceedings, Paper Presentation (tentative)
======================================================

Accepted submissions will be published by IEEE Press and available in the IEEE digital library. For this, one of the

authors needs to register and present the accepted submission. During the workshop, each paper will have a slot of

30 minutes, with 20-25 minutes presentation.


=====================
Organizers
=====================
Prof. Dr. Yamine Ait Ameur (yamine@ensma.fr)
Ecole Nationale Superieure de Mecanique et d’Aerotechnique, France

Asst. Prof. Dr. Tugkan Tuglular (tugkantuglular@iyte.edu.tr)
Izmir Institute of Technology, Turkey


================================
Program Committee (preliminary)
================================

Fevzi BELLI, University Paderborn, Germany
Djamal BENSLIMANE, LIRIS, University of Lyon, France
Christof J. BUDNIK, Siemens Corporate Research, Princeton, USA
Stephane JEAN, LISI, ENSMA-University of Poitiers, France
Ahmet KOLTUKSUZ, Yasar University, Turkey
Bruno LEGEARD, LEIRIOS Technologies
Eric WONG, UT Dallas, USA
Franz WOTAWA, Saarbrucken University, Germany
Hasan URAL, University of Ottawa, Canada
Husnu YENIGUN, Sabanci Univ., Turkey