Behavioral Analysis of Service Composition Patterns in ECBS Using Petri-Net-Based Approach

摘要

The service composition and scheduling activities are facing performance and complexity issues because of (a) large number of heterogeneous clouds, (b) integrating various service components into composite service. In order to facilitate such issues, the advent of automatic dynamic web service composition and scheduling methodology is required, such that the current trends of problem like service reusability, flexibility, statelessness, efficiency, etc. can be addressed. This work focus on the web service composition process in multi-cloud architecture, where various types of service composition patterns are discussed. The service composition patterns are classified according to the degree of heterogeneity of the services. It also helps to design the dynamic facets of composition patterns using Enterprise Service Composition Petri net (ESCP) model. Further, using the concepts of ESCP model and the reachability graph, several key properties like safeness, boundedness, fairness, etc. are analyzed formally.