Springer celebrates 175 years of publishing excellence! Join us >>

Programming and Software Engineering

Web Services, Formal Methods, and Behavioral Types

11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Editors: Hildebrandt, Th., Ravara, A., van der Werf, J.M., Weidlich, M. (Eds.)

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-319-33612-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $60.00
price for USA
  • ISBN 978-3-319-33611-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.

The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015.

The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 

Table of contents (9 chapters)

  • Kickstarting Choreographic Programming

    Montesi, Fabrizio

    Pages 3-10

  • On the Suitability of Generalized Behavioral Profiles for Process Model Comparison

    Armas-Cervantes, Abel (et al.)

    Pages 13-28

  • Formal Verification of Petri Nets with Names

    Montali, Marco (et al.)

    Pages 29-47

  • Modeling and Formal Analysis of a Client-Server Application for Cloud Services

    Arcaini, Paolo (et al.)

    Pages 51-66

  • An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

    Di Giusto, Cinzia (et al.)

    Pages 67-85

Buy this book

eBook $44.99
price for USA (gross)
  • ISBN 978-3-319-33612-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $60.00
price for USA
  • ISBN 978-3-319-33611-4
  • 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, Formal Methods, and Behavioral Types
Book Subtitle
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Editors
  • Thomas Hildebrandt
  • António Ravara
  • Jan Martijn van der Werf
  • Matthias Weidlich
Series Title
Programming and Software Engineering
Series Volume
9421
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-33612-1
DOI
10.1007/978-3-319-33612-1
Softcover ISBN
978-3-319-33611-4
Edition Number
1
Number of Pages
XVII, 167
Number of Illustrations and Tables
36 b/w illustrations
Topics