基于智能体的OWL-S过程模型验证

摘要：

为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证.将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证.提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证.实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性.

关键词：模型检测、web服务、OWL-S、认知逻辑、多智能体系统

所属期刊栏目：32

分类号：TP393.03(计算技术、计算机技术)

资助基金：国家自然科学基金60763004;华侨大学中央高校基本科研业务费项目JB-GJ1001;华侨大学高层次人才科研启动项目11BS108

在线出版日期：2012-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：134-139