Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers: 7843 - Brossura

 
9783642382291: Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers: 7843
Brossura
ISBN 10: 3642382290 ISBN 13: 9783642382291
Casa editrice: Springer, 2013

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Web Service Modeling and Analysis with Petri Nets and CSP.- Formal Methods Applied to Service Discovery and Coordination.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2013
Lingua
Inglese
ISBN 10 
3642382290
ISBN 13 
9783642382291
Rilegatura
Copertina flessibile
Numero di pagine
164
Redattore
Ter Beek Maurice H., Lohmann Niels
Contatto del produttore
non disponibile
Persona responsabile
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Germania

Altre edizioni note dello stesso titolo

9783642382314: Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

Edizione in evidenza

ISBN 10:  3642382312 ISBN 13:  9783642382314
Casa editrice: Springer, 2013
Brossura