摘要
本文提出一个基于动态描述逻辑的Web服务自动组合框架.在该框架中,Web服务自动组合被划分为逻辑层和实现层两部分,于是服务的自动组合问题在逻辑上归结为一个动作规划问题,在实现上归结为一个根据动作选择具体服务的服务选择问题.基于该框架,本文给出了一个支持非线性QoS聚合和显式数据流声明的QoS模型.得益于合理的服务组合框架和QoS模型,本文提出的服务选择方法可以将复杂服务分解为较小的服务,然后分别用递归的剪枝算法求解.实验显示该方法是有效的,不但可适应候选Web服务数量较大的情况,且相对于现有方法能更好地处理服务组合中的复杂结构.
This paper proposes a semantic model for web service based on Dynamic Description Logic(DDL).In this paper,service composition is divided into two stages:logic plan stage and grounding stage.Therefore,a service composition problem is reduced to an action planning problem at the planning stage and a QoS-aware service selection problem at the grounding stage.This paper mainly focuses on the QoS model and service selection.A composite service is divided to several smaller services,which are then solved separately by a recursive branchand-bound algorithm.Experiments show that the proposed approach is efficient and scalable for runtime service selection,and better handles complicated structure of service composition than existing approaches.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2010年第8期1923-1928,共6页
Acta Electronica Sinica
基金
国家自然科学基金(No.60775035
No.60903141
No.60933004
No.60970088)
国家973重点基础研究发展计划(No.2007CB311004)
国家863高技术研究发展计划(No.2007AA01Z132)
国家科技支撑计划(No.2006BAC08B06)
中国科学院研究生院院长基金(No.O85101JM03)
关键词
服务质量
动态描述逻辑
服务选择
服务组合
分治算法
QoS
dynamic description logic
service selection
service composition
divide-and-conquer algorithm