Analyzing Feasibility of Requirement Driven Service Composition

In a service-oriented architecture, how to analyze the feasibility of service composition according to the requirements of service consumers has become a problem that must be solved in service composition. A method for analyzing feasibility of requirement driven service composition is proposed. Based on the support function at different stages in the lifecycle of service composition, the composition process is divided into a number of independent function modules, colored Petri nets are used to model for them, meanwhile the QoS properties of services such as price and success probability are considered, the task failure and processing strategies are characterized. Based on this, combining with the requirements of service consumer, the definition of feasibility and a service schedulability strategy are advanced. ASK-CTL is introduced to describe and verify basic properties of model, and the corresponding analysis algorithm is also given. What's more, at the end of this paper, an example was given to simulate analysis process by using CPN Tools.