Produktbild: Web Services and Formal Methods

Web Services and Formal Methods

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5,2009, Revised Selected Papers, Lecture Notes in Computer Science 6194 – Programming and Software Engineering

ISBN: 3642144578
ISBN 13: 9783642144578
Herausgeber: Cosimo Laneve/Jianwen Su
Verlag: Springer Verlag GmbH
Umfang: vii, 197 S., 60 s/w Illustr., 197 p. 60 illus.
Erscheinungsdatum: 02.09.2010
Auflage: 1/2010
Produktform: Kartoniert
Einband: Kartoniert

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

Artikelnummer: 7477148 Kategorie:

Beschreibung

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

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …