The Petri Net Model of the Requirements and Service Composition

Abstract:

In the service-oriented environment, the composition of multiple web services is always used to satisfy the given request. To meet the request, the compositions of the services are various. Aim at such difficulty, described with the environment ontology, the relative theory of Petri net is proposed to build up the service composition requirement model. After simplify the model, an algorithm of building a reachability tree is proposed. Then all the possible service compositions are got through an algorithm similar as depth-first search. At last, we use the classic example of travel arrangement to verify the theory above all.

• Periodical: Applied Mechanics and Materials (Volumes 347-350)
• Pages: 2564-2570
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.347-350.2564
• Online since: August 2013
• Authors: Zhi Juan Chen, Rong Hua Ye
• Keywords: Environment Ontology, Petri Net, Reachable Tree, Service Composition

References

[1] Papazoglou Mike P. Service-oriented computing: concepts, characteristics and directions[C]/ Proceedings of the fourth international conference on web information systems engineering. Roma, Italy, 2003: 3-12.

[2] Wu Budan, Jin Zhi, Zhao bin. Service-oriented modeling based on whole process asset reuse[J]. Chinese journal of computers, 2008, 31(8): 1293-1308.

DOI: 10.3724/sp.j.1016.2008.01293

[3] Andreas W, Peter F. Matchmaking for business process based on choreographies [J]. IEEE on E-Technology, E-Commerce and E-Service, 2004: 359-368.

[4] Andreas W. Transforming BFEL into annotated deterministic finite State automata for service discovery [J]. IEEE on Web service, 2004: 316-323.

DOI: 10.1109/icws.2004.1314753

[5] Andreas W. IPSI-PF: A business process matchmaking engine [J]. Information systems and E-business management, 2004, 3(2): 127-150.

[6] Gwen S. Describing and reasoning on Web service using Process Algebra [J]. IEEE on Web services, 2004: 43-50.

[7] Andrea F. Web Service: A Process algebra approach[J]. ICSOC'04 Proceedings of the 2th international conference on Service oriented computing, 2004: 242-251.

[8] Peter C. A., Kommunikation mit Automaten. Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, 1962. In German. Also in: New York: Griffiss Air Force Base, Technical Report RADC-TR-65-377, vol. 1, pages 1-Suppl. 1. (1966).

[9] Ye Ronghua, Jin Zhi, Zhong Farong. Requirement mode and satisfiability decision for service compositon[J]. Journal of frontiers of computer science and technology, 2011, 5(5): 458-466.

[10] Wang Puwei, Jin Zhi, Liu Hongyan. The description and found of E-commerce software entity [J]. Science in China press, 2009, 39(12): 1271-1287.

[11] Wang Puwei, Jin Zhi, Liu Lin, et al. Building toward capability specifications of Web services based on an environment ontology[J]. IEEE Transactions on Knowledge and Data Engineering, 2008, 20(4): 547-561.

DOI: 10.1109/tkde.2007.190719

[12] Wang Puwei, Jin Zhi, Liu Hongyan. The function description and its findings of Internet ware entities[J]. Science in China: Series F Information Sciences, 2009, 39(12): 1271-1287.

[13] Ernst W. Mayr. An algorithm for the general Petri net reachability problem[J]. Society for industrial and applied mathematics, 1984, 13(3): 441-461.

[14] Liu T S, Chiou S, B. The Application of Petri Net to Failure Analysis[J]. Reliability engineering and system safety, 1997, 57: 129-142.

DOI: 10.1016/s0951-8320(97)00030-6

[15] Wu Zhehui. Introduction of Petri Net[M]. Beijing: China machine press, (2006).

[16] Peterson J.L. Petri net theory and system theory[M]. Xuzhou: China university of mining and technology press, (1989).

[17] Cai Guangjun, Jin zhi. Based on Environment Ontology web service description: a projection approach[J]. Computer science, 2009, 36（8）: 116-120.

[18] Wu Tongjia, Xiao xi'an. Introduction of set theory[M]. Dalian: Dalian university of technology press, (2008).