Loading…

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

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Laneve, Cosimo (Editor), Su, Jianwen (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Programming and Software Engineering, 6194
Subjects:
Online Access:Texto Completo
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.