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 35,69 €
price for Spain (gross)
  • ISBN 978-3-319-33612-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 43,68 €
price for Spain (gross)
  • ISBN 978-3-319-33611-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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

    Preview Buy Chapter 30,19 €
  • On the Suitability of Generalized Behavioral Profiles for Process Model Comparison

    Armas-Cervantes, Abel (et al.)

    Pages 13-28

    Preview Buy Chapter 30,19 €
  • Formal Verification of Petri Nets with Names

    Montali, Marco (et al.)

    Pages 29-47

    Preview Buy Chapter 30,19 €
  • Modeling and Formal Analysis of a Client-Server Application for Cloud Services

    Arcaini, Paolo (et al.)

    Pages 51-66

    Preview Buy Chapter 30,19 €
  • An Event-Based Approach to Runtime Adaptation in Communication-Centric Systems

    Di Giusto, Cinzia (et al.)

    Pages 67-85

    Preview Buy Chapter 30,19 €

Buy this book

eBook 35,69 €
price for Spain (gross)
  • ISBN 978-3-319-33612-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 43,68 €
price for Spain (gross)
  • ISBN 978-3-319-33611-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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