Web Services and Formal Methods

9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

  • Maurice H. ter Beek
  • Niels Lohmann
Conference proceedings WS-FM 2012

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Lhouari Nourine, Farouk Toumani
      Pages 1-15
    2. Emilio Tuosto
      Pages 16-29
  3. Web Service Modeling and Analysis with Petri Nets and CSP

    1. Jan Sürmeli
      Pages 30-48
    2. Richard Müller, Wil M. P. van der Aalst, Christian Stahl
      Pages 49-68
    3. Abel Armas-Cervantes, Luciano García-Bañuelos, Marlon Dumas
      Pages 69-86
    4. Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu
      Pages 87-102
  4. Formal Methods Applied to Service Discovery and Coordination

    1. Guillaume Demarty, Fabien Maronnaud, Gabriel Le Breton, Sylvain Hallé
      Pages 103-117
    2. Farhad Arbab, Francesco Santini
      Pages 118-133
    3. Nuno Oliveira, Luís S. Barbosa
      Pages 134-149
  5. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.


BPEL constraint satisfaction formal methods modeling petri nets

Editors and affiliations

  • Maurice H. ter Beek
    • 1
  • Niels Lohmann
    • 2
  1. 1.ISTI–CNRPisaItaly
  2. 2.Institut für InformatikUniversität RostockRostockGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-38229-1
  • Online ISBN 978-3-642-38230-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment