Skip to main content
SpringerLink
Log in

Web Services and Formal Methods

5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Roberto Bruni

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Karsten Wolf

    1. Institut für Informatik, Universität Rostock, Rostock, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: WS-FM 2008.

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 (14 papers)

  1. Front Matter

    Download chapter PDF

  2. On the Expressive Power of Process Interruption and Compensation

    • Mario Bravetti, Gianluigi Zavattaro
    Pages 1-18

  3. Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets

    • Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur
    Pages 19-36

  4. Contract Compliance and Choreography Conformance in the Presence of Message Queues

    • Mario Bravetti, Gianluigi Zavattaro
    Pages 37-54

  5. Verification of Choreographies During Execution Using the Reactive Event Calculus

    • Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
    Pages 55-72

  6. RESTful Petri Net Execution

    • Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske
    Pages 73-87

  7. Validation and Discovery of Non-deterministic Semantic e-Services

    • Luigi Dragone
    Pages 88-106

  8. Fault, Compensation and Termination in WS-BPEL 2.0 — A Comparative Analysis

    • Christian Eisentraut, David Spieler
    Pages 107-126

  9. Refactoring Long Running Transactions

    • Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
    Pages 127-142

  10. On-The-Fly Model-Based Testing of Web Services with Jambition

    • Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet
    Pages 143-157

  11. Towards a Formal Framework for Workflow Interoperability

    • Sarah D. Induruwa Fernando, Andrew C. Simpson
    Pages 158-174

  12. Security Types for Sessions and Pipelines

    • Marija Kolundžija
    Pages 175-190

  13. Why Does My Service Have No Partners?

    • Niels Lohmann
    Pages 191-206

  14. Proof Techniques for Adapter Generation

    • Arjan J. Mooij, Marc Voorhoeve
    Pages 207-223

  15. Efficient Controllability Analysis of Open Nets

    • Daniela Weinberg
    Pages 224-239

  16. 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 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

Editors and Affiliations

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

    Roberto Bruni

  • Institut für Informatik, Universität Rostock, Rostock, Germany

    Karsten Wolf

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation