Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

Front Cover
Roberto Bruni, Karsten Wolf
Springer Science & Business Media, May 19, 2009 - Computers - 241 pages

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in conjunction with the 6th International Conference on Business Process Management, BPM 2008.

The 13 revised full papers presented together with one invited paper were carefully reviewed and selected from 39 submissions. The papers feature topics such as analysis, test, and verification; choreographies and process calculi; transactions and interoperability; workflows and petri nets.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Extended abstract
1
Modelling and Analysis of TimeConstrained Flexible Workflows with Time Recursive ECATNets
19
Contract Compliance and Choreography Conformance in the Presence of Message Queues
37
Verification of Choreographies During Execution Using the Reactive Event Calculus
55
RESTful Petri Net Execution
73
Validation and Discovery of Nondeterministic Semantic eServices
88
Fault Compensation and Termination in WSBPEL 20 A Comparative Analysis
107
Refactoring Long Running Transactions
127
OnTheFly ModelBased Testing of Web Services with Jambition
143
Towards a Formal Framework for Workflow Interoperability
158
Security Types for Sessions and Pipelines
175
Why Does My Service Have No Partners?
191
Proof Techniques for Adapter Generation
207
Efficient Controllability Analysis of Open Nets
224
Author Index
240
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information