Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Published on 25. April 2013
Book
Paperback/Softback
X, 151 pages
978-3-642-38229-1 (ISBN)
Description
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.
More details
Series
Edition
2013 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
55 s/w Abbildungen
X, 151 p. 55 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 10 mm
Weight
260 gr
ISBN-13
978-3-642-38229-1 (9783642382291)
DOI
10.1007/978-3-642-38230-7
Schweitzer Classification
Other editions
Additional editions
Maurice H. ter Beek | Niels Lohmann
Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
E-Book
05/2013
Springer
€48.14
Available for download
Content
Web Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied to Service Discovery and Coordination.