基于约束规划的语义Web服务动态组合技术研究

Web服务组合是Web服务领域用于整合互联网的异构程序资源的主要技术。目前工业界主要采用的是基于工作流的静态服务组合，缺乏语义互操作性，而且无法支持开放环境下陌生服务间的发现与执行的全过程自动化。基于语义Web的动态服务组合是Web服务技术的发展方向。动态服务组合可视为动态环境下的不确定规划问题，模型检测规划是求解该问题的有效技术。本项目的主旨目标是针对语义Web动态服务组合的需求与特征，研究基于模型检测规划的动态服务组合。首先研究在语义Web动态服务组合的应用环境下模型检测规划的搜索求解算法与策略效率，包括基于约束传播与分层搜索相结合的模型检测搜索剪枝策略。同时基于这种策略，研究语义Web服务功能与过程的约束建模，并在此基础上开发相应的工具，构建包括服务发现选择、组合规划、执行监控验证等一系列动态服务计算功能的完整平台。