摘要
语义Web服务要解决的一个主要问题就是如何实现服务组合自动化.主体技术因其智能性、自主性等特点在解决语义Web服务组合问题中具有较大优势.通过分析语义Web服务组合研究现状,分析主体、语义Web与Web服务的紧密关系,论证了基于主体的语义Web服务的可行性并描述了基于多主体的Web服务组合平台架构.介绍了基于主体技术的语义Web服务组合技术,将服务组合看成是一个多主体环境下的规划问题,给出语义Web服务作为主体动作子类的形式化定义,并针对服务组合问题增加限定条件,定义服务之间的5种关系,试图从逻辑角度,以描述逻辑为基本工具,突出服务的动态性与交互性.最后利用主体的目标规划以及基于描述逻辑的有效推理,给出了服务的自动组合算法.
The problem of Web service composition is the process of selecting, combining and executing existing services to establish reusable and versatile inter-operability applications. Currently, human beings perform manual Web service composition by reading information provided on service's Web pages. With the ever increasing number of Web services being made available on the Web, it is already beyond the human ability to analyze them and generate the composition process manually. This triggers an active area of research and development on automatic composition of Web services. Many researchers propose their composition approaches based on AI planning techniques. The major technical contributions of this paper are: 1 ) This paper first surveys the current problems and resolutions of semantic Web services and analyzes the relationship of the semantic Web, Web services and agents. Then an agent-based semantic Web service composition architecture is proposed. 2) The description logic is used, which is detailed as the formal tool of semantic Web and used to formalize the service composition problem, to represent the five different relationships of services. 3) An autonomic semantic Web service composition method is proposed based on planning algorithms by increasing limitation conditions and adopting agent strategies. By testing the approach to a simple, yet realistic example, the preliminary results demonstrate that the implementation provides a useful solution.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第4期643-650,共8页
Journal of Computer Research and Development
基金
国家自然科学基金项目(60435010)
国家自然科学基金重大方向面上项目(90604017)
国家"九七三"重点基础研究发展规划基金项目(2003CB317000)
关键词
语义WEB服务
服务组合
AI规划
动态描述逻辑
主体
semantic Web service
service composition
AI planning
dynamic description logic
agent