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. © 2009 Springer Berlin Heidelberg.
CITATION STYLE
Lomuscio, A., & Solanki, M. (2009). Towards an agent based approach for verification of OWL-S process models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5554 LNCS, pp. 578–592). https://doi.org/10.1007/978-3-642-02121-3_43
Mendeley helps you to discover research relevant for your work.