CfP: WS-MaTe 2007 (Web Services - Modeling and Testing)

--------------------------------------------------------------
                         Call for Papers

                  2nd International Workshop on
       Web Services - Modelling and Testing (WS-MaTe 2007)
                June 26, 2007 -  Tallinn, Estonia
                www.selab.isti.cnr.it/ws-mate2007

            -Satellite workshop of TestCom/Fates 2007-
                  http://testcom-fates07.ioc.ee/
--------------------------------------------------------------

Scope and Objectives
--------------------
Web Services (WS) technology is the promising candidate to
implement Service Oriented Architectures (SOA), and to achieve
present-day Enterprise Application Integration over the
Internet. To make this happen an elementary prerequisite is
the establishment of widely accepted standards, together with
suited modeling, validation, verification, and testing
techniques. At present just the fundamental protocols and
entities which are mandatory for enabling a basic
service-oriented infrastructure are standardized.
To support more complex scenarios, like service coordination
and composition, several proposals for continuative approaches
are emerging and discussed. A primal requirement for having
such a proposal widely accepted by both industry and academia
is the availability of suited modeling techniques. Such models
should not only serve as an analysis and documentation means,
but also allow for (aspects of) model-based design and quality
control, like code generation, verification, validation and
testing.
WS-MaTe serves as a platform for researchers and developers
both from academia and industry to present and discuss their
ideas, results, approaches and tools in the area of
model-based development, verification and testing of WS
applications.

Topics of Interest
------------------
The specific topics covered by the workshop include, but are
not limited to, the following:
      * Modeling techniques for WS
      * Testing methodologies for WS
      * Adapting established testing theories from different
        domains to WS
      * Monitoring and simulation methodologies for WS
      * Non-functional testing and monitoring Quality of Service
        (QoS) of WS
      * Modeling, testing, and monitoring service composition
        and coordination
      * Formal models and techniques for describing and
        reasoning about WS
      * Using the UML to model WS
      * General frameworks for WS evaluation
      * Management of/via WS
      * Modeling, testing, and monitoring challenges when WS
        bind dynamically to the environment
      * Modeling, testing, and monitoring challenges when WS
         adapt dynamically to the environment
      * Tools for WS modeling and quality assessment
      * Extended service discovery to support advanced aspects
        of quality assessment
      * Middleware support for testing and monitoring WS

Submissions
-----------
Submitted papers must be written in English, must be original,
and should not exceed 12 pages in LNCS format (see
http://www.springer.de/comp/lncs/authors.html), including
figures and bibliography.
All submitted papers will be reviewed by three members of the
program committee. Accepted papers will be published in the
WS-MaTe workshop proceedings, given that at least one author
will present the paper at the workshop. We are in negotiation
with Springer to publish post-proceeding as an LNCS volume.
For any enquiry contact the organization at:
ws-mate_admin@isti.cnr.it
In cooperation with the PLASTIC EU project:
http://www.ist-plastic.org

Important Dates
---------------
Deadline for submission:           March 26, 2007
Notification of acceptance:        May 7, 2007
Camera-ready paper due:            May 25, 2007
Workshop day:                      June 26, 2007

Program chairs
--------------
Antonia Bertolino (ISTI-CNR, Italy)
Lars Frantzen (Radboud University Nijmegen, The Netherlands)
Andrea Polini (ISTI-CNR, Italy)

Program Committee Members
-------------------------
Flavio Corradini (University of Camerino, Italy)
Giovanni Denaro (University of Milano Bicocca, Italy)
Ren=E9 de Vries (Radboud University Nijmegen, The Netherlands)
Elisabetta Di Nitto (Politecnico di Milano, Italy)
Massimiliano Di Penta (University of Sannio, Italy)
Sebastian Elbaum (University of Nebraska, USA)
Wolfgang Emmerich (University College London, United Kingdom)
Reiko Heckel (University of Leicester, United Kingdom)
Hans-Ulrich Heiss (Technische Universitaet Berlin, Germany)
Paola Inverardi (University of L'Aquila, Italy)
Valerie Issarny (INRIA, France)
Eda Marchetti (ISTI/CNR, Italy)
Mercedes G. Merayo (Universidad Complutense de Madrid, Spain)
Raffaela Mirandola (Politecnico di Milano, Italy)
Manuel Nunez (Universidad Complutense de Madrid, Spain)
Johann Oberleitner (Technical University of Vienna, Austria)
Ioannis Parissis (Universit=E9 Joseph Fourier, France)
Stefan Tai (IBM Research, USA)
Nikolai Tillmann (Microsoft Research, USA)
Tim Willemse (Eindhoven University of Technology, The Netherlands)
Mario Winter (Cologne University of Applied Sciences, Germany)
Alex Wolf (Imperial College London, United Kingdom)
Uwe Wolter (University of Bergen, Norway)
Fatiha Zaidi (University of Paris Sud, France)
Andrea Zisman (City University London, United Kingdom)

Received on Tuesday, 6 February 2007 08:08:53 UTC