Web Services and Formal Methods

5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers

  • Roberto Bruni
  • Karsten Wolf
Conference proceedings WS-FM 2008

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

Table of contents

  1. Front Matter
  2. Mario Bravetti, Gianluigi Zavattaro
    Pages 1-18
  3. Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur
    Pages 19-36
  4. Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
    Pages 55-72
  5. Gero Decker, Alexander Lüders, Hagen Overdick, Kai Schlichting, Mathias Weske
    Pages 73-87
  6. Christian Eisentraut, David Spieler
    Pages 107-126
  7. Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
    Pages 127-142
  8. Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet
    Pages 143-157
  9. Sarah D. Induruwa Fernando, Andrew C. Simpson
    Pages 158-174
  10. Marija Kolundžija
    Pages 175-190
  11. Niels Lohmann
    Pages 191-206
  12. Arjan J. Mooij, Marc Voorhoeve
    Pages 207-223
  13. Daniela Weinberg
    Pages 224-239
  14. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008.

The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

Keywords

Web Services contract complience event calculus formal method message queues model checking model-based testing open nets petri net proof techniques security types semantic e-services time-constrained workflows verification ws-bpel

Editors and affiliations

  • Roberto Bruni
    • 1
  • Karsten Wolf
    • 2
  1. 1.Computer Science DepartmentUniversity of PisaPisaItaly
  2. 2.Institut für InformatikUniversität RostockRostockGermany

Bibliographic information

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