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

The agent-based verification of OWL-S process model

作　　者：骆灵洁[1] 骆翔宇[2] 邹蒙蒙[1] 

机构地区：[1]桂林电子科技大学计算机科学与工程学院,广西桂林541004 [2]华侨大学计算机科学与技术学院,福建厦门361021

出　　处：《桂林电子科技大学学报》2012年第2期134-139,共6页Journal of Guilin University of Electronic Technology

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

摘　　要：为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证。将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证。提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证。实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性。The atomic process as agent and the semantic web service composition as multi-agent were abstracted,a formal model OWL-S2FSM for modeling OWL-S was proposed to ensure the correctness and reliability of the semantic web service composition.The proposed method supports temporal properties and epistemic properties.Two algorithms OWL-S2FSM and FSM2M were developed and implemented to translate OWL-S into FSM and FSM into the input language of MCTK.The experimental results show the MCTK is effective.

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

分 类 号：TP393.03[自动化与计算机技术—计算机应用技术]