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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Laneve, Cosimo (Editor), Su, Jianwen (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6194
• Subjects: Computer science.; Computer communication systems.; Software engineering.; Computers.; Information storage and retrieval.; Multimedia information systems.; Computer Science.; Information Systems and Communication Service.; Information Systems Applications (incl. Internet).; Computer Communication Networks.; Information Storage and Retrieval.; Software Engineering.; Multimedia Information Systems.

Table of 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.