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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Laneve, Cosimo (Επιμελητής έκδοσης), Su, Jianwen (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6194
• Θέματα: 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.

Πίνακας περιεχομένων:

• 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.