Towards an Agent-based Approach for Verification of OWL-S Process Models  thumbnail
Pause
Mute
Subtitles
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

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

Published on Jul 28, 20093368 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

Related categories