WS-FM 2005 Call For Papers (Paris, Sep 05)

Mario Bravetti <>
4 Mar 2005 14:11:17 -0500

          From comp.compilers

Related articles
WS-FM 2005 Call For Papers (Paris, Sep 05) (Mario Bravetti) (2005-03-04)
| List of all articles for this month |

From: Mario Bravetti <>
Newsgroups: comp.lang.scheme,comp.lang.functional,comp.compilers
Date: 4 Mar 2005 14:11:17 -0500
Organization: Carnegie Mellon, Pittsburgh, PA
Keywords: conference, CFP, functional
Posted-Date: 04 Mar 2005 14:11:17 EST

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

                                1-3 September 2005, Versailles, France


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



  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.


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

      - Protocols and standards for WS (SOAP, WSDL, UDDI, etc... )
      - Languages and descripion methodologies for
          (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 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.


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


  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

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.