Overview
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7843)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: WS-FM 2012.
Buy print copy
About this book
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Web Services and Formal Methods, WS-FM 2012, held in Tallinn, Estonia, in September 2012. The 9 papers presented were carefully reviewed and selected from 19 submissions. They cover aspects such as the modeling and analysis of web services, service discovery, and service coordination with formal methods like BPEL, CSP, Maude, and Petri nets.
Similar content being viewed by others
Keywords
Table of contents (9 papers)
-
Front Matter
-
Web Service Modeling and Analysis with Petri Nets and CSP
-
Formal Methods Applied to Service Discovery and Coordination
-
Back Matter
Other volumes
-
Web Services and Formal Methods
Editors and Affiliations
Bibliographic Information
Book Title: Web Services and Formal Methods
Book Subtitle: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Editors: Maurice H. Beek, Niels Lohmann
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-38230-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-38229-1Published: 25 April 2013
eBook ISBN: 978-3-642-38230-7Published: 15 May 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 151
Number of Illustrations: 55 b/w illustrations
Topics: Information Systems Applications (incl. Internet), Software Engineering, Management of Computing and Information Systems, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, User Interfaces and Human Computer Interaction