Title :
Modeling method of ontology web service interaction based on Coloured Petri Net
Author :
Meng Su ; Jing Gao
Author_Institution :
Coll. of Comput. & Inf. Eng., Inner Mongolia Agric. Univ., Huhhot, China
Abstract :
Formal verification of Web service composition is an important means for ensuring the quality of Web service. The Web service composition modeling is a key step of the validation of Web services interaction. Based on the semantic consistency of the Web services description semantic OWL-S and Coloured Petri net, this dissertation proposes a modeling method of Web services interaction based on the OWL-S and Coloured Petri Net and the description rules of OWL-S service operation semantics by CPN. And the analysis and verification of this modeling method has also been done.
Keywords :
Petri nets; Web services; knowledge representation languages; semantic Web; CPN; OWL-S service operation semantics; Ontology Web Language for Services; Web services description semantic; coloured Petri net; ontology Web service interaction; Analytical models; Computational modeling; OWL; Process control; Semantics; Web services; Coloured Petri net; OWL-S; Service Interaction; Service composition; Web service;
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2014 5th IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4799-3278-8
DOI :
10.1109/ICSESS.2014.6933528
