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

关键词：面向主体 服务模型 规则验证 多agent系统 srmo 

单位：清华大学软件学院 北京100084