Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

Description

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing; cloud computing; formal methods; verification specification; testing; and business process management. Front Matter....Pages - Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles....Pages 1-24 Simplified Computation and Generalization of the Refined Process Structure Tree....Pages 25-41 Automated Generation of Web Service Stubs Using LTL Satisfiability Solving....Pages 42-55 Passive Testing of Web Services....Pages 56-70 On Lifecycle Constraints of Artifact-Centric Workflows....Pages 71-85 Conformance Verification of Privacy Policies....Pages 86-100 Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings....Pages 101-115 Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers....Pages 116-130 Soundness-Preserving Refinements of Service Compositions....Pages 131-145 Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways....Pages 146-160 Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems....Pages 161-175 On Nondeterministic Workflow Executions....Pages 176-190 Back Matter....Pages -