[TYPES/announce] Last call for papers: 6th International Workshop on Web Services and Formal Methods

[Cosimo Laneve]

WS-FM 2009 -- 6th International Workshop on Web Services and Formal Methods
              http://www.cs.unibo.it/ws-fm09

            4-5 September 2009, Bologna, Italy

Co-located with the 20th International Conference on Concurrency Theory
(CONCUR'09)

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 necessary
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 including e-science, e-commerce, workflow, business process
management, etc. 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
discussions and collaborations about 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. Starting from 2007, the workshop has incorporated the
activities of the online community formerly known as the "Petri
and Pi" Group, a forum bridging the communities of workflow oriented
researchers and process calculi oriented researchers.

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
* Types and logics for web services
* Model-driven development, testing, and analysis of web services
* Innovative application scenarios for  web services
* Data services
* Data centric process modeling

SUBMISSIONS

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

All papers must be submitted at the following submission site, handled by
EasyChair,

http://www.easychair.org/conferences/?conf=wsfm09

using the Springer LNCS style. Papers should not exceed 15 pages in
length. If necessary, the paper may be supplemented with a clearly marked
appendix, which will be reviewed at the discretion of the program
committee. We expect to publish the post-workshop proceedings a few months
after the workshop as a volume in Springer's Lecture Notes in Computer
Science (LNCS).

IMPORTANT DATES

Abstract submission: 		        May 31, 2009
Paper submission deadline: 	June 7, 2009
Author notification:  		        July 13, 2009
Workshop dates:			        September 4-5, 2009

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

PROGRAM COMMITTEE CO-CHAIRS

Cosimo Laneve 		University of Bologna, IT
Jianwen Su		        University of California at Santa Barbara, USA

OTHER PC MEMBERS:

Wil van der Aalst	        Eindhoven University of Technology, NL
Albert Benveniste	        IRISA/INRIA, FR
Karthik Bhargavan	Microsoft Research Cambridge, UK
Roberto Bruni 		University of Pisa, IT
Diego Calvanese          Free University of Bolzano, IT
Alin Deutsch		        University of California San Diego, USA
Marlon Dumas		University of Tartu, EE
Jose Luiz Fiadeiro   	University of Leicester, UK
Xiang Fu		                Georgia Southwestern State University, USA
Philippa Gardner	        Imperial College, UK
Kohei Honda	 	        Queen Mary, University of London, UK
Nickolas Kavantzas 	Oracle Co., USA
Vasco T. Vasconcelos	University of Lisbon, PT
Karsten Wolf		        University of Rostock, DE
Qiu Zongyan 		        Peking University, CN