Web Services and Formal Methods

7th International Workshop on Web Services and Formal Methods

Formal aspects of service oriented and cloud computing

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 urgent problem.

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 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.

Accepted Papers

  • Artem Polyvyanyy, Jussi Vanhatalo and Hagen Voelzer
    Simplified Computation and Generalization of the Refined Process Structure Tree
  • Sylvain Hallé
    Automated Generation of Web Service Stubs Using Satisfiability Solving
  • Cesar Andres, M. Emilia Cambronero and Manuel Núñez
    Passive Testing of Timed Distributed Systems
  • Esra Kucukoguz and Jianwen Su
    On Lifecycle Constraints of Artifact-Centric Workflows
  • Xiang Fu
    Conformance Verification of Privacy Policies
  • Matthias Weidlich, Felix Elliger and Mathias Weske
    Generalised Computation of Behavioural Profiles based on Petri-Net Unfoldings
  • Arjan Mooij, Jarungjit Parnjai, Christian Stahl and Marc Voorhoeve
    Constructing Substitutable Services Using Operating Guidelines and Maximal Controllers
  • Kees van Hee, Arjan Mooij, Natalia Sidorova and Jan Martijn van der Werf
    Soundness-Preserving Refinements of Service Compositions
  • David Raymond Christiansen, Marco Carbone and Thomas Hildebrandt
    Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
  • Dinanath Nadkarni, Robyn Lutz, Samik Basu and Vasant Honavar
    Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems
  • Alexandra Potapova and Jianwen Su
    On Nondeterministic Workflow Executions



Submission Website


Organizing Committee

Mario Bravetti, Universita di Bologna, Italy
Tevfik Bultan, University of California, Santa Barbara, USA