Spinning the OWL-S Process Model - Toward the Verification of the OWL-S Process Models

Anupriya Ankolekar, Massimo Paolucci, Katia P. Sycara. Spinning the OWL-S Process Model - Toward the Verification of the OWL-S Process Models. In David Martin, Rubén Lara, Takahira Yamaguchi, editors, Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, SWS@ISWC 2004, Hiroshima, Japan, November 8, 2004. Volume 119 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]

Abstract

Abstract is missing.