Date Added: Oct 2008
With the popularity of Internet technology, web services are becoming the most promising paradigm for distributed computing. However, when a single web service fails to meet service requestor's multiple function needs, web services need to be dynamically configured together to form a web service composition. Since there may be many configurations providing identical functionality with different Quality-of-Service (QoS), a choice needs to be made according to users' functional and non-functional requirements. In this paper, the authors formulate a web service functional configuration problem by using Petri nets. The graph structure and algebraic properties of the model are analyzed in detail to show that a basis solution of a state-shift equation of the Petri net model corresponds to a realizable configuration process.