基于描述逻辑规则的语义Web服务组合

针对OWL-S语义Web服务自动组合问题,提出了一种基于描述逻辑(DL)规则的建模和组合方法.将ServiceProfile中的原子服务及其输入、输出参数分别建模DL中角色和概念,将概念间上下位关系和ProcessProfile中组合流程模型建模为DL规则,以一种统一的方式刻画语义Web服务的静态功能语义和动态交互特征;提出了刻画顺序服务组合的DL规则链和描述Split+Join结构的服务组(WSC)模型,将并发服务组合转为基于WSC的顺序组合,将语义Web服务组合归结为WSC和DL规则链发现过程.与已有的方法相比,该方法将语义Web服务组合问题统一在DL规则的框架下,弥补了基于DL无法描述Web服务动态特征的缺陷,避免了Petri网推理和谓词演算等进行Web服务组合时限于命题逻辑层面无法充分利用语义信息的问题,也克服了基于智能规划的组合方法限于顺序组合的问题.

基于动态描述逻辑的Web服务自动组合技术

提出了一种利用动态描述逻辑（DDL）的动态推理自动组合Web服务的方法。DDL是描述逻辑（DL）的一种动态扩展，它结合本体提供的静态信息与Web服务提供的计算，统一地描述和推理Web环境中静态信息与动态知识。该方法充分利用Web服务组合中涉及的静态知识（如描述逻辑知识库刻画的领域公理、具体环境和用户需求等）和动态知识（DDL中动作刻画的Web服务的功能），将Web服务组合的问题归约为DDL公式的可满足性问题，并通过一个可判的表扩展算法解决。开发了基于动态描述逻辑D—ALCHOQ的原型系统，并针对旅行代理问题的实验初步证实了该方法的可行性及潜在的应用前景。

基于聚类Web服务的组合服务模式规约

Web服务组合是提高服务质量的实用方法,但如何实施有效的服务组合一直是研究的难点。基于此,提出了一种通过建立组合服务模式规约来验证服务组合有效性的方法。依据经过聚类后各个类别服务间的关联性关系分析,首先提出组合服务模式的概念和确定其方法、原则;然后给出Web服务中组合服务模式规约;最后通过使用组合服务模式规约,应用飞机订票的实验验证了Web服务组合的有效性。

结合对策论与多目标MILP的Web服务组合调度问题求解

针对单目标优化问题,结合对策论与多目标混合整数线性规划(MILP),提出一种Web服务组合(WSC)调度方法。根据5个基本的服务质量(Qo S)属性定义WSC的Qo S属性,将WSC调度问题转换为求解MILP问题,服务商之间的交互模拟为一个非合作、不完备的贝叶斯对策,利用参与者的贝叶斯纳什均衡保证服务商对于组合任务的公平竞争,从而达到最小化执行时间和成本,同时最大化声誉、可靠性和可用性的目标。数值分析结果表明,该方法具有较高的求解效率,能避免效应函数中的多属性聚合现象,适用于求解中小规模的WSC调度问题。

基于SOA和WEB服务组合的供应链协同平台研究

系统集成是供应链协同的基础,供应链协同需要跨组织、跨平台的系统集成支持,而SOA和WSC符合供应链协同的系统集成要求,基于SOA架构和WEB服务组合技术为企业间的协同提供了一个开放、可重组业务处理单元的系统集成环境,文中对SOA和WEB服务组合的系统构架和技术方法进行了详细介绍。最后,将该架构和方法应用于一个供应链协同实例中,实验证明,基于SOA和WEB服务组合是实施供应链协同过程中对相关异构系统进行整合和协调的有效方法。