Formal Methods for Web Services
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.... semantic matching and reasoning techniques to automatically derive the data links between message parts in order to obtain a first version of the data net diagram that can then be refined by hand. ... The Open Source BPEL Engine, http: //www.activebpel.org 2. ... Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services, version 1.1 (2003) 7 .
| Title | : | Formal Methods for Web Services |
| Author | : | Marco Bernardo, Luca Padovani, Gianluigi Zavattaro |
| Publisher | : | Springer - 2009-05-22 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works:- 1. Register a free 1 month Trial Account.
- 2. Download as many books as you like (Personal use)
- 3. Cancel the membership at any time if not satisfied.
