© 2014

Web Services and Formal Methods

10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers

  • Emilio Tuosto
  • Chun Ouyang
Conference proceedings WS-FM 2013

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 8379)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Jianwen Su, Yutian Sun
      Pages 13-25
  3. Regular Papers

    1. Front Matter
      Pages 27-27
    2. Laura Bocchi, Hernán Melgratti
      Pages 29-47
    3. Matthias Kunze, Mathias Weske
      Pages 69-84
    4. Andrea Margheri, Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi
      Pages 85-105
    5. Jonathan Michaux, Elie Najm, Alessandro Fantechi
      Pages 106-126
    6. Wusheng Wang, Thomas T. Hildebrandt
      Pages 127-146
    7. Xian Xu, Qiang Yin, Huan Long
      Pages 147-167
    8. Hengbiao Yu, Zhenbang Chen, Ji Wang
      Pages 168-187
  4. Back Matter
    Pages 189-189

About these proceedings


This book constitutes the thoroughly refereed post-workshop proceedings of the 10th International Workshop on Web Services and Formal Methods, WS-FM 2013, held in Beijing, China, in August 2013. The 8 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as control-flow relations using Petri nets, consistency of cloud stores, model checking, model-drives design, analysis of context-aware systems.


BPEL Web service Web services cloud based storage cloud computing cloud computing constraint satisfaction contextual design formal methods formal methods higher-order logic model checking model checking modeling petri nets petri nets

Editors and affiliations

  • Emilio Tuosto
    • 1
  • Chun Ouyang
    • 2
  1. 1.Computer ScienceUniversity of LeicesterLeicesterUnited Kingdom
  2. 2.Science and Engineering FacultyQueensland UniversityBrisbaneAustralia

Bibliographic information