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

Web Services and Formal Methods: 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers: Lecture Notes in Computer Science, cartea 6194

Editat de Cosimo Laneve, Jianwen Su

en Limba Engleză Paperback – 2 sep 2010

Din seria Lecture Notes in Computer Science

Preț: 311^.54 lei

Preț vechi: 389^.41 lei
-20% Nou

Puncte Express: 467

:
59^.64€ • 64^.76$ • 50^.16£

Carte disponibilă

Livrare economică 25 noiembrie-09 decembrie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783642144578
ISBN-10: 3642144578
Pagini: 195
Ilustrații: VII, 197 p. 60 illus.
Greutate: 0.32 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

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.

Caracteristici

Unique visibility, state-of-the-art survey, fast-track conference proceedings