Publication Date:
2013
abstract:
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.
Iris type:
03.12 Curatela di monografia/trattato scientifico
Keywords:
Web Services; Formal Methods; Business Process Modelling; Petri nets; Calculi; H.4 INFORMATION SYSTEMS APPLICATIONS; D.2.4 Software/Program Verification; D.2 SOFTWARE ENGINEERING; F.3 LOGICS AND MEANINGS OF PROGRAMS; K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS; H.3 INFORMATION STORAGE AND RETRIEVAL; H.5 INFORMATION INTERFACES AND PRESENTATION
List of contributors: