
en
en-es
en-fr
en
en-sl
en
en
0.25
0.5
0.75
1.25
1.5
1.75
2
Towards an Agent-based Approach for Verification of OWL-S Process Models
Published on Feb 4, 20253371 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