© 2009

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

  • Marco Bernardo
  • Luca Padovani
  • Gianluigi Zavattaro
Textbook SFM 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5569)

Table of contents

  1. Front Matter
  2. Roberto Bruni
    Pages 1-41
  3. Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf
    Pages 42-88
  4. Annapaola Marconi, Marco Pistore
    Pages 89-157
  5. Vasco T. Vasconcelos
    Pages 158-186
  6. Marco Carbone, Nobuko Yoshida, Kohei Honda
    Pages 187-212
  7. Mario Bravetti, Gianluigi Zavattaro
    Pages 261-295
  8. Allan Clark, Stephen Gilmore, Mirco Tribastone
    Pages 296-339
  9. Back Matter

About this book


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.


Action Performance Session Web Services design formal method security verification

Editors and affiliations

  • Marco Bernardo
    • 1
  • Luca Padovani
    • 1
  • Gianluigi Zavattaro
    • 2
  1. 1.Istituto di Scienze e Tecnologie dell’InformazioneUniversità di Urbino "Carlo Bo"UrbinoItaly
  2. 2.Dipartimento di Scienze dell’InformazioneUniversità di BolognaBolognaItaly

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Finance, Business & Banking
Energy, Utilities & Environment