[om-a] WS-FM 2005 Call For Papers

[Mario Bravetti]

======================================================================
                     2nd International Workshop on
                    Web Services and Formal Methods
                             (WS-FM 2005)

                1-3 September 2005, Versailles, France

                      http://cs.unibo.it/WS-FM05

                        Co-located with EPEW'05
             2nd European Performance Evaluation Workshop 

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

SCOPE

 Web Services technology aims at providing standard mechanisms for
 describing the interface and the services available on the web, as well
 as protocols for locating such services and invoking them (e.g. WSDL,
 UDDI, SOAP). Innovations are moving towards two main directions:
 The first one tends to the definition of new standards
 that support the specification of complex services out of
 simpler ones (the so called Web Service orchestration and choreography).
 Several proposals have been already set up: BPML, XLANG and
 BizTalk, WSFL, WS-BPEL, WS-CDL, etc...
 The second approach consists of the design of new (meta-)Web Services to
 be exploited at run-time by other Web Services: e.g. managing
 the cooperation of Web Services or acting as dynamic registry services.

 Formal methods, which privide formal machinery for representing and
 analysing the behavior of communicating concurrent/distributed systems,
 may potentially play a fundamental role in the development of such
 innovations. First of all they may help in understanding the basic
 mechanisms (in terms of semantics) which characterize different
 orchestration and choreography languages and to focus on the essence 
 of new features that are needed. Secondly they may provide a formal 
 basis for reasoning about Web Service semantics (behaviour and 
 equivalence): e.g. for realizing registry services where retrieval 
 is based on the meaning of a service and not just a Web Service name. 
 Thirdly also studies on formal coordination paradigms can be exploited 
 for developing mechanisms for complex run-time Web Service coordination. 
 Finally, given the importance of critical application areas for 
 Web Services like E-commerce, the development of the Web Service 
 technology can certainly take advantage from formal analisys of 
 security properties and performance in concurrency theory.

 The aim of the workshop is to bring together researchers working
 on Web Services and Formal Methods in order to activate a fruitful
 collaboration in this direction of research. This, potentially, could
 also have a great impact on the current standardization phase of Web
 Service technologies.

LIST OF TOPICS

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

   - Protocols and standards for WS (SOAP, WSDL, UDDI, etc... )
   - Languages and descripion methodologies for
     Coreography/Orchestration/Workflow
     (BPML, XLANG and BizTalk, WSFL, WS-BPEL, WS-CDL, YAWL, etc... )
   - Coordination techniques for WS
     (transactions, agreement, coordination services, etc...)
   - Semantics-based dynamic WS discovery services
     (based on Semantic Web/Ontology techniques or other semantic theories)
   - Security, Performance Evaluation and Quality of Service of WS
   - Semi-structured data and XML related technologies
   - Comparisons with different related technologies/approaches

SUBMISSIONS

 Submissions must be original and should not have been published 
 previously or be under consideration for publication while being 
 evaluated for this workshop.

 Papers are to be prepared in LNCS format and must not exceed 
 15 pages. Accepted original papers will be published in the 
 workshop proceedings; pending approval from Springer to publish
 them as Lecture Notes in Computer Science (LNCS).

 As done for the previous WS-FM'04 workshop, we intend to publish a
 journal special issue inviting full versions of papers selected among
 those presented at the workshop.

IMPORTANT DATES

 April 22, 2005: Submission deadline
 June 6, 2005: Notification of acceptance
 June 20, 2005: Camera ready
 September 1-3, 2005: Workshop dates

PROGRAM CO-CHAIRS

 Mario Bravetti and Gianluigi Zavattaro

PROGRAM COMMITTEE (provisional):

 Boualem Benatallah   	University of New South Wales, Australia 
 Karthik Bhargavan  	Microsoft research Cambridge, UK 
 Roberto Bruni   	University of Pisa, Italy 
 Michael Butler   	University of Southampton, UK
 Fabio Casati  		HP Labs, USA 
 Rocco De Nicola   	University of Florence, Italy 
 Schahram Dustdar   	Wien University of Technology, Austria
 Gianluigi Ferrari   	University of Pisa, Italy 
 Jose Luiz Fiadeiro   	University of Leicester, UK
 Stefania Gnesi         CNR Pisa, Italy 
 Reiko Heckel   	University of Leicester, UK 
 Nickolas Kavantzas   	Oracle Co. US  
 Leila Kloul  		Université de Versailles, France  
 Natalia López  	University Complutense of Madrid, Spain  
 Fabio Martinelli   	CNR Pisa, Italy  
 Shin Nakajima   	Hosei University and PRESTO, JST, Japan  
 Manuel Nunez   	University Complutense of Madrid, Spain  
 Fernando Pelayo  	University of Castilla-La Mancha, Albacete, Spain 
 Marco Pistore  	University of Trento, Italy 
 Wolfgang Reisig   	Humboldt University, Berlin, Germany
 Frank Van Breugel   	York University, Toronto, Canada
 Friedrich Vogt  	Technical University of Hamburg-Harburg, Germany
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems