CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Business-to-business interactions: issues and enabling technologies
The VLDB Journal — The International Journal on Very Large Data Bases
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Transactional patterns for reliable web services compositions
ICWE '06 Proceedings of the 6th international conference on Web engineering
Event-Based Design and Runtime Verification of Composite Service Transactional Behavior
IEEE Transactions on Services Computing
Modeling in Event-B: System and Software Engineering
Modeling in Event-B: System and Software Engineering
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |
A key challenge of Web Service (WS) composition is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to reason about the behavior of service compositions especially in case of failures. Therefore, there is a growing interest for verification techniques which help to prevent service composition execution failures. In this paper, we present a proof and refinement based approach for the formal representation, verification and validation of Web Services transactional compositions using the Event-B method.