rent-now

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

9783642144578

Web Services and Formal Methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

by ;
  • ISBN13:

    9783642144578

  • ISBN10:

    3642144578

  • Edition: 1st
  • Format: Paperback
  • Copyright: 2010-08-17
  • Publisher: Springer-Verlag New York Inc
  • Purchase Benefits
List Price: $89.99

Summary

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held in Bologna, Italy, in September 2009. The 10 revised full papers presented together with one invited paper were carefully reviewed and selected from 18 submissions. The papers feature topics such as approaches to analyzing and designing systems based on Web Service technology, formal approaches to enterprise systems modeling in general, and business process modeling in particular.

Table of Contents

Sessions and Session Types: An Overview (Invited Talk)p. 1
Choreography Rehearsalp. 29
A Graph Syntax for Processes and Servicesp. 46
A Formalisation of Adaptable Pervasive Flowsp. 61
Compliance Preorders for Web Servicesp. 76
A Formal Semantics for the WS-BPEL Recovery Framework: The ¿-Calculus Wayp. 92
Realizability is Controllabilityp. 110
Specification and Verification of Multi-user Data-Driven Web Applicationsp. 128
Automated Composition of Nondeterministic Stateful Servicesp. 147
Towards Compensation Correctness in Interactive Systemsp. 161
Small Specifications for Tree Updatep. 178
Author Indexp. 197
Table of Contents provided by Ingram. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program