Clermont-Ferrand, France, September 1 - 2, 2011
Co-located with the 9th International Conference on Business Process Management (BPM 2011)
Service Oriented Computing (SOC) provides standard mechanisms and
protocols for describing, locating and invoking services over the
Internet. Although there are existing SOC infrastructures that support
specification of service interfaces, access policies, behaviors and
compositions, there are still many active research areas in SOC such
as the support and management of interactions with stateful and
long-running services, large farms of services and quality of service
delivery. Moreover, emerging paradigm of cloud computing provides a
new platform for service delivery, enabling the development of
services that are configurable based on client requirements, service
level guarantee mechanisms, and extended services based on
virtualization (Software as a Service, Platform as a Service,
Infrastructure as a Service). The convergence of SOC and cloud
computing is accelerating the adoption of both of these technologies,
making the service dependability and trustworthiness a crucial and
Formal methods can play a fundamental role in this research area. They can help us define unambiguous semantics for the languages and protocols that underpin existing 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 and quality of service requirements. Formal analysis of security properties and performance is also essential in cloud computing and in application areas including e-science, e-commerce, workflow, business process management, etc. Moreover, the challenges raised by this new area can offer opportunities for extending the state of the art in formal techniques.
The aim of the WS-FM workshop series is to bring together researchers working on SOC, cloud computing and formal methods in order to catalyze fruitful collaboration. The scope of the workshop is not only 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 SOC and cloud computing technologies.
The proceedings were published by Springer in the series:
And are avaialble here as LECTURE NOTES IN COMPUTER SCIENCE, Volume 7176, 2012, DOI: 10.1007/978-3-642-29834-9.