Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software S by Marco BernardoFormal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication and Software S by Marco Bernardo

Formal Methods for Web Services: 9th International School on Formal Methods for the Design of…

byMarco BernardoEditorLuca Padovani, Gianluigi Zavattaro

Paperback | May 12, 2009

Pricing and Purchase Info

$81.69 online 
$96.95 list price save 15%
Earn 408 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume presents the set of papers accompanying the lectures of the 9th International School on Formal Methods for the Design of Computer, Com- nication and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication,and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2009 was devoted to formal methods for Web services and covered s- eral aspects including choreography, orchestration, description techniques, - teraction, synthesis, composition, session types, contracts, veri?cation, security, and performance. This volume comprises eight articles. Bruni's paper overviews some of the most recently proposed abstractions in the setting of process calculi tailored to the well-disciplined handling of issues such as long-running interactions, orch- tration, and unexpected events. Van der Aalst, Mooij, Stahl, and Wolf provide some foundational notions related to service interaction and address in a Petri net setting challenges like how to expose a service, how to replace and re?ne services, and how to generate service adapters. The paper by Marconi and - store presents a survey of existing approaches to the synthesis of Web service compositions, a di?cult and error-pronetask that requires automated solutions.
Title:Formal Methods for Web Services: 9th International School on Formal Methods for the Design of…Format:PaperbackDimensions:341 pages, 23.5 × 15.5 × 0.01 inPublished:May 12, 2009Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:364201917X

ISBN - 13:9783642019173

Reviews

Table of Contents

Calculi for Service-Oriented Computing.- Service Interaction: Patterns, Formalization, and Analysis.- Synthesis and Composition of Web Services.- Fundamentals of Session Types.- Asynchronous Session Types: Exceptions and Multiparty Interactions.- Contract-Based Discovery and Adaptation of Web Services.- Contract-Based Discovery and Composition of Web Services.- Quantitative Analysis of Web Services Using SRMC.