Programming and Software Engineering

Web Services and Formal Methods

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

Editors: Carbone, Marco, Petit, Jean-Marc (Eds.)

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research
see more benefits

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-642-29834-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-642-29833-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (10 chapters)

  • Understanding Distributed Services through the π-Calculus

    Honda, Kohei

    Pages 1-1

  • Reliable Contracts for Unreliable Half-Duplex Communications

    Lozes, Étienne (et al.)

    Pages 2-16

  • Behavior Based Service Composition

    Chang, Fangzhe (et al.)

    Pages 17-31

  • Compatibility of Data-Centric Web Services

    Masson, Benoît (et al.)

    Pages 32-47

  • Time and Exceptional Behavior in Multiparty Structured Interactions

    López, Hugo A. (et al.)

    Pages 48-63

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-642-29834-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-642-29833-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Web Services and Formal Methods
Book Subtitle
8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Editors
  • Marco Carbone
  • Jean-Marc Petit
Series Title
Programming and Software Engineering
Series Volume
7176
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-29834-9
DOI
10.1007/978-3-642-29834-9
Softcover ISBN
978-3-642-29833-2
Edition Number
1
Number of Pages
IX, 143
Topics