The Executable Invocation Policy of Web Services Composition With Petri Net

Dongming Xiang; Nengfu Xie; Bingxian Ma; Kai Xu

doi:10.5334/dsj-2015-005

Abstract

The web service composition execution engine is a critical problem for web service composition. Based on Petri net and the analysis of structural relationships among web services, the invocation sequence of web service composition and its related invocation policies are fully studied in this paper. Also, the executable invocation policies of web service composition are successfully constructed based on Petri net. Finally, an example of a scientific computation service is given to validate the effectiveness of this method.

References

1 Ai, L., Tang, M., & Fidge, C. (2011) Partitioning composite Web services for decentralized execution using a genetic algorithm penalty-based genetic algorithm. Future Generation Computer Systems 27(3), pp 157–172.
Back to article
2 Cardinale, Y., & Rukoz, M. (2011) A framework for reliable execution of transactional composite Web services. Proceedings of the International Conference on Management of Emergent Digital Ecosystems, New York, USA, pp 129–136.
Back to article
3 Chen, S., Feng, Z., & Wang, H. (2010) Service Relations and Its Application in Services Oriented Computing. Chinese Journal of Computers 33(11), pp 2068–2083.
Back to article
4 Codehaus. xfire. Retrieved from the World Wide Web January 5, 2015: http://xfire.codehaus.org/.
Back to article
5 Darmstadt, C. R., Kuntze, N., & Velikova, Z. (2009) Secure Web Service Workflow Execution. Electronic Notes in Theoretical Computer Science (ENTCS) 236, pp 33–46.
Back to article
6 Ding, Z., Wang, J., & Jiang, C. (2008) An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web service. Journal of Information Science and Engineering 24(5), pp 1309–1328.
Back to article
7 Jordan, D., & Evdemon, J. (2007) Web services Business Process Execution Language Version 2.0[DB/OL]. Retrieved from the World Wide Web January 5, 2015:
Back to article
8 Jüngel, E. K., & Weber, M. (2000) The Petri net markup language. Petri Net Newsletter 59, pp 24–29.
Back to article
9 Kang, Z., Wang, H., & Hung, P. CK. (2007) WS-CDL+: An Extended WS-CDL Execution Engine for Web service Collaboration. In IEEE International Conference on Web Services (ICWS 2007).
Back to article
10 Kang, Z., Wang, H., & Hung, P. CK. (2007) WS-CDL+ for Web service Collaboration. Information Systems Frontiers 9(4), pp 375–389.
Back to article
11 Lapadula, A., Pugliese, R., & Tiezzi, F. (2007) A Calculus for Orchestration of Web Services. In Programming Languages and Systems, LNCS, 4421, pp 33–47.
Back to article
12 Ma, B., Xiang, D., & Zhang, Z. (2013) Automatic Generation of Petri Net for Web services Composition. Journal of Chinese Computer Systems 34(2), pp 332–337.
Back to article
13 Ma, B., & Xie, N. (2010) From OWL-S to PNML+OWL for Semantic Web Services. Second International Conference on Computer Modeling and Simulation, Sanya, China, pp 326–328.
Back to article
14 Ma, B., & Xu, Y. (2009) Integrating PNML with OWL for Petri Nets. 2nd IEEE International Conference on Computer Science and Information Technology, pp 228–230.
Back to article
15 McGuinness, D., & van Harmelen, F. (2011) OWL Web Ontology Language Overview [DB/ OL]. Retrieved from the World Wide Web January 5, 2015: http://www.w3.org/TR/owl-features/
Back to article
16 Mendes, R., & Paulo, F. P. (2009) WebFlowAH:An Environment for Ad-Hoc Specification and Execution of Web Services-based Processes. Proceedings of the 2009 ACM symposium on Applied Computing, New York, USA, pp 692–693.
Back to article
17 Narendra, N. C., & Orriens, B. (2007) Modeling Web service composition and execution via a requirements-driven approach. In Proceedings of the ACM Symposium on Applied Computing (SAC), Seoul, Korea, pp1642–1648.
Back to article
18 Park, C., & Park, S. (2008) Efficient execution of composite Web services exchanging intentional data. Information Sciences 178(2), pp 317–339.
Back to article
19 Suzumura, T., Trent, S., Tatsubori, M., Tozawa, A., & Onodera, T. (2008) Performance Comparison of Web Service Engines in PHP, Java and C. IEEE International Conference on Web Service (ICWS), pp 385 – 392.
Back to article
20 Tan, W., Fan, Y., Zhou, M., & Tian, Z. (2010) Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach. IEEE Transactions on Automation Science and Engineering 7(3), pp 686–694.
Back to article
21 Tang, X., Jiang, C., Ding, Z., & Wang, C. (2007) A Petri Net-Based Semantic Web Service Automatic Composition Method. Journal of Software 18(12), pp 2991–3000.
Back to article
22 Tang, X., Jiang, C., & Zhou, M. (2011) Automatic Web service composition based on Horn clauses and Petri nets. Expert Systems with Applications 38(10), pp 13024–13031.
Back to article
23 Tsamoura, E., Gounaris, A., & Manolopoulos, Y. (2011) Decentralized execution of linear workflows over Web services. FutureGenerComput System, 27(3), pp 341–347.
Back to article
24 Valero, V., Cambronero, M. E., Díaz, G., et al. (2009) Petri net approach for the design and analysis of Web Services Choreographies. The Journal of Logic and Algebraic Programming 78, pp 359–380.
Back to article
25 Wang, Y., Dai, G., Hou, Y., Fang, J., & Ren, X. (2009) Verification of Web Service Orchestration Based on Concurrent Transaction Logic. Chinese Journal of Electronics 37(10), pp 2228–2233.
Back to article
26 Xiang, D., Ma, B., & Zhang, Z. (2012) Automatic Sharing Synthesis of Petri Nets Based on Semantic. Journal of System Simulation 24(11), pp 2237–2242.
Back to article
27 Xiong, P., Fan, Y., & Zhou, M. (2010) A Petri Net Approach to Analysis and Composition of Web Services. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 40(2), pp 376–387.
Back to article
28 Yu, W. (2007) Peer-to-Peer Execution of BPEL Processes. The 19th International Conference on Advanced Information Systems Engineering, CAISE:Trondheim, Norway.
Back to article

The Executable Invocation Policy of Web Services Composition With Petri Net

Abstract

Paradigm

My account