Skip to main content
SpringerLink
Log in
Book cover

Web Services and Formal Methods

7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Mario Bravetti

    1. Department of Computer Science, University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tevfik Bultan

    1. University of California, Santa Barbara, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • unique visibility
  • fast-track conference proceedings
  • state-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6551)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: WS-FM 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles

    • Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno (Terry) Heath III, Stacy Hobson et al.
    Pages 1-24

  3. Simplified Computation and Generalization of the Refined Process Structure Tree

    • Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer
    Pages 25-41

  4. Automated Generation of Web Service Stubs Using LTL Satisfiability Solving

    • Sylvain Hallé
    Pages 42-55

  5. Passive Testing of Web Services

    • César Andrés, M. Emilia Cambronero, Manuel Núñez
    Pages 56-70

  6. On Lifecycle Constraints of Artifact-Centric Workflows

    • Esra Kucukoguz, Jianwen Su
    Pages 71-85

  7. Conformance Verification of Privacy Policies

    • Xiang Fu
    Pages 86-100

  8. Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings

    • Matthias Weidlich, Felix Elliger, Mathias Weske
    Pages 101-115

  9. Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers

    • Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve
    Pages 116-130

  10. Soundness-Preserving Refinements of Service Compositions

    • Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn van der Werf
    Pages 131-145

  11. Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways

    • David Raymond Christiansen, Marco Carbone, Thomas Hildebrandt
    Pages 146-160

  12. Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems

    • Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn Lutz
    Pages 161-175

  13. On Nondeterministic Workflow Executions

    • Alexandra Potapova, Jianwen Su
    Pages 176-190

  14. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Web Services and Formal Methods

Keywords

About this book

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.

Editors and Affiliations

  • Department of Computer Science, University of Bologna, Bologna, Italy

    Mario Bravetti

  • University of California, Santa Barbara, USA

    Tevfik Bultan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation