Web Services and Formal Methods
9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Erschienen am 25. April 2013
Buch
Softcover
X, 151 Seiten
978-3-642-38229-1 (ISBN)
Beschreibung
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.
Weitere Details
Reihe
Auflage
2013 ed.
Sprache
Englisch
Verlagsort
Berlin
Deutschland
Verlagsgruppe
Springer Berlin
Zielgruppe
Für Beruf und Forschung
Research
Illustrationen
55 s/w Abbildungen
X, 151 p. 55 illus.
Maße
Höhe: 235 mm
Breite: 155 mm
Dicke: 10 mm
Gewicht
260 gr
ISBN-13
978-3-642-38229-1 (9783642382291)
DOI
10.1007/978-3-642-38230-7
Schweitzer Klassifikation
Weitere Ausgaben
Andere Ausgaben
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 €
Als Download verfügbar
Inhalt
Web Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied to Service Discovery and Coordination.