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

fYear

2014

fDate

27-29 June 2014

Firstpage

128

Lastpage

131

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Service Science (ICSESS), 2014 5th IEEE International Conference on

Conference_Location

Beijing

ISSN

2327-0586

Print_ISBN

978-1-4799-3278-8

Type

conf

DOI

10.1109/ICSESS.2014.6933528

Filename

6933528