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.... SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures Marco Bernardo, Luca Padovani, Gianluigi Zavattaro ... Control Flow Requirements The eBS service main goal is to asell booksa. ... this depends on the fact that such a service, unlike credit card payment or cart handling, doesna#39;t need transactionality: we doanbsp;...
|Title||:||Formal Methods for Web Services|
|Author||:||Marco Bernardo, Luca Padovani, Gianluigi Zavattaro|
|Publisher||:||Springer Science & Business Media - 2009-05-12|