Proceedings of the 3rd International Conference on Computer Science and Service System

A CPN-based Verification Method of Web Service described by OWL-S

Authors
Zhang Guanghao, Lan Yuqing
Corresponding Author
Zhang Guanghao
Available Online June 2014.
DOI
10.2991/csss-14.2014.13How to use a DOI?
Keywords
OWL-S; CPN; Web Service; Verification
Abstract

Web services are an important part of the Semantic Web. User and software agent should be able to discover, invoke, compose, and monitor web services with a high degree of automation. OWL-S is an ontology of services that makes these functionalities possible. However, OWL-S doesn’t provide verification method for Web services. A graphical and formal modeling tool, CPN (Colored Petri Net), is suitable for solving this problem. This paper proposes a more practical verification method of Web services. We firstly transform Web services described by OWL-S to CPN models. Then we take advantage of CPN theory to analyze Web services and conclude that the CPN model must satisfy three properties for ensuring the correctness of the Web service. In addition, our approach can automatically invoke Web service in CPN model, making the verification more accurate. We also present an implementation of our approach for modeling and verifying Web Services. This implementation needs an OWL-S description of a Web service, automatically generates a CPN model and performs the desired analysis. Furthermore, the results of this research will lay the foundation for the Web services composition and evaluation.

Copyright
© 2014, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 3rd International Conference on Computer Science and Service System
Series
Advances in Intelligent Systems Research
Publication Date
June 2014
ISBN
10.2991/csss-14.2014.13
ISSN
1951-6851
DOI
10.2991/csss-14.2014.13How to use a DOI?
Copyright
© 2014, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Zhang Guanghao
AU  - Lan Yuqing
PY  - 2014/06
DA  - 2014/06
TI  - A CPN-based Verification Method of Web Service described by OWL-S
BT  - Proceedings of the 3rd International Conference on Computer Science and Service System
PB  - Atlantis Press
SP  - 53
EP  - 58
SN  - 1951-6851
UR  - https://doi.org/10.2991/csss-14.2014.13
DO  - 10.2991/csss-14.2014.13
ID  - Guanghao2014/06
ER  -