Soundness Efficient Determination Algorithm of Services Composition in Surrounding Restraint Situation Based on OPN

Abstract

Abstract-It is important to analyze the soundness of the Web services composition. And the paper put forward a new method to determine the soundness. After modeling Web services area and Web surrounding area by the open Petri net, an efficient determination algorithm was offered to determine the soundness. At last, not only was the algorithm programmed, but also the paper verified the validity of the algorithm through the concrete example.