Formal Methods for Web Services

Formal Methods for Web Services

4.11 - 1251 ratings - Source

This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2009, which was devoted to formal methods for web services.... derive the data links between message parts in order to obtain a first version of the data net diagram that can then be refined ... The Open Source BPEL Engine, 2. ... In: Proc. of IEEE International Conference on Web Services, ICWS 2006 (2006) 3. Amazon Services. AWSECommerceService WSDL Specification (2006), 4. ... Andrews, T., Curbera, F. , Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., anbsp;...

Title:Formal Methods for Web Services
Author:Marco Bernardo, Luca Padovani, Gianluigi Zavattaro
Publisher:Springer - 2009-05-22


You Must CONTINUE and create a free account to access unlimited downloads & streaming