• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

计算机工程与科学 ›› 2010, Vol. 32 ›› Issue (5): 67-73.

• • 上一篇    下一篇

一种面向主体的服务规则模拟验证方法

李童,刘璘   

  1. (清华大学软件学院,北京100084)
  • 收稿日期:2009-11-15 修回日期:2010-02-09 出版日期:2010-04-28 发布日期:2010-05-11
  • 通讯作者: 李童 E-mail:litong08@mails.tsinghua.edu.cn
  • 作者简介:李童(1986),男,河北故城人,硕士,研究方向为面向服务的需求工程;刘璘,副教授,研究方向为需求工程和Agent技术。
  • 基金资助:

    国家自然科学基金资助项目(60873064);国家863计划资助项目(2007AA01Z122)

An AgentOriented Service Rules Validation Method

LI Tong,LIU Lin   

  1. (School of Software,Tsinghua University,Beijing 100084,China)
  • Received:2009-11-15 Revised:2010-02-09 Online:2010-04-28 Published:2010-05-11
  • Contact: LI Tong E-mail:litong08@mails.tsinghua.edu.cn

摘要:

本文基于面向主体的服务建模本体(SRMO),开展主体服务规则的模拟验证方法研究。SRMO将服务环境下的服务请求和提供双方描述为智能主体,对常用服务规则进行推理,从而实现开放服务环境下的服务自动发现、选择和匹配。为验证服务规则的合理性和正确性,本文提出了一种基于场景模拟的主体服务规则验证方法,基于该方法设计实现了面向主体的规则验证平台(AORVP),对SRMO中的当前服务规则集进行了验证。基于验证结果修正并完善了SRMO的服务规则集合。

关键词: 面向主体, 服务模型, 规则验证, 多Agent系统, SRMO

Abstract:

This paper proposes an approach to validating and simulating service rules based on an agentoriented Service Requirements Modeling Ontology (SRMO). SRMO models service requesters and providers as intentional actors, who carry out rulebased reasoning independently to realize automated service discovery, selection and matchmaking in the service environments. In order to validate the rationality and correctness of the rules, this paper presents an agentoriented service rules validation method, and implements an agentoriented rule verification platform (AORVP). As a result, the current rules in SRMO are validated with this tool, and are revised and improved based on the simulation reasoning results.

Key words: agentsoriented, service model, rule validation, multiagent system, SRMO

中图分类号: