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].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Jordan, D., Evdemon, J.: Web Services Business Process Execution Language Version 2.0. Technical report, OASIS Standard (April 2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
He, Y., Zhao, L., Wu, Z., Li, F.: Formal Modeling of Transaction Behavior in WS-BPEL. In: International Conference on Computer Science and Software Engineering, CSSE 2008 (2008)
Guidi, C., Lucchi, R., Mazzara, M.: A Formal Framework for Web Services Coordination. ENTCS 180(2), 55–70 (2007)
Metayer, C., Abrial, J.-R., Voisin, L.: Event-B Language. Project IST-511599. RODIN (2005)
ClearSy: Rodin (2007), http://www.methode-b.com/php/travaux_r&d_methode_b_projet_RODIN_fr.php
Aït-Sadoune, I., Aït-Ameur, Y.: A Proof Based Approach for Modelling and Veryfing Web Services Compositions. In: 14th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2009, Potsdam, Germany, June 2-4, pp. 1–10 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aït Sadoune, I., Aït Ameur, Y. (2010). A Proof Based Approach for Formal Verification of Transactional BPEL Web Services. In: Frappier, M., Glässer, U., Khurshid, S., Laleau, R., Reeves, S. (eds) Abstract State Machines, Alloy, B and Z. ABZ 2010. Lecture Notes in Computer Science, vol 5977. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11811-1_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-11811-1_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-11810-4
Online ISBN: 978-3-642-11811-1
eBook Packages: Computer ScienceComputer Science (R0)