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

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

Introduction

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.

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-01918-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-01917-3
  • Online ISBN 978-3-642-01918-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book