Towards an Agent-based Approach for Verification of OWL-S Process Models
Published on Jul 28, 20093369 Views
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