Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers /
WS-FM 2009(2009 :Bologna, Italy)
WS-FM 2009
Laneve, Cosimo.editor.
Su, Jianwen.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Computers.
Application software.
Computer communication systems.
Information storage and retrieval.
Software engineering.
Multimedia information systems.
Information Systems and Communication Service.
Information Systems Applications (incl. Internet).
Computer Communication Networks.
Information Storage and Retrieval.
Software Engineering.
Multimedia Information Systems.

Lecture Notes in Computer Science