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

Front Cover
Mario Bravetti, Tevfik Bultan
Springer Science & Business Media, Mar 31, 2011 - Computers - 191 pages
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introducing the GuardStageMilestone Approach for Specifying Business Entity Lifecycles
1
Simplified Computation and Generalization of the Refined Process Structure Tree
25
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving
42
Passive Testing of Web Services
56
On Lifecycle Constraints of ArtifactCentric Workflows
71
Conformance Verification of Privacy Policies
86
Generalised Computation of Behavioural Profiles Based on PetriNet Unfoldings
101
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers
116
SoundnessPreserving Refinements of Service Compositions
131
Formal Semantics and Implementation of BPMN 20 Inclusive Gateways
146
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems
161
On Nondeterministic Workflow Executions
176
Author Index
191
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information