Sciweavers

Share
ESWS
2009
Springer

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

11 years 3 months ago
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 view that services can be considered as agents and service compositions as multi agent systems. We illustrate how atomic and composite processes in OWL-S can be encoded into ISPL using the proposed transformation rules for a restricted set of data types. As an illustrative example, we use an extended version of the BravoAir process model. We formalise certain interesting properties of the example in temporal-epistemic logic and present results from their verification using MCMAS.
Alessio Lomuscio, Monika Solanki
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where ESWS
Authors Alessio Lomuscio, Monika Solanki
Comments (0)
books