Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9421)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: WS-FM 2014. WS-FM 2015.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
-
Invited Talk
-
Expressiveness of Behavioral Models
Other volumes
-
Web Services, Formal Methods, and Behavioral Types
Keywords
- business process modelling
- cloud computing
- model checking
- service-oriented computing
- systems modeling
- behavioural software systems
- behavioural types
- cloud services
- collaborative systems
- communication-centred systems
- distributed systems
- formal methods
- performance analysis
- petri nets
- pi-calculus
- security analysis
- static analysis
- type checking
- unbounded networks
- verification
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.
Editors and Affiliations
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-33612-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-33611-4Published: 20 April 2016
eBook ISBN: 978-3-319-33612-1Published: 19 April 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVII, 167
Number of Illustrations: 36 b/w illustrations
Topics: Information Systems Applications (incl. Internet), Software Engineering, Logics and Meanings of Programs, Computer Communication Networks, System Performance and Evaluation, Management of Computing and Information Systems