Towards an agent based approach for verification of OWL-S process models
M. Solanki. 6th Annual European Semantic Web Conference (ESWC2009), стр. 578-592. (июня 2009)
Аннотация
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.
%0 Conference Paper
%1 towards2009
%A Solanki, Monika
%B 6th Annual European Semantic Web Conference (ESWC2009)
%D 2009
%K MCMAS OWL-S Semantic_Web Semantic_Web_Services Test Validation Web_Service model_checking multi_agent_systems verification
%P 578-592
%T Towards an agent based approach for verification of OWL-S process models
%U http://data.semanticweb.org/conference/eswc/2009/paper/88
%X 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.
@inproceedings{towards2009,
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.},
added-at = {2009-05-29T11:44:15.000+0200},
author = {Solanki, Monika},
biburl = {https://www.bibsonomy.org/bibtex/2d5dbb144f67a93e8a5aadbbc3437e5e6/eswc2009},
booktitle = {6th Annual European Semantic Web Conference (ESWC2009)},
interhash = {7fa122a7e9ffbb8e911f99665a2d341a},
intrahash = {d5dbb144f67a93e8a5aadbbc3437e5e6},
keywords = {MCMAS OWL-S Semantic_Web Semantic_Web_Services Test Validation Web_Service model_checking multi_agent_systems verification},
month = {June},
pages = {578-592},
timestamp = {2009-05-29T11:44:16.000+0200},
title = {Towards an agent based approach for verification of OWL-S process models},
url = {http://data.semanticweb.org/conference/eswc/2009/paper/88},
year = 2009
}