[發(fā)明專(zhuān)利]可定制依賴(lài)語(yǔ)義的高效用起源過(guò)濾方法

在審

• 申請(qǐng)?zhí)枺?/td>: 201710158061.4
• 申請(qǐng)日: 2017-03-16
• 公開(kāi)（公告）號(hào): CN107016065A
• 公開(kāi)（公告）日: 2017-08-04
• 發(fā)明（設(shè)計(jì)）人: 孫連山;侯濤;石麗波
• 申請(qǐng)（專(zhuān)利權(quán)）人: 陜西科技大學(xué)
• 主分類(lèi)號(hào): G06F17/30
• 分類(lèi)號(hào): G06F17/30
• 代理公司: 西安智大知識(shí)產(chǎn)權(quán)代理事務(wù)所61215
• 代理人: 段俊濤

1.一種可定制依賴(lài)語(yǔ)義的高效用起源過(guò)濾方法，其特征在于，包括以下步驟：

步驟1：檢查待過(guò)濾的起源圖，確保其為符合標(biāo)準(zhǔn)化起源模型及其模型約束的有向無(wú)環(huán)圖；

步驟2：聲明起源過(guò)濾需求，即待過(guò)濾的起源元素、直接及間接起源依賴(lài)關(guān)系；其中，過(guò)濾需求中待過(guò)濾的起源元素用起源圖中的節(jié)點(diǎn)表示，過(guò)濾需求中待過(guò)濾的直接或間接依賴(lài)關(guān)系用起源圖中的節(jié)點(diǎn)對(duì)表示；

步驟3：按照起源過(guò)濾機(jī)制中的過(guò)濾規(guī)則和修復(fù)規(guī)則處理待過(guò)濾的起源元素和依賴(lài)關(guān)系；

步驟4：按照起源過(guò)濾機(jī)制中的整理規(guī)則整理并更新步驟3的處理結(jié)果，得到起源過(guò)濾視圖；

步驟5：按照起源過(guò)濾視圖評(píng)估模型定量地評(píng)估起源過(guò)濾視圖的效用，生成起源過(guò)濾報(bào)告。

2.根據(jù)權(quán)利要求1所述可定制依賴(lài)語(yǔ)義的高效用起源過(guò)濾方法，其特征在于，所述起源圖具有可追溯的依賴(lài)語(yǔ)義，即，若任意節(jié)點(diǎn)v可以追溯到另一節(jié)點(diǎn)u，則u是v發(fā)生的部分起因在起源圖中，每個(gè)節(jié)點(diǎn)v表示一個(gè)起源元素，根據(jù)起源元素的類(lèi)型，將起源元素集合分為三個(gè)互不相交的子集：實(shí)體集、活動(dòng)集和代理集，所述實(shí)體集中，一個(gè)實(shí)體節(jié)點(diǎn)描述某個(gè)數(shù)據(jù)對(duì)象過(guò)去某個(gè)時(shí)間段或時(shí)間點(diǎn)的狀態(tài)，所述活動(dòng)集中，一個(gè)活動(dòng)節(jié)點(diǎn)表示在一段時(shí)間內(nèi)作用在實(shí)體節(jié)點(diǎn)上的過(guò)程或者會(huì)引起狀態(tài)發(fā)生變化的一系列操作，所述代理集中，一個(gè)代理節(jié)點(diǎn)表示為一個(gè)活動(dòng)的發(fā)生、一個(gè)實(shí)體的存在或另一個(gè)代理的活動(dòng)承擔(dān)某種責(zé)任的代理人或組織；

所述直接依賴(lài)關(guān)系表述如下：

若v是u的直接后果，u是v的直接起因，記為<u，v>,稱(chēng)v到u的直接依賴(lài)關(guān)系，或稱(chēng)v直接依賴(lài)于u，直接依賴(lài)關(guān)系包括如下類(lèi)型：

(1)Usage(使用依賴(lài))：活動(dòng)節(jié)點(diǎn)使用實(shí)體節(jié)點(diǎn)；

(2)Generation(產(chǎn)生依賴(lài))，實(shí)體節(jié)點(diǎn)由活動(dòng)節(jié)點(diǎn)產(chǎn)生；

(3)Association(關(guān)聯(lián)依賴(lài))，代理節(jié)點(diǎn)在活動(dòng)節(jié)點(diǎn)中承擔(dān)責(zé)任；

(4)Attribution(歸屬依賴(lài))，代理節(jié)點(diǎn)對(duì)實(shí)體節(jié)點(diǎn)承擔(dān)責(zé)任；

(5)Derivation(派生依賴(lài))，某實(shí)體節(jié)點(diǎn)由另一實(shí)體節(jié)點(diǎn)派生而來(lái)；

