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

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)

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  -