A CPN-based Verification Method of Web Service described by OWL-S
- 10.2991/csss-14.2014.13How to use a DOI?
- OWL-S; CPN; Web Service; Verification
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.
- © 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 -