(6)Communication(通信依賴(lài))，某活動(dòng)節(jié)點(diǎn)v通信依賴(lài)于另一活動(dòng)節(jié)點(diǎn)u，v使用了u所產(chǎn)生的某個(gè)實(shí)體節(jié)點(diǎn)；

(7)Delegation(代理依賴(lài))，某代理節(jié)點(diǎn)代表另一代理節(jié)點(diǎn)；

所述間接依賴(lài)關(guān)系表述如下：

若v是u的間接后果，u是v的間接起因，則節(jié)點(diǎn)v對(duì)u有間接依賴(lài)關(guān)系；

通過(guò)如下定理表示相關(guān)起源依賴(lài)關(guān)系的傳遞性和可推理性：

(1)負(fù)責(zé)活動(dòng)節(jié)點(diǎn)一的代理節(jié)點(diǎn)一對(duì)該活動(dòng)產(chǎn)生的實(shí)體節(jié)點(diǎn)一負(fù)責(zé)，即實(shí)體節(jié)點(diǎn)一對(duì)代理節(jié)點(diǎn)一的歸屬依賴(lài)具有可推理性；

(2)負(fù)責(zé)代理節(jié)點(diǎn)二的上級(jí)代理節(jié)點(diǎn)一對(duì)該代理負(fù)責(zé)的實(shí)體節(jié)點(diǎn)一負(fù)責(zé)，即實(shí)體節(jié)點(diǎn)一對(duì)代理節(jié)點(diǎn)一的歸屬依賴(lài)具有可推理性；

(3)負(fù)責(zé)代理節(jié)點(diǎn)二的上級(jí)代理節(jié)點(diǎn)一對(duì)該代理負(fù)責(zé)的活動(dòng)節(jié)點(diǎn)一負(fù)責(zé)，即活動(dòng)節(jié)點(diǎn)一對(duì)代理節(jié)點(diǎn)一的關(guān)聯(lián)依賴(lài)具有可推理性；

(4)活動(dòng)節(jié)點(diǎn)一產(chǎn)生的某個(gè)實(shí)體節(jié)點(diǎn)一是活動(dòng)節(jié)點(diǎn)二開(kāi)始并隨后產(chǎn)生其它實(shí)體的必要條件，則活動(dòng)節(jié)點(diǎn)二通信依賴(lài)于活動(dòng)節(jié)點(diǎn)一，即活動(dòng)節(jié)點(diǎn)二對(duì)活動(dòng)節(jié)點(diǎn)一的通信依賴(lài)關(guān)系具有可推理性；

(5)活動(dòng)節(jié)點(diǎn)一通信依賴(lài)于活動(dòng)節(jié)點(diǎn)二，活動(dòng)節(jié)點(diǎn)二通信依賴(lài)于活動(dòng)節(jié)點(diǎn)三，則活動(dòng)節(jié)點(diǎn)一通信依賴(lài)于活動(dòng)節(jié)點(diǎn)三，即活動(dòng)節(jié)點(diǎn)之間的通信依賴(lài)關(guān)系具有傳遞性；

(6)代理節(jié)點(diǎn)三代表上級(jí)代理節(jié)點(diǎn)二，代理節(jié)點(diǎn)二代表其上級(jí)代理節(jié)點(diǎn)一，則代理節(jié)點(diǎn)三在一定程度上可以代表上級(jí)代理節(jié)點(diǎn)一，即代理節(jié)點(diǎn)之間的代理依賴(lài)關(guān)系具有傳遞性；

(7)若實(shí)體節(jié)點(diǎn)一派生依賴(lài)于實(shí)體節(jié)點(diǎn)二，實(shí)體節(jié)點(diǎn)二派生依賴(lài)于實(shí)體節(jié)點(diǎn)三，則實(shí)體節(jié)點(diǎn)一派生依賴(lài)于實(shí)體節(jié)點(diǎn)三，即實(shí)體節(jié)點(diǎn)之間的派生依賴(lài)關(guān)系具有傳遞性。

3.根據(jù)權(quán)利要求1所述可定制依賴(lài)語(yǔ)義的高效用起源過(guò)濾方法，其特征在于，所述步驟3，過(guò)濾順序?yàn)楸硎驹氐墓?jié)點(diǎn)、表示直接依賴(lài)關(guān)系的節(jié)點(diǎn)對(duì)、表示間接依賴(lài)關(guān)系的節(jié)點(diǎn)對(duì)，依據(jù)過(guò)濾對(duì)象的類(lèi)型及其直接前因節(jié)點(diǎn)和直接后果節(jié)點(diǎn)的類(lèi)型組合選擇并進(jìn)行過(guò)濾和修復(fù)操作。