Syndetics cover image
Image from Syndetics

Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / edited by Cosimo Laneve, Jianwen Su.

Contributor(s): Material type: TextSeries: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010Description: VII, 197 p. 60 illus. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642144585
Subject(s): DDC classification:
  • 004.6 23
Online resources:
Contents:
Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update.
No physical items for this record

Sessions and Session Types: An Overview -- Choreography Rehearsal -- A Graph Syntax for Processes and Services -- A Formalisation of Adaptable Pervasive Flows -- Compliance Preorders for Web Services -- A Formal Semantics for the WS-BPEL Recovery Framework -- Realizability Is Controllability -- Specification and Verification of Multi-user Data-Driven Web Applications -- Automated Composition of Nondeterministic Stateful Services -- Towards Compensation Correctness in Interactive Systems -- Small Specifications for Tree Update.

Licensed e-book