The Publication and Registration of Composite Services Based on Petri Net

Abstract:

in order to achieve the publication and registration of composite services, a new method is proposed based on Petri net with semantic markups. It mainly includes composite services process orchestration, composing web services and choice structures, executable planning, information registration, and so on. In addition, its corresponding platform has also been developed, which will further verify the effectiveness of this method.

• Periodical: Applied Mechanics and Materials (Volumes 380-384)
• Pages: 2231-2236
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.380-384.2231
• Online since: August 2013
• Authors: Bing Xian Ma, Dong Ming Xiang, Ran Yuan
• Keywords: Composite Service, Petri Net, Registration, Service Publication

References

[1] Wu Zhe-Hui, Introduction to Petri Nets, Beijing, China: Machine Press, (2006).

[2] Diane Jordan and John Evdemon, Web Services Business Process Execution Language Version 2. 0, [EB/OL]. (2007-04-11)[2013-3-31]. http: /docs. oasis-open. org/wsbpel/2. 0/OS/wsbpel-v2. 0-OS. html, (2007).

[3] James Pasley, How BPEL and SOA Are Changing Web Services Development, IEEE Internet Computing, vol. 9, pp.60-67, May (2005).

DOI: 10.1109/mic.2005.56

[4] Ma Bing-xian and Xu Ying-lei, Integrating PNML with OWL for Petri Nets, Proc. 2nd IEEE International Conference on Computer Science and Information Technology, IEEE, August 2009, pp.228-230.

DOI: 10.1109/iccsit.2009.5234711

[5] Bingxian Ma and Nengfu Xie, From OWL-S to PNML+OWL for Semantic Web Services, Proc. Second International Conference on Computer Modeling and Simulation, Springer, July 2010, pp.326-328.

DOI: 10.1109/iccms.2010.281

[6] DING Zhi-Jun, WANG Jun-Li, and JIANG Chang-Jun, An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service, Journal of information science and engineering, vol. 24, pp.1309-1328, (2008).

[7] Wei Tan, Yushun Fan, and MengChu Zhou, etc, Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach, IEEE Transactions on Automation Science and Engineering, vol. 7, pp.686-694, July (2010).

DOI: 10.1109/tase.2009.2034016

[8] PengCheng Xiong, YuShun Fan, and MengChu Zhou, A Petri Net Approach to Analysis and Composition of Web Services, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS Y, vol. 40, pp.376-387, (2010).

DOI: 10.1109/icsmc.2007.4414233

[9] Tang XF, Jiang CJ, Ding ZJ, and Wang C, A Petri Net-Based Semantic Web Service Automatic Composition Method, Journal of Software, vol. 18, pp.2991-3000, December (2007).

[10] MA Bing-xian, XIANG Dong-ming, and ZHANG Zheng-ming, Automatic Generation of Petri Net for Web Services Composition, Journal of Chinese Computer, vol. 34, pp.332-337, (2013).

[11] Apache. Reasoners and rule engines: Jena inference support [EB/OL]. [2013-03-31]. http: /jena. apache. org/ documentation/ Acknowledgement.

[12] XIANG Dong-ming, MA Bing-xian, and ZHANG Zheng-ming, Automatic Sharing Synthesis of Petri Nets Based on Semantic, Journal of System Simulation, vol. 24, pp.2237-2242, (2012).

[13] ZHANG Zheng-ming, MA Bing-xian, and XIANG Dong-ming, Research and Implementation of Web Service Registration Method Based on Petri Network, Telecommunications Science, vol. 11, pp.86-91, (2012).

[14] Valentı´n Valero,M. Emilia Cambronero, Gregorio Dı´az, etc. A Petri net approach for the design and analysis of Web Services Choreographies, Journal of Logic and Algebraic Programming. vol. 78, pp.359-380, (2009).

DOI: 10.1016/j.jlap.2008.09.002

[15] Alessandro Lapadula, Rosario Pugliese and Francesco Tiezzi, A Calculus for Orchestration of Web Services, Proc. Programming Languages and Systems, LNCS, Springer, 2007, pp.33-47.

[16] WANG Yong, DAI Gui-ping , and HOU Ya-rong, etc. Verification of Web Service Orchestration Based on Concurrent Transaction Logic, Chinese Journal of Electronics, vol. 37, pp.2228-2233, October (2009).