Title :
Semantic Web Service Composition Based on OWL-S
Author :
Zhi-Jun, Ding ; Jun-li, Wang ; Chang-Jun, Jiang
Author_Institution :
Dept. of Comput. Sci. & Eng., Tongji Univ., Shanghai
Abstract :
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.
Keywords :
Petri nets; Web services; formal verification; knowledge representation languages; ontologies (artificial intelligence); semantic Web; OWL-S; Petri net; T invariant; formal Web service model; semantic Web service composition; Artificial intelligence; Automatic logic units; Computer science; Data security; Educational institutions; Information science; Privacy; Semantic Web; Web services; XML;
Conference_Titel :
Semantics, Knowledge and Grid, 2005. SKG '05. First International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2534-2
Electronic_ISBN :
0-7695-2534-2
DOI :
10.1109/SKG.2005.113
