Advertisement

Web Services and Formal Methods

7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

  • Mario Bravetti
  • Tevfik Bultan
Conference proceedings WS-FM 2010

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

Table of contents

  1. Front Matter
  2. Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno (Terry) Heath III, Stacy Hobson et al.
    Pages 1-24
  3. Artem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer
    Pages 25-41
  4. César Andrés, M. Emilia Cambronero, Manuel Núñez
    Pages 56-70
  5. Esra Kucukoguz, Jianwen Su
    Pages 71-85
  6. Matthias Weidlich, Felix Elliger, Mathias Weske
    Pages 101-115
  7. Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve
    Pages 116-130
  8. Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn van der Werf
    Pages 131-145
  9. David Raymond Christiansen, Marco Carbone, Thomas Hildebrandt
    Pages 146-160
  10. Dinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn Lutz
    Pages 161-175
  11. Alexandra Potapova, Jianwen Su
    Pages 176-190
  12. Back Matter

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. The 11 revised full papers presented together with one invited paper were carefully reviewed and selected from 26 submissions. The papers feature topics such as web services; service oriented computing;  cloud computing; formal methods; verification specification; testing; and business process management.

Keywords

Petri nets business entity lifecycle formal semantics privacy policy refinement satisfiability sservice composition transition systems workflow execution workflow management

Editors and affiliations

  • Mario Bravetti
    • 1
  • Tevfik Bultan
    • 2
  1. 1.Department of Computer ScienceUniversity of BolognaBolognaItaly
  2. 2.University of CaliforniaSanta BarbaraUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-19589-1
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-19588-4
  • Online ISBN 978-3-642-19589-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site