|
|
【答案】应助回帖
ly2122003(金币+10, 基金HEPI+1): ★★★★★最佳答案 谢谢 2012-01-16 11:00:38
. 基于约束规划的语义Web服务动态组合技术研究
负责人：廖乐健 参与人：廖乐健, 张艳, 林永钢, 任春阳, 方志, 陈若愚, 李鹏, 刘丹, 刘鹏, 曹晔
金额：30万 申请时间：2008 学科代码：网络环境下的协同技术(F020806) 项目批准号：60873237
申请单位：北京理工大学 研究类型：应用基础研究
关键词：语义Web服务；动态服务组合；约束规划；模型检测；过程约束模型
摘要：
Web服务组合是Web服务领域用于整合互联网的异构程序资源的主要技术。目前工业界主要采用的是基于工作流的静态服务组合，缺乏语义互操作性，而且无法支持开放环境下陌生服务间的发现与执行的全过程自动化。基于语义Web的动态服务组合是Web服务技术的发展方向。动态服务组合可视为动态环境下的不确定规划问题，模型检测规划是求解该问题的有效技术。本项目的主旨目标是针对语义Web动态服务组合的需求与特征，研究基于模型检测规划的动态服务组合。首先研究在语义Web动态服务组合的应用环境下模型检测规划的搜索求解算法与策略效率，包括基于约束传播与分层搜索相结合的模型检测搜索剪枝策略。同时基于这种策略，研究语义Web服务功能与过程的约束建模，并在此基础上开发相应的工具，构建包括服务发现选择、组合规划、执行监控验证等一系列动态服务计算功能的完整平台。 |
|
回复此楼