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

权利要求书

1.一种基于行为一致条件下进行服务发现和替换的方法，其特征在于包括如下步骤：

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

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

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

2.根据权利要求1所述的基于行为一致条件下进行服务发现和替换的方法，其特征在于，步骤一中服务行为的描述，根据服务的行为模型进行，行为模型定义了一个服务的合法的操作序列，该序列采用了一种Petri net的变体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；

如果在BM_s中加入一个新的变迁t^*，那么所得到的扩展后的Petri网${\mathrm{BM}}_s^{*}=(P,T\∪\left\{t^{*}\right\},F\∪\{(o,t^{*}),(t^{*},i)\},i,o,\mathrm{TM}\∪\{t^{*}\→\mathrm{\τ}\})$是强联通的。