An Approach to Verify Executable Ability of Business Level Service Composition
Shan Bao · 2006
The executable ability of service composition in service-oriented environment has much uncertainty and busi- ness level service composition adds more uncertainty.There are many factors affecting the executable ability of business level service composition.Aimed at the influence of composition logic of service and method of matching from business service to concrete service on the executable ability of business level service composition,this paper presents an ap- proach based on colored-timed Petri net to verify the executable ability of business level service composition and then exhibits the usage of this approach in AmGrid.