Skip to main content
Springer Nature Link
Log in

Web Services and Formal Methods

6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Cosimo Laneve

    1. Dipartimento de Scienze dell’Informazione, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jianwen Su

    1. Department of Computer Science, University of California at Santa Barbara, Santa Barbara, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Unique visibility, state-of-the-art survey,
  • fast-track conference proceedings

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

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

Included in the following conference series:

Conference proceedings info: WS-FM 2009.

  • 4897 Accesses

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (11 papers)

  1. Front Matter

    Download chapter PDF

  2. Sessions and Session Types: An Overview

    • Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro
    Pages 1-28

  3. Choreography Rehearsal

    • Chiara Bodei, Gian Luigi Ferrari
    Pages 29-45

  4. A Graph Syntax for Processes and Services

    • Roberto Bruni, Fabio Gadducci, Alberto Lluch Lafuente
    Pages 46-60

  5. A Formalisation of Adaptable Pervasive Flows

    • Antonio Bucchiarone, Alberto Lluch Lafuente, Annapaola Marconi, Marco Pistore
    Pages 61-75

  6. Compliance Preorders for Web Services

    • Michele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi
    Pages 76-91

  7. A Formal Semantics for the WS-BPEL Recovery Framework

    • Nicola Dragoni, Manuel Mazzara
    Pages 92-109

  8. Realizability Is Controllability

    • Niels Lohmann, Karsten Wolf
    Pages 110-127

  9. Specification and Verification of Multi-user Data-Driven Web Applications

    • Monica Marcus
    Pages 128-146

  10. Automated Composition of Nondeterministic Stateful Services

    • Giuseppe De Giacomo, Fabio Patrizi
    Pages 147-160

  11. Towards Compensation Correctness in Interactive Systems

    • Cátia Vaz, Carla Ferreira
    Pages 161-177

  12. Small Specifications for Tree Update

    • Philippa Gardner, Mark Wheelhouse
    Pages 178-195

  13. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Web Services and Formal Methods

Editors and Affiliations

  • Dipartimento de Scienze dell’Informazione, Bologna, Italy

    Cosimo Laneve

  • Department of Computer Science, University of California at Santa Barbara, Santa Barbara, USA

    Jianwen Su

Bibliographic Information

Publish with us

Policies and ethics

Back to top