[發(fā)明專利]一種適應(yīng)需求變更的形式化Petri網(wǎng)模型自動演化方法

有效

• 申請?zhí)枺?/td>: 201710719892.4
• 申請日: 2017-08-21
• 公開（公告）號: CN107479893B
• 公開（公告）日: 2020-12-22
• 發(fā)明（設(shè)計）人: 李宗花;葉正偉
• 申請（專利權(quán)）人: 淮陰師范學(xué)院
• 主分類號: G06F8/20
• 分類號: G06F8/20
• 代理公司: 北京東方盛凡知識產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11562
• 代理人: 宋平

1.一種適應(yīng)需求變更的形式化Petri網(wǎng)模型自動演化方法，其特征在于包括以下步驟：

S1：設(shè)計模型檢查程序?qū)υ紭I(yè)務(wù)過程模型和修改后的業(yè)務(wù)過程模型進(jìn)行匹配檢查，檢查程序需要將這兩個模型中不匹配的內(nèi)容記錄下來，并根據(jù)內(nèi)容確定執(zhí)行的修改操作；

S2：設(shè)計模型探測程序定時檢查模型修改數(shù)據(jù)文件中的內(nèi)容，如果該文件中存在新的信息，則啟動所設(shè)計的模型演化程序，準(zhǔn)備開始執(zhí)行演化操作；

S3：設(shè)計模型演化程序讀取模型修改數(shù)據(jù)文件的內(nèi)容，根據(jù)該文件中記錄的更改操作和更改內(nèi)容調(diào)用Petri網(wǎng)模型中相應(yīng)的add、join、merge、update和delete演化操作，從而實現(xiàn)模型演化程序的自動執(zhí)行；

所述S3中的演化操作是基于Petri網(wǎng)元模型進(jìn)行設(shè)計，具體包括以下步驟：

S31：設(shè)計Petri網(wǎng)模型的元模型結(jié)構(gòu)；

S32：設(shè)計元模型元素的演化操作；所述的模型演化操作主要是對S31中的事件元素進(jìn)行設(shè)計，其具體步驟為：

S321：設(shè)計Petri網(wǎng)模型元素的演化操作；

S321中需要根據(jù)BPMN模型元素與Petri網(wǎng)模型元素之間的對應(yīng)關(guān)系，設(shè)計Petri網(wǎng)模型中的動態(tài)事件BehaviourTransition、靜態(tài)事件SilentTransition以及條件Place元素的演化操作；

S322：設(shè)計BehaviourTransition元素演化；

S322中根據(jù)BPMN模型元素與Petri網(wǎng)模型元素之間的對應(yīng)關(guān)系，BPMN模型中Task元素和IntermediateThrowEvent元素的結(jié)點合并修改會啟動BehaviourTransition元素的“merge”演化執(zhí)行；其演化操作的步驟如下：

S3221：設(shè)計一個QVT查詢，從黑盒庫中獲取被刪除的BehaviourTransition結(jié)點的id號；

S3222：執(zhí)行刪除BehaviourTransition結(jié)點操作；

S3223：獲取連接被刪除結(jié)點的輸入弧，刪除連接該弧的源Place結(jié)點；

S3224：刪除連接被刪除BehaviourTransition結(jié)點的輸出??；

S3225：修改被刪結(jié)點的輸入弧，將該弧的源端和目的端重新連接；

S323：設(shè)計SilentTransition元素演化；

S323所述的SilentTransition元素演化內(nèi)容，根據(jù)BPMN模型與Petri網(wǎng)模型之間的對應(yīng)關(guān)系，BPMN模型中的開始事件、結(jié)束事件和所有網(wǎng)關(guān)的修改會涉及到形式化Petri網(wǎng)模型中的SilentTransition元素的演化；其靜態(tài)事件元素的增加結(jié)點演化操作步驟如下：

S3231：設(shè)計一個查詢，獲取BPMN模型中新增網(wǎng)關(guān)元素的id號，同時在Petri網(wǎng)模型中克隆一個靜態(tài)變遷元素；

S3232：設(shè)置新增靜態(tài)變遷元素的名字；

S3233：克隆一個源“place”元素和一個源“Arc”元素；

S3234：設(shè)置新增“Arc”元素的源點和終點；

S324：設(shè)計Place元素演化；

S33：根據(jù)S31的元模型結(jié)構(gòu)和S32的演化操作，設(shè)計模型演化組件；

S34：基于Eclipse建模平臺，利用QVT模型轉(zhuǎn)換語言的in-place機(jī)制，實現(xiàn)模型演化組件開發(fā)。

2.根據(jù)權(quán)利要求1所述的一種適應(yīng)需求變更的形式化Petri網(wǎng)模型自動演化方法，其特征在于：所述S1的模型檢測組件是為了查找出業(yè)務(wù)過程模型中被修改的對象及其被修改的操作；具體包括以下步驟：

S11：以原始的BPMN模型文件和新BPMN模型文件為輸入；

S12：設(shè)計一致性匹配算法對原始BPMN模型和新BPMN模型進(jìn)行一致性匹配檢驗；

S13：創(chuàng)建一個XML格式的modification_datas文件，記錄模型修改的數(shù)據(jù)和操作；該記錄文件中根據(jù)BPMN模型的元模型結(jié)構(gòu)，設(shè)計包括：BPMN模型中的任務(wù)task、時序流sequenceFlow、消息流messageFlow和網(wǎng)關(guān)gateway的列表。