Web Services and Formal Methods

8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers

  • Marco Carbone
  • Jean-Marc Petit

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

Table of contents

  1. Front Matter
  2. Étienne Lozes, Jules Villard
    Pages 2-16
  3. Fangzhe Chang, Pavithra Prabhakar, Ramesh Viswanathan
    Pages 17-31
  4. Benoît Masson, Loïc Hélouët, Albert Benveniste
    Pages 32-47
  5. Hugo A. López, Jorge A. Pérez
    Pages 48-63
  6. Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni, Anirban Bhattacharyya
    Pages 64-78
  7. José Antonio Mateo, Valentín Valero, Gregorio Díaz
    Pages 79-94
  8. Elie Fares, Jean-Paul Bodeveix, Mamoun Filali
    Pages 95-110
  9. Roberto Bruni, Andrea Corradini, Gianluigi Ferrari, Tito Flagella, Roberto Guanciale, Giorgio Spagnolo
    Pages 111-127
  10. Juan Pedro Silva Gallino, Miguel de Miguel, Javier F. Briones, Alejandro Alonso
    Pages 128-142
  11. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011.
The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.


BPEL data-centric Web services formal methods petri nets verification

Editors and affiliations

  • Marco Carbone
    • 1
  • Jean-Marc Petit
    • 2
  1. 1.IT University of CopenhagenCopenhagenDenmark
  2. 2.Université de Lyon – CNRS INSA Lyon, LIRISVilleurbanne CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-29833-2
  • Online ISBN 978-3-642-29834-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software