A proof based approach for formal verification of transactional BPEL web services

Authors:
Idir Aït Sadoune;Yamine Aït Ameur
Affiliations:
LISI/ENSMA-UP, Futuroscope-Poitiers, France;LISI/ENSMA-UP, Futuroscope-Poitiers, France
Venue:
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Year:
2010

Citing 3
Cited 0

A Formal Framework for Web Services Coordination

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Modeling of Transaction Behavior in WS-BPEL

CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 03
A Proof Based Approach for Modelling and VerifyingWeb Services Compositions

ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems

Quantified Score

Hi-index	0.01

Visualization

Abstract

The Service-Oriented Architectures (SOA) are increasingly used in various application domains. Nowadays various Services operate on the Web and access various critical resources such as databases. These services are called transactional web services when they perform transactional actions. This kind of Services must verify the relevant constraints related to transactional systems. In our work, we focus on web services described with BPEL [1].