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

• 作者: 邹蒙蒙 骆灵洁 骆翔宇
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 模型检测 web服务 OWL-S 认知逻辑 多智能体系统
• 年，卷（期）: 2012,（2）
• 页码范围: 134-139
• 分类号: TP393.03
• 字数: 4174字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2012.02.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	骆翔宇	华侨大学计算机科学与技术学院	12	73	4.0	8.0
2	骆灵洁	桂林电子科技大学计算机科学与工程学院	2	3	1.0	1.0
3	邹蒙蒙	桂林电子科技大学计算机科学与工程学院	2	3	1.0	1.0