将OWL-S过程映射到多代理系统:一种面向验证的方法

2009 International Conference on Advanced Information Networking and Applications Workshops Pub Date : 2009-05-26 DOI:10.1109/WAINA.2009.52

A. Lomuscio, M. Solanki

{"title":"将OWL-S过程映射到多代理系统:一种面向验证的方法","authors":"A. Lomuscio, M. Solanki","doi":"10.1109/WAINA.2009.52","DOIUrl":null,"url":null,"abstract":"We investigate the mapping of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker tailored to the verification of multi agent systems. In our approach, services are viewed as agents, and service compositions as multi agent systems. We show how various composition constructs defined in OWL-S can be encoded into ISPL by using the proposed mapping rules. We use an extended version of the BravoAir process model from the OWL-S suite of examples to illustrate the technique.","PeriodicalId":159465,"journal":{"name":"2009 International Conference on Advanced Information Networking and Applications Workshops","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach\",\"authors\":\"A. Lomuscio, M. Solanki\",\"doi\":\"10.1109/WAINA.2009.52\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We investigate the mapping of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker tailored to the verification of multi agent systems. In our approach, services are viewed as agents, and service compositions as multi agent systems. We show how various composition constructs defined in OWL-S can be encoded into ISPL by using the proposed mapping rules. We use an extended version of the BravoAir process model from the OWL-S suite of examples to illustrate the technique.\",\"PeriodicalId\":159465,\"journal\":{\"name\":\"2009 International Conference on Advanced Information Networking and Applications Workshops\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-05-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 International Conference on Advanced Information Networking and Applications Workshops\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WAINA.2009.52\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 International Conference on Advanced Information Networking and Applications Workshops","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WAINA.2009.52","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

摘要

我们研究了OWL-S过程模型到ISPL的映射，ISPL是MCMAS的系统描述语言，是一种专门用于验证多智能体系统的符号模型检查器。在我们的方法中，服务被视为代理，而服务组合被视为多代理系统。我们将展示如何使用建议的映射规则将在OWL-S中定义的各种组合构造编码为ISPL。我们使用OWL-S示例套件中的BravoAir流程模型的扩展版本来说明该技术。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Mapping OWL-S Processes to Multi Agent Systems: A Verification Oriented Approach

We investigate the mapping of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker tailored to the verification of multi agent systems. In our approach, services are viewed as agents, and service compositions as multi agent systems. We show how various composition constructs defined in OWL-S can be encoded into ISPL by using the proposed mapping rules. We use an extended version of the BravoAir process model from the OWL-S suite of examples to illustrate the technique.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2009 International Conference on Advanced Information Networking and Applications Workshops

自引率

0.00%

发文量