Skip to Main Content
This paper introduces a method for automatic composition of Semantic Web services. First, according to OWL-S ServiceProfile, we define formal Web service model for meaningful matchmaking through the use of composition rules. These rules compare the syntactic and semantic features of Web services to determine whether two services are composable. Then, Petri net is used to model for composite service and its precedence relationship, also the relationship between composite service and T invariant is built. Therefore, the composition of Web services can be achieved by solving the Tinvariant.