[發(fā)明專利]一種基于本體規(guī)則描述的服務(wù)質(zhì)量等級(jí)驗(yàn)證方法

有效

• 申請?zhí)枺?/td>: 200910263397.2
• 申請日: 2009-12-18
• 公開（公告）號(hào): CN101741620A
• 公開（公告）日: 2010-06-16
• 發(fā)明（設(shè)計(jì)）人: 徐鋒;呂建;陶先平
• 申請（專利權(quán)）人: 南京大學(xué)
• 主分類號(hào): H04L12/24
• 分類號(hào): H04L12/24;H04L29/06
• 代理公司: 南京蘇高專利商標(biāo)事務(wù)所(普通合伙) 32204
• 代理人: 柏尚春

1.一種基于本體規(guī)則描述的服務(wù)質(zhì)量等級(jí)驗(yàn)證方法，其特征在于包括以下 步驟：

1)首先，找出服務(wù)質(zhì)量驗(yàn)證過程中的參與實(shí)體，參與實(shí)體包括：質(zhì)量標(biāo)準(zhǔn) 管理機(jī)構(gòu)SSMO、服務(wù)管理機(jī)構(gòu)SMO、服務(wù)發(fā)布方SP和服務(wù)Service；

2)以基于角色的信任管理關(guān)系定義步驟1)中的參與實(shí)體；

3)基于步驟2)中定義的參與實(shí)體和角色，給出SWRL的語法規(guī)則，通過 該語法規(guī)則得出角色分配的授權(quán)；

4)參與實(shí)體中的質(zhì)量標(biāo)準(zhǔn)管理機(jī)構(gòu)SSMO、服務(wù)管理機(jī)構(gòu)SMO和服務(wù)發(fā)布 方SP根據(jù)步驟3)的授權(quán)實(shí)現(xiàn)對(duì)標(biāo)準(zhǔn)、質(zhì)量等級(jí)的管理，通過這些授權(quán)給那些 滿足質(zhì)量標(biāo)準(zhǔn)的服務(wù)頒發(fā)等級(jí)證書；

5)基于步驟1)-4)中定義的實(shí)體、角色和授權(quán)進(jìn)行推理驗(yàn)證，在推理過 程中，每個(gè)授權(quán)都要判斷該授權(quán)中的角色分配是否是合法的，即要進(jìn)行Support? Proof；

6)將授權(quán)規(guī)則放入本體推理機(jī)中產(chǎn)生隱含知識(shí)后，然后判斷驗(yàn)證請求，若 為真，即某個(gè)服務(wù)達(dá)到某標(biāo)準(zhǔn)下的質(zhì)量等級(jí)要求，否則該服務(wù)達(dá)不到質(zhì)量等級(jí) 要求。

2.根據(jù)權(quán)利要求1所述的基于本體規(guī)則描述的服務(wù)質(zhì)量等級(jí)驗(yàn)證方法中， 其特征在于步驟2)中角色定義包括：

質(zhì)量標(biāo)準(zhǔn)管理機(jī)構(gòu)中定義的角色有：

a)某標(biāo)準(zhǔn)下的質(zhì)量等級(jí)StandardRank；

b)服務(wù)管理機(jī)構(gòu)組角色SMOGroup；

服務(wù)管理機(jī)構(gòu)定義的角色有：

a)該服務(wù)管理機(jī)構(gòu)中的等級(jí)角色SMORank；

b)服務(wù)發(fā)布方組角色SPGroup；

服務(wù)發(fā)布方中定義的角色有：

a)某類服務(wù)的角色ServiceRole。

3.根據(jù)權(quán)利要求1或2所述的基于本體規(guī)則描述的服務(wù)質(zhì)量等級(jí)驗(yàn)證方法， 其特征在于步驟3)SWRL的語法規(guī)則為：G＝＜V_N，V_T，P，delegation＞，其中V_N為非終結(jié)符號(hào)集合，V_T為終結(jié)符號(hào)組成的字母表，P為有窮非空的重寫規(guī)則集合， delegation為授權(quán)的識(shí)別符號(hào)；V_N＝{delegation，antecedent，consequent， objectPropertyName，variable，EC，RC，OP}，其中delegation表示授權(quán)， 對(duì)應(yīng)到SWRL中為swrl：Imp，antecedent為規(guī)則的前件，consequent為規(guī)則的 后件，variable是OWL中Entity、Role及其子類或swrl：Variable類對(duì)應(yīng)的 實(shí)例名，objectPropertyName為Entity和Role與其上下文相關(guān)聯(lián)的 owl：ObjectProperty的實(shí)例名；重寫規(guī)則集合P如下：

(1)delegation：＝antecedent→consequent

(2)antecedent：＝Entity(variable)EC^*|Entity(？variable)EC^*∧ hasRole(？variable，variable)

(3)consequent：＝(hasRole(variable，variable)|

hasRoleAndAssignment(variable，variable)|

hasRole(？variable，variable)|hasRoleAnd?

Assignment(？variable，variable))RC^*

(4)EC：＝∧OP(variable，variable)|ε

(5)RC：＝∧OP(variable，variable)|ε

(6)OP：＝objectPropertyName。