[發(fā)明專利]基于行為一致條件下進行服務發(fā)現(xiàn)和替換方法

有效

• 申請?zhí)枺?/td>: 200710025615.X
• 申請日: 2007-08-08
• 公開（公告）號: CN101132402A
• 公開（公告）日: 2008-02-27
• 發(fā)明（設計）人: 呂建;胡昊;李興宇
• 申請（專利權）人: 南京大學
• 主分類號: H04L29/06
• 分類號: H04L29/06;H04L9/00;G06F17/30
• 代理公司: 南京蘇高專利事務所
• 代理人: 柏尚春

1.一種基于行為一致條件下進行服務發(fā)現(xiàn)和替換的方法，其特征在于包括如下步驟：

步驟一：服務提供者將服務注冊到服務注冊器中，并在注冊時提供服務的行為描述；

步驟二：基于服務發(fā)現(xiàn)時的行為一致性規(guī)則，將滿足服務使用者行為需求的服務提供給使用者；

步驟三：基于服務替換時的行為一致性規(guī)則，用新服務替換掉原有的服務。

2.根據(jù)權利要求1所述的基于行為一致條件下進行服務發(fā)現(xiàn)和替換的方法，其特征在于，步驟一中服務行為的描述，根據(jù)服務的行為模型進行，行為模型定義了一個服務的合法的操作序列，該序列采用了一種Petri?net的變體WF-net作為行為模型的形式化方法，

行為模型??服務S的行為模型BM_s＝(P，T，F(xiàn)，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{ε}，是一個標號映射函數(shù)，即將BM_s中每一個變遷映射為服務S所具有的一個接口方法m，如果沒有對應的接口方法可供映射，則設置為ε，如果接口方法m被連接到了T中多個變遷，將會給每個變遷所對應的同一個接口方法m添加一個唯一的下標，記為m_i；

如果在BM_s中加入一個新的變遷t^*，那么所得到的擴展后的Petri網(wǎng)${\mathrm{BM}}_s^{*}=(P,T\∪\left\{t^{*}\right\},F\∪\{(o,t^{*}),(t^{*},i)\},i,o,\mathrm{TM}\∪\{t^{*}\→\mathrm{\τ}\})$是強聯(lián)通的。