论文信息 - Analysis Method of Dynamic Extensible Service Model Based on Petri-Net

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

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.

[1] Wu Jian. Colored Petri Net-Based Service Composition Modeling and Verification , 2012 .

[2] Yu Feng. A Reachability Determining Algorithm of Petri Net Based on Process Verification , 2010 .

[3] Ian T. Foster,et al. The Anatomy of the Grid: Enabling Scalable Virtual Organizations , 2001, Int. J. High Perform. Comput. Appl..

[4] Ian Foster,et al. The Grid 2 - Blueprint for a New Computing Infrastructure, Second Edition , 1998, The Grid 2, 2nd Edition.

[5] Ian T. Foster,et al. The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[6] Wei Li,et al. A Reachability Determining Algorithm of Petri Net Based on Process Verification: A Reachability Determining Algorithm of Petri Net Based on Process Verification , 2010 .

[7] Shi-Guang Ju,et al. A Petri Net Based Approach to Covert Information Flow Analysis , 2012 .

[8] Arie Shoshani,et al. The Grid 2: Blueprint for a New Computing Infrastructure (2nd edition), , 2003 .