Petri-Net-Based Analysis Method for Grid Services Composition Model

Although many methods for services composition can guarantee enforceability of services composition, they can not guarantee the rationality of services composition that can not determine whether an instance of services composition to achieve the desired target. Petri net-based model for grid service...

Full description

Saved in:
Bibliographic Details
Published in2010 International Conference on Innovative Computing and Communication and 2010 Asia-Pacific Conference on Information Technology and Ocean Engineering pp. 180 - 184
Main Authors Yu, Xue-li, Jiang, Jing, Xia, Bai-qiang, Pan, Zhen-kuan
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.01.2010
Subjects
dynamic reconfiguration
Educational institutions
Error correction
grid
Grid computing
Information analysis
Information technology
Libraries
Oceans
petri net
services composition
System testing
Underwater communication
Web services
Online AccessGet full text

Cover

More Information
Summary:Although many methods for services composition can guarantee enforceability of services composition, they can not guarantee the rationality of services composition that can not determine whether an instance of services composition to achieve the desired target. Petri net-based model for grid services compositon is proposed for the grid application system in the paper. Then the reachability, boundedness, liveness, etc. of the model are analyzed to validate whether the services composition to achieve the desired target. Finally, as an instance the Dynamic Application Customization and Service Compstosition System (DACSC) which was developed by our project team is modeled and analyzed to test the rationality and effectiveness of the method.
ISBN:9781424456345
1424456347
DOI:10.1109/CICC-ITOE.2010.54