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

======================================================================
                            Call for Papers

     International Workshop on Web Services - Modeling and Testing

                             (WS-MaTe '06)

                     June 9, 2006 - Palermo, Italy

                     www.selab.isti.cnr.it/ws-mate

======================================================================


THEMES AND GOALS
----------------
Web Services are today the default choice for solving the various
issues related to the organisation and implementation of software
distribution. Technical solutions are becoming numerous and in the
next future we can figure out that the further adoption of common
agreed specifications will raise even more the interest from academia
and industries. However, while many current systems are concerned with
the migration towards the WS technology, well defined methodologies
for modelling service-oriented applications, and the impact of this
paradigm for what concerns analysis capability, remain still largely
unclear.

Modelling WS based systems seems particularly challenging considering
that most of the web services that will constitute the final system
are implemented and hosted by different stakeholders and also evolve
independently. The current methodology of specifying WSs is generally
recognised as poor and various proposals to augment the descriptions
of single and choreographed services are on their way. In this process
we claim that considerations concerning testability and the capability
to base them on an "increased information model" should have a
first-class role. Therefore, the development of reliable WS-oriented
systems will require suitable mechanisms, tools, and techniques, also
based on appropriate ways of describing the services that may not yet
have been taken into account, even by those consortia and standards
bodies who are already paving the way to identify common notations for
WS specification.

Another interesting aspect of WS technologies is the emergence of a
standardisation effort within different application community to
guarantee correct interactions. Such effort generally aims at
precisely describing the interface and the expected behaviour of a
service.  The definition of standard services requires the
establishment of an agreed process/procedure for modelling and
documenting WS-based systems. In fact such information become of vital
importance for WS developers that want to implement their version of
the standards, and to certification agencies that will assess the
conformance to such standards with several methods, the most relevant
certainly being testing.


TOPICS
------
This workshop is organised within the framework of the TELCERT project
(www.opengroup.org/telcert). It aims at putting together researchers
and practitioners to discuss the different issues related with
modeling and testing of Web Services. Particularly interesting will be
examples of processes followed in the implementation of real service
based systems. Some more precise topics of interest for the workshop,
but not intended as exclusive, are:

* WS specification 
* WS composition modelling 
* Verification and Validation of WS
* WS Design 
* Testing WS Coordination and Composition 
* General Frameworks for WS testing 
* Test methodologies and techniques, in particular for: 
  - Audition Based Testing (or off-line verification activities) 
  - Run-time testing and monitoring (or on-line verification
    activities)
* Formal models for describing and reasoning about WSs 
* WS deployment description
* Standardisation of WS description 

Submissions visiting issues related to standard and application of WSs
in specific domains are also welcome.


SUBMISSION
----------
Researchers and practitioners are invited to submit original papers
that have not been published, or are not under consideration for
publication, elsewhere. Submitted papers must be written in English
and should not exceed 15 pages. Accepted papers will be published
published in electronic format,4.68cm negotiations with Elsevier for a
devoted issue of Electronic Notes on Theoretical Computer Science
(ENTCS) are underway. For author information see:
http://www.elsevier.com/locate/entcs

All submitted papers will be judged based on their quality, relevance,
originality, significance, and soundness by at least three member of
the Program Committee. See the event website for major details. For
any enquiry contact the organisation at: ws-mate_admin@isti.cnr.it


IMPORTANT DATES
---------------
Deadline for submission: March 12th, 2006
Notification of acceptance: April 9th, 2006
Camera-ready paper due: April 29th, 2006
Workshop day: June 9th, 2006


ORGANIZATION
------------
Organizing chair: 
Antonia Bertolino (ISTI-CNR, Italy)

Program chair: 
Andrea Polini (ISTI-CNR, Italy)

Program Committee Members:
Ana Cavalli (INT, France)
Giuseppe Chiazzese (ITD/CNR, Italy)
Giovanni Denaro (University of Milano-Bicocca, Italy)
Elisabetta Di Nitto (Politecnico di Milano, Italy)
Wolfgang Emmerich (University College London, UK)
Istvan Forgacs (4DSoft, Hungary)
Lars Frantzen (Radboud University Nijmegen, Netherlands)
Andreas Holzinger (University of Graz, Austria)
Paola Inverardi (University of L'Aquila. Italy) 
Valerie Issarny (INRIA, France)
Mehdi Jazayeri (University of Lugano, Switzerland)
Eda Marchetti (ISTI-CNR, Italy)
Raffaela Mirandola (Politecnico di Milano, Italy)
Johann Oberleitner (Technical University of Vienna, Austria)
Dumitru Roman (DERI, Austria)
David Rosenblum (University College London, UK)
Colin Smythe (e-Loki and IMS, UK)
Jan Tretmans (Radboud University Nijmegen, Netherlands)
Gottfried Vossen (University of Munster, Germany)
Alex Wolf (University of Lugano, Switzerland)
Fatiha Zaidi (University of Paris Sud, France)
Andrea Zisman (City University, UK)

Received on Tuesday, 24 January 2006 10:36:39 UTC