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

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

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

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