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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Laneve, Cosimo (Editor ), Su, Jianwen (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Programming and Software Engineering, 6194
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares