陈 莉 萍

(渭南师范学院 网络安全与信息化学院，陕西 渭南 714099)



【现代应用技术研究】

Web服务组合中事务驱动的服务选择有限自动机

陈 莉 萍

(渭南师范学院 网络安全与信息化学院，陕西 渭南 714099)

对于Web服务组合来说，组件服务的可靠性和一致性是非常重要的要求，然而传统面向QoS的组合方法中并没有考虑到组件服务的事务约束。文章提出了一种利用Web服务事务属性进行服务选择的方法。在该方法中定义了Web服务的事务属性和反映用户事务需求的冒险度，建立了事务驱动的服务选择有限自动机，并用实验证明该选择机制是有效的。

Web服务；事务驱动；工作流模式；有限自动机

Web服务是实现SOA的最佳方法之一，它的目标就是通过SOAP[1]、WSDL[2]、UDDI[3]等协议和规范建立一个松耦合的集成模型，从而实现跨组织的组合服务。目前很多研究主要集中在对组件服务求解QoS上，实现了QoS全局或局部最优的Web服务选择[4-6]。然而它们无法保证组合服务执行时的一致性和可靠性。为了实现Web服务运行结果的可靠性和一致性，必须在服务选择时引入事务处理机制[7]。传统的事务模型的ACID特性并不能完全应用在Web服务的事务处理中[8]。在此本文提出了一种利用Web服务事务属性进行服务选择的方法，利用该方法使得选择出的服务组合运行时是一致的、可靠的。它也可以和QoS服务选择相结合，在保证一致性、可靠性运行前提下，实现QoS最优选择。首先利用Web服务事务属性进行服务选择的方法定义了服务的事务属性。……