{"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}
引用次数: 8
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
