真并發(fā)等價(jià)性下的流程模型轉(zhuǎn)換方法

張曼　段振華

摘要：針對(duì)工作流建模過(guò)程中流程模型的演化問(wèn)題，在真并發(fā)等價(jià)性概念下，提出將圖形化控制流模型轉(zhuǎn)換為順序與并發(fā)結(jié)構(gòu)可分隔處理的可分離形式的方法，采用自由選擇工作流網(wǎng)建模控制流模型，以完全并發(fā)互模擬為真并發(fā)等價(jià)概念，定義兩個(gè)安全網(wǎng)間是完全并發(fā)互模擬關(guān)系的充分條件；基于Petri網(wǎng)的網(wǎng)展開(kāi)，提出獲得工作流網(wǎng)的可分離形式的局部網(wǎng)展開(kāi)算法；通過(guò)證明局部展開(kāi)網(wǎng)與原工作流網(wǎng)滿足完全并發(fā)互模擬的充分條件，保證兩個(gè)網(wǎng)模型的等價(jià)性，所提轉(zhuǎn)換方法與已有方法相比，能夠保留并發(fā)層次，且所需步驟更少，有利于流程模型的演化。