Towards an Agent-based Approach for Verification of OWL-S Process Models

ABSTRACT: In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent systems. We take the vie