图 书 馆
面向基于代理的OWL-S过程模型验证方法Towards an Agent-based Approach for Verification of OWL-S Process Models |
|
| 课程网址: | http://videolectures.net/eswc09_solanki_taaba/ |
| 主讲教师: | Monika Solanki |
| 开课单位: | 伦敦帝国学院 |
| 开课时间: | 2009-07-28 |
| 课程语种: | 英语 |
| 中文简介: |  |
| 课程简介: | 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. |
| 关 键 词: | 多代理系统; 符号模型; 受限数据类型 |
| 课程来源: | 视频讲座网 |
| 最后编审: | 2019-04-13：lxf |
| 阅读次数: | 36 |