基于賦時著色Petri網(wǎng)的工作流建模技術(shù)研究.pdf

1、近幾年來,工作流管理技術(shù)被業(yè)界廣泛采用并得到了迅速發(fā)展.它的主要特點是根據(jù)一系列過程規(guī)則,采用計算機技術(shù),使得業(yè)務(wù)流程完全或者部分地自動執(zhí)行.工作流管理系統(tǒng)最重要的功能之一就是工作流建模.這些預(yù)定義的過程模型必須能很好的反映實際業(yè)務(wù)流程,因此需要找尋更為靈活的工作流過程形式化表示方法及過程的執(zhí)行策略.為了判定新的業(yè)務(wù)過程模型是否正確,就必須對其進行分析.因此,需要研究使用仿真和形式化驗證技術(shù).Aalst的工作流網(wǎng)技術(shù)就是一個典型代表.A

2、alst的工作流網(wǎng)已被眾多研究人員所認(rèn)同,它是基于經(jīng)典Petri網(wǎng)所建立的.因此,它能精確地描述事件的順序、并發(fā)和沖突關(guān)系,使系統(tǒng)形象化,有利于理解.但是,傳統(tǒng)Petri網(wǎng)具有一些固有的缺陷:難以實現(xiàn)流程控制,不能描述時間性活動.因此,本文對經(jīng)典Petri網(wǎng)進行顏色擴展、時間擴展,在Aalst的工作流網(wǎng)基礎(chǔ)上提出了基于賦時著色Petri網(wǎng)的工作流網(wǎng),以及從業(yè)務(wù)流程到工作流網(wǎng)的映射算法.模型的正確性驗證一直是工作流過程定義階段的難點問題.

3、一些學(xué)者提出了基于圖規(guī)約法的驗證算法,這些算法研究主要集中在時間Petri網(wǎng)的驗證簡化上,很少有對賦時著色Petri網(wǎng)進行研究的,并且這些研究也局限于對簡單控制結(jié)構(gòu)的規(guī)約,對一些復(fù)雜結(jié)構(gòu)(如:AND-AND嵌套結(jié)構(gòu)、OR-OR嵌套結(jié)構(gòu))仍然束手無策.本文在這些算法的研究基礎(chǔ)上對賦時著色Petri網(wǎng)的各種結(jié)構(gòu)進行詳細(xì)的研究,提出了針對基于賦時著色Petri網(wǎng)的工作流網(wǎng)的圖規(guī)約驗證算法.最后,本文設(shè)計了一個用于進行模型元數(shù)據(jù)輸出的建模工具.