WS-FM 2005 Call For Papers

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

WS-FM 2005 2nd Call For Papers (submission deadline extended to may 6)

[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. It is planned to publish the proceedings 
 in the Springer Lecture Notes in Computer Science (LNCS) 
 series ( www.springeronline.com/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

 May 6, 2005: Submission deadline (EXTENDED)
 June 10, 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:

 Marco Aiello  		University of Trento, Italy 
 Jean-Pierre Banatre 	University of Rennes1 and INRIA, France 
 Boualem Benatallah  	University of New South Wales, Australia 
 Karthik Bhargavan 	Microsoft research Cambridge, UK 
 Manfred Broy 		Technische Universitat Munchen, Germany 
 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 
 Peter Furniss  	Choreology Ltd, UK 
 Stephanie Gnesi 	CNR Pisa, Italy 
 Reiko Heckel  		University of Leicester, UK 
 Nickolas Kavantzas  	Oracle Co., USA 
 Leila Kloul 		Université de Versailles, France 
 Mark Little  		Arjuna Technologies Limited, UK 
 Natalia López 		University Complutense of Madrid, Spain 
 Roberto Lucchi 	University of Bologna, Italy 
 Jeff Magee  		Imperial College London, UK 
 Fabio Martinelli  	CNR Pisa, Italy 
 Shin Nakajima  	National Institute of Informatics and 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 
 Vladimiro Sassone 	University of Sussex, UK 
 Frank Van Breugel  	York University, Toronto, Canada 
 Friedrich Vogt 	Technical University of Hamburg-Harburg, Germany 

WS-FM 2005 Call For Tools

[Mario Bravetti]

WS-FM 2005 TOOLS SESSION

Tools session in 2nd International Workshop on Web Services and
Formal Methods

Versailles, 2-3 September 2005, France

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

Web services technology is a widespread accepted instantiation of
Service Oriented Computing which facilitates integration of newly
built and legacy applications both within and across organizational
boundaries avoiding difficulties due to different platform,
heterogeneous programming languages, security firewall, etc... The
idea behind the WS approach is allowing independently developed
applications to be exposed as services and interconnected exploiting
the already set up Web infrastructure with relative standards (HTTP,
XML, SOAP and WSDL). The technologies related to developing basic
services and interconnecting them on a point-to point basis can be
considered well established but B2B processing requires managing
more complex interactions involving a large number of participants
and none of the above standards are able to meet this need. For this
reason the so-called Web services Composition Languages like XLANG,
WSFL, BPML, WS-BPEL and WS-CDL are taking place. These languages are
claimed to be based on formal models (pi-calculus variants, Petri
Nets) to allow rigorous mathematical reasoning. However, despite all
this hype, no interesting relations with formal methods have been so
far emphasized and no conceptual instruments for analysis and
reasoning or software verification techniques and tools have been so
far presented by the respective companies. Any mathematical rigor
becomes pointless without the ability to show these kind of results.
In this sense contracts conformance verification between different
services and static analysis of behavioral properties becomes one of
the most promising research directions.

The aim of the tools session is presenting working prototypes
designed exploiting the experience derived from concurrency theory
(and formal methods in general) in order to strengthen the
collaboration with industry and resulting in a strong impact on the
standardization phase of composition languages and of web services
technologies in general.

LIST OF TOPICS

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

    * Orchestration engines for Web services
    * Frameworks for recovery mechanisms in Web services composition
    * Static analyzers and verificators of behavioral properties
    * Contracts conformance checkers
    * Frameworks for securing Web services

SUBMISSION MODALITIES

To submit please send the information below to:
ws-fmtools@cs.unibo.it

Submissions must include:

    * Name of the tool
    * Name(s) of the author(s)
    * Name(s) of the person(s) presenting the demo at the workshop
    * A short abstract presenting the tool and the underpinning
      theory. It should describe the way in which the theory benefits the
      implementation.
    * A link to a web site presenting the project.

Submissions deadline: 3  August 2005

DEMO MODALITIES

The demos presentation will be held as a special session of WS-FM
2005. Each presentation will take about 25 minutes plus 10 for the
discussion.

CONTACTS

    * Mario Bravetti (bravetti@cs.unibo.it)
    * Roberto Lucchi (lucchi@cs.unibo.it)
    * Manuel Mazzara (mazzara@cs.unibo.it)
    * Gianluigi Zavattaro (zavattar@cs.unibo.it)

WS-FM 2005 Call For Participation

[Mario Bravetti]

----------------------------------------------------------------------
We apologize if you receive multiple copies of this announcement.
----------------------------------------------------------------------

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

			Call for Participation

                     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 

	      * Early registration deadline: July 28th *

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

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

INVITED TALKS

 Peter Harrison, Imperial College London
 "Performance Engineering and Stochastic Modelling"

 Gianfranco Ciardo, University of California
 "Implicit representations and algorithms for the logic and 
 stochastic analysis of discrete--state systems"

 Cosimo Lavene,  University of Bologna
 "PiDuce: A Process Calculus with Native XML Datatypes"

 Wil van der Aalst,  Eindhoven University of Technology
 "Life After BPEL ?"

PROGRAM CO-CHAIRS

 Mario Bravetti and Gianluigi Zavattaro

PROGRAM COMMITTEE:

 Marco Aiello           University of Trento, Italy 
 Jean-Pierre Banatre    University of Rennes1 and INRIA, France 
 Boualem Benatallah     University of New South Wales, Australia 
 Karthik Bhargavan      Microsoft research Cambridge, UK 
 Manfred Broy           Technische Universitat Munchen, Germany 
 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 
 Peter Furniss          Choreology Ltd, UK 
 Stephanie Gnesi        CNR Pisa, Italy 
 Reiko Heckel           University of Leicester, UK 
 Nickolas Kavantzas     Oracle Co., USA 
 Leila Kloul            Université de Versailles, France 
 Mark Little            Arjuna Technologies Limited, UK 
 Natalia López          University Complutense of Madrid, Spain 
 Roberto Lucchi         University of Bologna, Italy 
 Jeff Magee             Imperial College London, UK 
 Fabio Martinelli       CNR Pisa, Italy 
 Shin Nakajima          National Institute of Informatics and 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 
 Vladimiro Sassone      University of Sussex, UK 
 Frank Van Breugel      York University, Toronto, Canada 
 Friedrich Vogt         Technical University of Hamburg-Harburg, Germany