A Novel Web Services Composition Compensation Method Based on Extended Petri-Net


Article Preview

Web Services Composition (WSC)-based applications are widely using in the heterogeneous environment, which has inevitably led to the need for reliable methods for the WSC paradigm Firstly this paper presents formal description of Web service and then proposes a novel WSC compensation method based on paired net which can dynamically construct agile compensation business process according to original business process and implements it. Secondly, we introduce a formal definition of execution logs, which ensures the reliability and consistency of composition execution. Finally, Composition-based application of trip reservation process shows that it is feasible.



Advanced Materials Research (Volumes 225-226)

Edited by:

Helen Zhang, Gang Shen and David Jin




X. Y. Mei et al., "A Novel Web Services Composition Compensation Method Based on Extended Petri-Net", Advanced Materials Research, Vols. 225-226, pp. 1084-1087, 2011

Online since:

April 2011




[1] G. Dobson, Using WS-BPEL to implement software failure tolerance for Web services, In Proc. 32nd EUROMICRO Conference on Software Engineering and Advanced Applications, IEEE Press, pp.126-133, (2006).

DOI: https://doi.org/10.1109/euromicro.2006.63

[2] W.L. Dong, H. Yu, et al. Testing BPEL-based Web Service Composition Using High-level Petri-nets, In Proc. 10th IEEE International Enterprise Distributed Object Computing Conference, pp.441-444, (2006).

DOI: https://doi.org/10.1109/edoc.2006.59

[3] X.G. Deng, Z.Y. Lin, et al. Modeling Web Service Choreography and Orchestration with Colored Petri-nets, In Proc. 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, pp.838-843, (2007).

DOI: https://doi.org/10.1109/snpd.2007.486

[4] H.Y. Sun, J. Yang, Exploiting CoBTx-Net to Verify the Reliability of Collaborative Business Transactions, In Proc. 2nd IEEE Asia-Pacific Service Computing Conference, 2007, pp.415-422.

DOI: https://doi.org/10.1109/apscc.2007.4414489

[5] H.Y. Sun, J. Yang, BTx-Net: A Token Based Dynamic Model for Supporting Consistent Collaborative Business Transactions, In Proc. IEEE International Conference on Services Computing, pp.415-422, (2007).

DOI: https://doi.org/10.1109/scc.2007.33

[6] M. Kovács, D. Varró, et al. Formal Modeling of BPEL Workflows Including Failure and Compensation Handling, In Proc. the workshop on Engineering failure tolerant systems, (2007).

DOI: https://doi.org/10.1145/1316550.1316551

[7] R. Hamadi, Formal composition and recovery policies in service-based business processes, PhD thesis, The University of New South Wales, Sydney, Australia, (2005).

[8] R. Hamadi, B. Benatallah, et al. Self-adapting recovery nets for policy-driven exception handling in business processes, Distributed and Parallel Databases, Vol. 23, No. 1, pp.1-44, (2008).

DOI: https://doi.org/10.1007/s10619-007-7020-1

[9] Activebpel, http: /www. activebpel. org/download, End- points corporation.