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 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.