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.
9783642144585
10.1007/978-3-642-14458-5 doi
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.
TK5105.5-5105.9
004.6
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.
9783642144585
10.1007/978-3-642-14458-5 doi
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.
TK5105.5-5105.9
004.6