[ecoop-info] CFP WS-FM07

[Rob van Glabbeek]

WS-FM 2007
4th International Workshop on Web Services and Formal Methods
http://bpm07.fit.qut.edu.au/ws-fm07/

28-29 September 2007, Brisbane, Australia

Co-located with the 5th International Conference on Business Process
Management (BPM'07)

Web Service technology aims at empowering providers of services, in
the broad sense, with the ability to package and deliver their
services by means of software applications available on the
Web. Existing infrastructures for Web Services already enable
providers to describe services in terms of structure, access policy
and behavior, to locate services, to interact with them, and to bundle
simpler services into more complex ones. However, innovations are
needed to seamlessly extend this technology in order to deal with
challenges such as managing interactions with stateful and
long-running Web Services, managing large numbers of Web Services,
managing the quality of Web Service delivery, etc.

Formal methods play a fundamental role in shaping innovations in Web
Service technology.  For instance, formal methods help to define and
to understand the semantics of languages and protocols that underpin
existing infrastructures for Web Services, and to formulate features
that are found to be lacking. They also provide a basis for reasoning
about Web Service behavior, for example to discover services that can
fulfill a given goal. Finally, formal analysis of security properties
and performance are essential in application areas such as
e-commerce. Naturally, the scope for using formal methods in the area
of Web Services is much wider.

The aim of the workshop is to bring together researchers working on
Web Services and Formal Methods in order to facilitate fruitful
collaboration. The scope of the workshop is not purely limited to
technology aspects. It also covers approaches to analyzing and
designing systems based on Web Service technology, such as
service-oriented architecture and business process modeling. In fact,
the WS-FM workshop has a tradition of attracting submissions dealing
with formal approaches to enterprise systems modeling in general, and
business process modeling in particular. From 2007, the workshop will
be taking over the activities of the online community formerly known
as the "Process Modelling" or "Pi and Petri" Group
(http://www.petripi.org).

Topics of interest include, but are not limited to:

* Formal approaches to service-oriented analysis and design
* Formal approaches to enterprise modeling and business process modeling
* Model-driven development, testing, and analysis of web services
* Web services for business process management
* Security, performance and quality of web services
* Web service coordination and transactions
* Web service ontologies and semantic description
* Goal-driven discovery and composition of web services
* Complex event processing in service-oriented architectures
* Semi-structured data management and XML technology


Submissions

Submissions must be original and should not have been published
previously or be under consideration for publication while being
evaluated for this workshop. Two categories of submission are being
sought:

1- Regular papers that will be refereed against criteria such as
originality, significance, technical soundness and
presentation. Accepted regular papers will be given 30-minutes slots
at the workshop and will be included in the formal proceedings to be
published after the workshop (i.e. post-workshop proceedings).

2- Short papers (i.e. extended abstracts) will be refereed against
originality, potential for significant outcomes, and
presentation. Authors of accepted short papers will be given an
opportunity to extend their papers into regular papers immediately
after the workshop for possible inclusion in the post-workshop
proceedings after a second round of reviews.

We also encourage the submission of papers describing tools that apply
formal methods in the context of Web Services and related
technology. Such papers can be submitted either as regular or as short
papers depending on the maturity of the tool and its underpinning
foundations.

Papers are to be prepared in LNCS format and must not exceed 15 pages
for regular submissions and 5 pages for short submissions.

The post-workshop proceedings will be published a few months after the
workshop as a volume in Springer's Lecture Notes in Computer Science
(LNCS). In addition, we intend to publish a journal special issue
inviting full versions of papers selected among those presented at the
workshop.

Important Dates
Abstract submission deadline: 8 June 2007
Paper submission deadline: 15 June 2007
Author notification:  20 July 2007
Workshop dates 	28-29 September 2007

The preparation of papers for formal publication will take place in
the months following the workshop.

Program Committee
Co-chairs:
Marlon Dumas          Queensland University of Technology, Australia
Reiko Heckel	      University of Leicester, UK

Steering Committee
Wil van der Aalst     Eindhoven University of Technology, The Netherlands
Mario Bravetti        University of Bologna, Italy
Marlon Dumas	      Queensland University of Technology, Australia
Jose Luiz Fiadeiro    University of Leicester, UK
Gianluigi Zavattaro   University of Bologna, Italy

Other PC members:
Farhad Arbab 	      CWI, The Netherlands
Matteo Baldoni 	      University of Torino, Italy
Boualem Benatallah    University of New South Wales, Australia
Karthik Bhargavan     Microsoft Research Cambridge, UK
Roberto Bruni         University of Pisa, Italy
Fabio Casati 	      University of Trento, Italy
Rocco De Nicola       University of Florence, Italy
Schahram Dustdar      Vienna University of Technology, Austria
Gregor Engels	      University of Paderborn, Germany
Aditya Ghose	      University of Woollongong, Australia
Rob van Glabbeek      NICTA, Australia
Cosimo Laneve  	      University of Bologna, Italy
Mark Little  	      RedHat, UK
Shin Nakajima  	      National Institute of Informatics, Japan
Manuel Nunez  	      University Complutense of Madrid, Spain
Srinivas Padmanabhuni Infosys, India
Wolfgang Reisig       Humboldt University, Berlin, Germany
Jianwen Su            University of California Santa Barbara, USA
Karsten Wolf          University of Rostock, Germany
Yun Yang              Swinburne University, Australia
Aoying Zhou	      Fudan University, China