Task Dependency and Execution Analysis for Web Services Composition

Abstract:

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. This paper presents a formal definition of Web services composition, and then analyzes task dependency rules of dataflow and behavior in Web services composition net system, finally, we introduce execution semantic of Web services composition net.

• Periodical: Applied Mechanics and Materials (Volumes 58-60)
• Pages: 963-967
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.58-60.963
• Online since: June 2011
• Authors: Xiao Yong Mei, Ai Jun Jiang, Shi Xian Li, Chang Qin Huang, Xiao Lin Zheng, Yi Yan Fan
• Keywords: Dependency Rule, Execution Contract, Execution Semantics Analysis, Web Service Composition

References

[1] 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: 10.1109/edoc.2006.59

[2] 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: 10.1109/snpd.2007.486

[3] H.Y. Sun, and 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: 10.1109/apscc.2007.12

[4] H.Y. Sun, and 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: 10.1109/scc.2007.33

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

DOI: 10.1145/1316550.1316551

[6] J. Li, H.B. Zhu, J. He, Specifying and Verifying Web Transactions, In Proc. International Conference on Formal Techniques for Networked and Distributed Systems, LNCS 5048, 2008, pp.149-168.

DOI: 10.1007/978-3-540-68855-6_10

[7] U. Greiner, E. Rahm, Quality-oriented handling of exceptions in web-service-based cooperative processes, In Proc. Proceedings of the 2004 workshop on Enterprise Application Integration, 2004, pp.149-168.

[8] S. Choi, H. Kim, et al. A framework for ensuring consistency of Web Services Transactions, Information and Software Technology, 2007, pp.1-13.