Web Services and Formal Methods
Subtitle: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
By: edited by Maurice H. Beek, Niels Lohmann
Contributors: Lohmann, Niels; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7843
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 151
ISBN-13: 9783642382307
Subjects: Information Systems; Software engineering; User Interfaces and Human Computer Interaction; Logic design; Logics and Meanings of Programs; Information Systems Applications (incl. Internet); Computer science; Management of Computing and Information Systems; Programming Languages, Compilers, Interpreters
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.