Verifying OWL-S Service Process Models

Yuzhang Feng, Markus Kirchberg. Verifying OWL-S Service Process Models. In IEEE International Conference on Web Services, ICWS 2011, Washington, DC, USA, July 4-9, 2011. pages 307-314, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.