以Web服务为基础的面向服务的体系结构的迅速发展,为互联网应用提供了一种共享数据的有效手段。Web服务组合为企业业务应用提供了极大的灵活性。如何有效地解决Web服务在异构应用之间、松散耦合环境下的互操作、集成和协作等问题,就成为国内外软件技术研究的重要方向。本项目是对Web服务的建模方法以及服务的组合方法的研究。 Web服务建模方面采用基于动作时序逻辑(TLA)的方法进行Web服务描述以解决服务行为的形式化描述问题;在对Web服务选择的研究方面,采用定性的方法,使用偏爱逻辑以及CP-net的方法对用户的偏爱进行建模。Web服务协作方面,对WS-CDL进行了扩充以提升其描述能力,并提出了扩充后的语言WS-CDL+的执行引擎的原型系统,提高了Web服务协作语言的实用性。对Web服务组合的研究主要采用TLA和强化学习的方法。给出了单个Web服务的TLA规范,并提出了实现单个服务的TLA规范组合成复合服务TLA规范的算法思想,并且利用TLC对组合的结果进行了验证。采用强化学习的方法实现Web服务组合,提出一种完整的解决方案,不仅研究服务的功能属性,又充分考虑非功能属性。
英文主题词Services;Modeling; Selection;Composition