论文部分内容阅读
基于过程的服务合成实现企业内部与企业之间的业务流程的整合正成为目前的研究热点。独立的服务被称作组件服务，合成服务被表示为业务流程。通常，在INTERNET上，存在大量提供相同功能满足不同QoS的等价服务，对这些等价服务的选择在服务合成的过程之中是必然的。为了实现服务合成的高效、有效，已经存在一些工作流模型的研究来建模和分析服务合成的业务流程，但是这些研究都没有在模型中显式地表示组件服务的QoS和基于QoS的对组件服务的选择。因此，本文提出了一个基于QoS的工作流模型——SCCPN。它是一个基于着色网的模型，用颜色集表示组件服务的QoS和选择策略，用卫式函数(guardfunction)表示对组件服务的选择。CPNTools是被广泛使用的着色网编辑和模拟工具之一。在本文中，它被用来建模合成服务，模拟组件服务的选择、绑定和执行，同时利用这个工具提供的形式化方法分析整个业务流程的并发性质。最后，基于SCCPN模型，我们提出了一个计算业务流程QoS的算法。本文的主要贡献在于提出了基于QoS的服务合成模型，在模型中显式地表示组件服务的QoS，选择策略以及基于QoS的对组件服务的选择。在模型的基础上，提出了基于用户选择策略和组件服务QoS的服务选择算法。当存在多个满足用户需要的组件服务时，采用了基于效用函数的加权平均算法选出具有最高值的组件服务。