PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lohmann N., (eds.) .. Web Services and Formal Methods. In: Web Services and Formal Methods. Revised selected papers. Editorial, pp. V - VI. Springer-Verlag, 2013.
 
 
Abstract
(English)
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.
URL: http://link.springer.com/book/10.1007/978-3-642-38230-7/page/1
DOI: http://dx.doi.org/10.1007/978-3-642-38230-7
Subject 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


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional