Skip to main content
Conference ProceedingsOPEN ACCESS

Towards a formal verification of OWL-S Process Models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2005) 3729 LNCS 37-51
DOI: 10.1007/11574620_6
36Citations
Citations of this article
24Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

In this paper, we apply automatic tools to the verification of interaction protocols of Web services described in OWL-S. Specifically, we propose a modeling procedure that preserves the control flow and the data flow of OWL-S Process Models. The result of our work provides complete modeling and verification of OWL-S Process Models. © Springer-Verlag Berlin Heidelberg 2005.

Cite

CITATION STYLE

APA

Ankolekar, A., Paolucci, M., & Sycara, K. (2005). Towards a formal verification of OWL-S Process Models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3729 LNCS, pp. 37–51). https://doi.org/10.1007/11574620_6

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free