Web Services and Formal Methods

9th International Workshop on Web Services and Formal Methods, WS-FM 2012
September 6-7, 2012, Tallinn, Estonia

co-located to BPM 2012

Logo of the BPM 2012 conference. WS-FM was co-located to the 10th International Conference on Business Process Management, BPM 2012 (September 3-6, 2012).

Springer LNCS Proceedings

The proceedings are be published by Springer as LNCS, Volume 7843.

Logo of Springer's LNCS.

Program Online

The program of WS-FM is available. For each talk, we also linked the presentation slides.

The aim of the WS-FM workshop series is to bring together researchers working on Web Services and Formal Methods in order to catalyze fruitful collaboration.

Web services are fundamental to cloud computing and other computing paradigms based on service-oriented architectures and applications. They make functional and autonomous building blocks available over the Internet, independent of platforms and programming languages, and both within and across organizational boundaries. These can then be described, located, orchestrated, and invoked. Virtualization technology has moreover led to the Software as a Service, Platform as a Service, and Infrastructure as a Service notions.

Formal methods can play a fundamental role in research on these concepts. They can help define unambiguous semantics for the languages and protocols that underpin web service infrastructures, and provide a basis for checking the conformance and compliance of bundled services. They can also empower dynamic discovery and binding with compatibility checks against behavioral properties, quality of service requirements, and service-level agreements. The resulting possibility of formal verification and analysis of (security) properties and performance (dependability and trustworthiness) is essential to cloud computing and to application areas like e-commerce, e-government, e-health, workflow, business process management, etc. Moreover, the challenges raised by research on these concepts can extend the state of the art in formal methods.

The scope of the WS-FM workshop series is not limited to technological aspects. In fact, there is a strong tradition of attracting submissions on formal approaches to enterprise systems modeling in general, and business process modeling in particular. Potentially, this might have a significant and lasting impact on the ongoing standardization efforts in cloud computing technologies.

New June 6, 2013
LNCS proceedings now also available online.
May 8, 2013
WS-FM 2013 will be colocated to BPM 2013 and take place on August 29-30, 2013 in Beijing, China.
May 7, 2013
LNCS Proceedings appeared as LNCS volume 7843 and will be shipped to the authors soon.
July 27, 2012
List of accepted papers and information on the registration published.
June 4, 2012
Submission deadline extended.
February 20, 2012
Program Committee confirmed.
January 16, 2012
Website launched.

Important Dates

Paper submission deadline
June 9, 2012 June 16, 2012
Author notification
July 21, 2012 July 26, 2012
Camera-ready copy
August 4, 2012
Workshop dates
September 6-7, 2012
The past events depicted on a world map.

WS-FM 2004
in Pisa, co-chaired by Mario Bravetti and Gianluigi Zavattaro
WS-FM 2005
in Versailles, co-chaired by Mario Bravetti and Gianluigi Zavattaro
WS-FM 2006
in Wien, co-chaired by Mario Bravetti and Gianluigi Zavattaro
WS-FM 2007
in Brisbane, co-chaired by Marlon Dumas and Reiko Heckel

WS-FM 2008
in Milan, co-chaired by Roberto Bruni and Karsten Wolf
WS-FM 2009
in Bologna, co-chaired by Cosimo Laneve and Jianwen Su
WS-FM 2010
in Hoboken, co-chaired by Mario Bravetti and Tevfik Bultan
WS-FM 2011
in Clermont-Ferrand, co-chaired by Marco Carbone and Jean-Marc Petit