A Service Composition optimization Model Based on Petri Nets and Service Contracts

With the increase of Web services on the Internet, the services available to users have also become diversified. How to quickly and accurately provide the appropriate services for users has become a research hotspot. Therefore, this paper proposes a service composition optimization method based on the extended Petri net. This method realizes the automatic mapping from the user functional requirements to the service process of the abstract layer firstly. Secondly, the user’s non-functional requirements constraints are labeled on the service process by means of the service contract semantics of the extended Petri net, and then the service composition optimization model is fully and accurately defined. At last, in order to efficiently solving the optimization model, the SCoriented fuzzy matching algorithm and the SC-oriented service composition optimization genetic algorithm are designed. The proposed method can quickly and accurately provide the highquality service solutions for users.