Normal view MARC view ISBD view

Web Services and Formal Methods 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers / [electronic resource] : edited by Cosimo Laneve, Jianwen Su. - 1st ed. 2010. - VII, 197 p. 60 illus. online resource. - Programming and Software Engineering, 6194 2945-9168 ; . - Programming and Software Engineering, 6194 .

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.

ISBN: 9783642144585

Standard No.: 10.1007/978-3-642-14458-5 doi

Subjects--Topical Terms:
Computer networks .
Application software.
Information storage and retrieval systems.
Software engineering.
Multimedia systems.
Computer Communication Networks.
Computer and Information Systems Applications.
Information Storage and Retrieval.
Software Engineering.
Multimedia Information Systems.

LC Class. No.: TK5105.5-5105.9

Dewey Class. No.: 004.6