WS-FM 2010:
Hoboken,
NJ,
USA
Mario Bravetti, Tevfik Bultan (Eds.):
Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers.
Lecture Notes in Computer Science 6551 Springer 2011, ISBN 978-3-642-19588-4 
- Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno Terry Heath, Stacy Hobson, Mark H. Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, Roman Vaculín:
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles.
1-24
- Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer:
Simplified Computation and Generalization of the Refined Process Structure Tree.
25-41
- Sylvain Hallé:
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.
42-55
- César Andrés, María-Emilia Cambronero, Manuel Núñez:
Passive Testing of Web Services.
56-70
- Esra Kucukoguz, Jianwen Su:
On Lifecycle Constraints of Artifact-Centric Workflows.
71-85
- Xiang Fu:
Conformance Verification of Privacy Policies.
86-100
- Matthias Weidlich, Felix Elliger, Mathias Weske:
Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings.
101-115
- Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve:
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers.
116-130
- Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Soundness-Preserving Refinements of Service Compositions.
131-145
- David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt:
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.
146-160
- Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz:
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems.
161-175
- Alexandra Potapova, Jianwen Su:
On Nondeterministic Workflow Executions.
176-190
Last update Fri May 25 08:50:44 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
