Web Service Automatic Composition Model Based on Colored Petri Nets

Kai Nie, Houxiang Wang, Xiaopei Jing, Zhihao Xie

College of Electronic and Information Engineering, Beijing University of Aeronautics and Astronautics, Beijing, China.
College of Electronic Engineering, Naval University of Engineering, Wuhan, China.

DOI: 10.4236/cn.2013.51B023                

Abstract

As the capability of an individual Web service is limited, it’s necessary to create new functionalities with existing Web services. Web services composition is the ability to create a new value-added service by incorporating some existing web services together. A model based colored Petri net (CPN) to provide semantic support for web service composition is proposed. The basic composite constructs in the model are sequence, concurrent, choice and loop. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Finally modeling composite processes of Web services based on CPN is applied to a case of naval vessel command and control system.

Keywords

Web Service; Colored Petri Net (CPN); Web Service Composition; WS-BPEL

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	A. Tsalgatidou and T. Pilioura, “An Overview of Standards and Related Technology in Web Services,” Distributed and Parallel Databases, Vol. 12, No. 2-3, 2002, pp. 135-162. doi:10.1023/A:1016599017660
[2]	S. Dustdar and W. Schreiner, “A Survey on Web Services Composition,” International Journal of Web and Grid Services, Vol. 1, No. 1, 2005, pp. 1-30. doi:10.1504/IJWGS.2005.007545
[3]	A. Bucchiarone and S. Gnesi, “A Survey on Services Composition Languages and Models,” in Proceedings of International Workshop on Web Services Modeling and Testing, Palermo. Berlin: Springer-Verlag Press, 2006, pp. 51-63.
[4]	J. Rao and X. Su, “A Survey of Automated Web Service Composition Methods,” Lecture Notes in Computer Science, Vol. 3387, 2005, pp. 43-54. doi:10.1007/978-3-540-30581-1_5
[5]	S. Dustdar and W. Schreiner, “A Survey on Web Services Composition,” International Journal of Web and Grid Services, Vol. 1, No. 1, 2005, pp. 1-30. doi:10.1504/IJWGS.2005.007545
[6]	A. I. Budak, B. Aleman-Meza and R. Zhang, “Ontology-driven Web Services Composition Platform,” in Proceedings of IEEE International Conference on E-commerce Technology, San Diego, Los Alamitos: IEEE Computer Society Press, 2005, pp. 146-152.
[7]	N. Milanovic and M. Malek, “Current Solutions for Web Service Composition,” IEEE Internet Computing, Vol. 8, No. 6, 2004, pp. 51-59. doi:10.1109/MIC.2004.58
[8]	R. Hamadi and B. Benatallah, “A Petri Net-based Model for Web Service Composition,” in Proceedings of the 14th Australasian Database Conference, Adelaide. Darlinghurt: Australian Computer Society, 2003, pp. 191-200.
[9]	Y. Guo, Y. Du and J. Xi, “A CP-net Model and Operation Properties for Web Service Composition,” Chinese Journal of Computers, Vol. 29, No. 7, 2006, pp. 1067-1075.
[10]	Z. Qian, S. Lu, L. Xie, “Automatic Composition of Petri Net based Web Services,” Chinese Journal of Computers, Vol. 29, No. 7, 2006, pp. 1057-1066.
[11]	J. P. Thomas, M. Tomas and G. Ghinea, “Modeling of Web Services Flow,” in Proceedings of IEEE International Conference on E-commerce, San Diego, California. Los Alamitos: IEEE Computer Society Press, 2005, pp. 391-398.
[12]	R. Hamadi and B. Benatallah, “A Petri Net-based Model for Web Service Composition,” In Proceedings of the 14th Australasian Database Conference, Adelaide. Darlinghurt: Australian Computer Society, 2003, pp. 191-200.
[13]	Z. Tan, C. Lin and H. Yin, “ Approximate Performance Analysis of Web Services Flow using Stochastic Petri net,” Lecture Notes in Computer Science, Vol. 3251, 2004, pp. 193-200. doi:10.1007/978-3-540-30208-7_31
[14]	H. Schuster, D. Georgakopoulos and A. Cichocki, “Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes,” Lecture Notes in Computer Science, Vol. 1789, 2000, pp. 247-263.
[15]	M. Lars, S. C. Kristiansen and K. Jensen, “The Practitioner’s Guide to Colored Petri Nets,” International Journal on Software Tools for Technology Transfer, Vol. 2, 1998, pp. 98-132. doi:10.1007/s100090050021
[16]	H. Kang, X. Yang and S. Yuan, “Modeling and Verification of Web Services Composition based on CPN,” in 2007 IFIP International Conference on Network and Parallel Computing-Workshops, IEEE Computer Society Press, 2007, pp. 613-617.
[17]	Z. Zhang, F. Hong and H. Xiao, “A Colored Petri Net-based Model for Web Service Composition,” Journal of Shanghai University, Vol. 12, No. 4, 2008, pp. 323-329.doi:10.1007/s11741-008-0409-2