[发明专利]基于行为一致条件下进行服务发现和替换方法

说明书

一、技术领域

本发明涉及面向服务的应用中服务的发现和替换技术，尤其是对服务的行为进行描述及在行为一致下进行服务发现和替换的方法。

二、背景领域

面向服务的软件开发近年来发展迅速并受到软件产业界和学术界越来越多的关注。面向服务的架构SOA中包含三个不同的角色，服务提供者(ServicesProvider)，服务使用者(Services Requester)和服务注册者(ServicesRegistries).服务提供者发布服务描述(Services div)到服务注册者中，服务使用者根据特定的服务描述从服务注册者中查询服务提供者，服务注册者返回给服务请求者一个符合服务描述的服务提供者的引用供其选择和绑定。在这个过程中，传统的服务描述主要关注服务的接口和静态属性信息，服务查找和替换时，通过精确的字段值或是语义的相似性匹配查找服务实现，这样可以保证服务发现时的接口一致性。但是由于缺乏对服务行为的有效描述，可能会导致服务运行时的功能性属性的不匹配，如使用服务时使用者对服务的调用序列与该服务的行为即其外部可见的操作序列不一致，则有可能引起运行时刻的错误。

为了解决该问题，要求在对服务进行描述的时候考虑服务的行为描述，并在服务发现、替换等各个阶段进行服务一致性的综合判断，以更好地实现面向服务应用的强壮性，有效性，和准确性。

三、发明内容

本发明的目的是针对现有的服务注册、查找、替换机制的不足，提供基于行为一致条件下服务的发现和替换方法，对服务增加行为描述，在服务发现和替换时，在行为一致的准则下进行，以提高面向服务应用中服务的使用安全。

为实现所述目的，本发明通过以下步骤来实现：

步骤一：服务提供者将服务注册到服务注册器中，并在注册时提供服务的行为描述；

步骤二：基于服务发现时的行为一致性规则，将满足服务使用者行为需求的服务提供给使用者；

步骤三：基于服务替换时的行为一致性规则，用新服务替换掉原有的服务。

步骤一中，服务行为的描述，是通过服务行为模型给出的。行为模型定义了一个服务的合法的操作序列，该序列也是这个服务合法行为的一种约束，每个服务的调用者都必须在调用服务时遵守该服务的行为约束。采用了一种Petrinet的变体WF-net作为行为模型的形式化方法.其形式化定义如下：

行为模型服务S的行为模型BM_s＝(P，T，F，i，o，TM)是一个基于WF-net定义的Petri net的变体，BM_s是一个WF-net当且仅当如下条件成立.

●P为BM_s库所集合.

●T为BM_s变迁集合，且P∩T＝φ.

●F为BM_s的弧线集合，且F∈(P×T)∪(T×P).

●i是BM_s的源库所，满足不存在任何t∈T，使得(t，i)∈F.

●o是BM_s的汇结库所，满足不存在任何t∈T，使得(o，t)∈F.

●TM：T→M_s∪{ε}，是一个标号映射函数。即将BM_s中每一个变迁映射为服务S所具有的一个接口方法m，如果没有对应的接口方法可供映射，则设置为ε，如果接口方法m被连接到了T中多个变迁，将会给每个变迁所对应的同一个接口方法m添加一个唯一的下标，记为m_i。