Analysis Method of Dynamic Extensible Service Model Based on Petri-Net

Article Preview

Abstract:

It is a big challenge to realize the dynamic change of the network environment and users demands. A dynamic application customization and extensible service composition model is proposed in this paper. In order to guarantee the rationality of the service composition, the composition model of on-demand service that based on Petri net is proposed. Then the model is analyzed to validate whether the service composition can achieve the desired target. Finally, the result shows that the model can guarantee the correctness of extensible service, validate the rationality and effectiveness of the method.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 765-767)

Pages:

1618-1621

Citation:

Online since:

September 2013

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2013 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] Foster I et al. The Grid2: Blueprint for New Computing Infrastructure. 2nd Edition. New York, USA: Morgan Kaufmann Publishers, (2004).

Google Scholar

[2] Foster I, Kesselman C, Nick J , Tucker S. T he anatomy of the Grid: Enabling scalable virtual organizations. International Journal of Supercomputer Applications, 2001, 15( 3) : 200- 222.

DOI: 10.1177/109434200101500302

Google Scholar

[3] Yuan Chong-yi, Petri net theory, Beijing: Electronics Industry Press, (2005).

Google Scholar

[4] Fan Cheng, Jiang Jing, Dai Hong, Pan Zhen. Research of Service Dynamic-Extension Mechanism Based on SOA, Telecommunications Science, 2012. 9.

Google Scholar

[5] WU Zhe-Hui. Petri net introduction, Beijing: Machinery Industry Press, 2006. 4.

Google Scholar

[6] YU Feng, LU Jun-Zhou, LI Wei, WANG Peng. A Reachability Determining Algorithm of Petri Net Based on Process Verification. Chinese Journal of Computers, 2012. 2.

DOI: 10.3724/sp.j.1016.2010.00288

Google Scholar

[7] Zhou Cong-Hua, JU Shi-Guang. A Petri Net Based Approach to Covert Information Flow Analysis. Chinese Journal of Computers, 2012. 8.

DOI: 10.3724/sp.j.1016.2012.01688

Google Scholar

[8] YU Xiao, WU Jian-Zhang, WANG Wei. Colored Petri Net-Based Service Composition Modeling and Verification. Computer Systems & Applications. 2012. 9.

Google Scholar