Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

✍ Scribed by Roberto Bruni (auth.), Marco Bernardo, Luca Padovani, Gianluigi Zavattaro (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2009
• Tongue: English
• Leaves: 346
• Series: Lecture Notes in Computer Science 5569 : Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 9th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, held in Bertinoro, Italy, in June 2009.

SFM 2009 was devoted to formal methods for web services and covered several aspects including coreography, orchestration, description techniques, interaction, synthesis, composition, session types, contracts, verification, security, and performance.

✦ Table of Contents

Front Matter....Pages -
Calculi for Service-Oriented Computing....Pages 1-41
Service Interaction: Patterns, Formalization, and Analysis....Pages 42-88
Synthesis and Composition of Web Services....Pages 89-157
Fundamentals of Session Types....Pages 158-186
Asynchronous Session Types: Exceptions and Multiparty Interactions....Pages 187-212
Contract-Based Discovery and Adaptation of Web Services....Pages 213-260
Contract-Based Discovery and Composition of Web Services....Pages 261-295
Quantitative Analysis of Web Services Using SRMC....Pages 296-339
Back Matter....Pages -

✦ Subjects

Software Engineering; Software Engineering/Programming and Operating Systems; Programming Techniques; Programming Languages, Compilers, Interpreters; Information Systems Applications (incl.Internet); Computer Systems Organization and Com