Co-located with the International Conference on Business Process Management (BPM 2008)
Web Service (WS) technology provides standard mechanisms and protocols for describing, locating and invoking services available all over the web. Existing infrastructures already enable providers to describe services in terms of their interface, access policy and behavior, and to combine simpler services into more structured and complex ones. However, research is still needed to move WS technology from skilled handcrafting to well-engineered practice, supporting the management of interactions with stateful and long-running services, large farms of services, quality of service delivery, inter alia.
Formal methods can play a fundamental role in the shaping of such innovations. For instance, they can help us define unambiguous semantics for the languages and protocols that underpin existing WS 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 behavioural properties and quality of service requirements. Formal analysis of security properties and performance is also essential in application areas such as e-commerce. These are just a few prominent aspects; the scope for using formal methods in the area of Web Services is much wider, and the challenges raised by this new area can offer opportunities for extending the state of the art in formal techniques.
The aim of the workshop series is to bring together researchers working on Web Services and Formal Methods in order to catalyze fruitful collaboration. The scope of the workshop is not purely limited to technological aspects. In fact, the WS-FM series has a strong tradition of attracting submissions on formal approaches to enterprise systems modeling in general, and business process modeling in particular. Potentially, this could have a significant impact on the on-going standardization efforts for Web Service technology.
The workshop proceedings will be published by Springer in their series Lecture Notes in Computer Science.