資源描述：
《用著色Petri網(wǎng)建模工作流模式》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫(kù)。
1、用著色Petri網(wǎng)建模工作流模式摘要：工作流模式指在工作流過(guò)程模型中反復(fù)出現(xiàn)的過(guò)程基本構(gòu)造，是衡量工作流建模語(yǔ)言在控制流方面的表達(dá)能力和適用性的重要標(biāo)準(zhǔn)。本文重點(diǎn)闡述了基于著色Petri網(wǎng)的工作流建模語(yǔ)言對(duì)當(dāng)前流行的20種工作流模式的支持情況，結(jié)果表明，該語(yǔ)言不僅能很好的支持全部模式，而且具有建模簡(jiǎn)潔、準(zhǔn)確的特點(diǎn)。同其它建模語(yǔ)言相比，用著色Petri網(wǎng)建模工作流模式具有較好的靈活性和擴(kuò)展性。關(guān)鍵詞：工作流；建模語(yǔ)言；模式；著色Petri網(wǎng)；控制流ModelingWorkflowPatternsUsingColoured
2、PetriNetsAbstract:Workflowpatternsrefertothebasicprocessconstructswhichoccurrepeatedlyinworkflowprocessmodels.Itisanimportantcriteriontoevaluatetheexpressivenessandsuitabilityofaworkflowmodelinglanguageincontrolflowperspective.Thispapergivesacomprehensiveanalysi
3、sontheadaptabilityoftheworkflowmodelinglanguagebasedonColouredPetriNetsinmodelingthe20popularworkflowpatterns.Theanalysisresultshowsthatwiththecharacteristicsofconcisionandpreciseness,thelanguagecansupportalltheworkflowpatternsverywell.Inaddition,comparedwithoth
4、ermodelinglanguages,ColouredPetriNets-basedmodelinglanguageismoreflexibleandextensibleinmodelingworkflowpatterns.Keywords:workflow;modelinglanguage;pattern;ColouredPetriNets;controlflow1.引言6近年來(lái)，工作流作為業(yè)務(wù)過(guò)程管理、業(yè)務(wù)過(guò)程協(xié)調(diào)及業(yè)務(wù)活動(dòng)監(jiān)控的核心技術(shù)，在企業(yè)信息化、政務(wù)電子化、教育數(shù)字化等領(lǐng)域得到越來(lái)越廣泛的應(yīng)用。目前，市場(chǎng)
5、上已有200多家工作流產(chǎn)品，其中工作流管理系統(tǒng)以Staffware、COSA、InConcert、FLOWer、MQSeries等比較有名。為進(jìn)行工作流過(guò)程的設(shè)計(jì)和定義，工業(yè)界和學(xué)術(shù)界提出了許多種過(guò)程建模語(yǔ)言。其中一些語(yǔ)言基于現(xiàn)存的建模技術(shù)，如Petri網(wǎng)、狀態(tài)圖、任務(wù)網(wǎng)、活動(dòng)圖等；其它語(yǔ)言都是系統(tǒng)特定的。Petri網(wǎng)是一種適合于描述并發(fā)特性的系統(tǒng)模型。它既有嚴(yán)格的形式化定義，又有直觀的圖形表示，既提供豐富的系統(tǒng)描述手段和系統(tǒng)行為分析技術(shù)，又為計(jì)算機(jī)科學(xué)提供堅(jiān)實(shí)的概念基礎(chǔ)[1]。著色Petri網(wǎng)是在傳統(tǒng)Petri網(wǎng)的基
6、礎(chǔ)上擴(kuò)展顏色得到的高級(jí)Petri網(wǎng)，它不僅繼承了傳統(tǒng)Petri網(wǎng)的所有優(yōu)點(diǎn)，更通過(guò)Token顏色值、庫(kù)所顏色集、弧表達(dá)式、警衛(wèi)函數(shù)等增強(qiáng)了控制邏輯表達(dá)能力[2]。筆者所在的工作流小組就采用了著色Petri網(wǎng)作為工作流過(guò)程建模語(yǔ)言。工作流模式指在過(guò)程模型中反復(fù)出現(xiàn)的過(guò)程基本構(gòu)造，與特定的工作流語(yǔ)言無(wú)關(guān)。在工作流模式方面的研究，以荷蘭青年學(xué)者WilvanderAalst的工作最為突出。在工作流模式[3]一文中，為比較不同工作流建模語(yǔ)言在控制流方面的表達(dá)能力和適用性，通過(guò)抽象多個(gè)組織中的實(shí)際業(yè)務(wù)需求，總結(jié)提出了20種常用的工
7、作流模式，并切實(shí)調(diào)查比較了15種商業(yè)工作流產(chǎn)品的建模語(yǔ)言對(duì)這些模式的支持情況。比較結(jié)果表明，目前還沒(méi)有任何產(chǎn)品支持全部20種模式。除5種基本控制流模式外，多數(shù)產(chǎn)品甚至只支持高級(jí)工作流模式（即模式6~20）的一個(gè)小的子集。在YAWL[4]一文中，作者指出Petri網(wǎng)適合建?；跔顟B(tài)的工作流模式，但對(duì)于一些高級(jí)模式（如多重實(shí)例模式、高級(jí)同步模式、取消模式等），傳統(tǒng)Petri網(wǎng)乃至高級(jí)Petri網(wǎng)，都顯得力不從心；即使能夠采用建模技巧做到支持這些高級(jí)模式，也會(huì)給過(guò)程設(shè)計(jì)人員帶來(lái)很大的工作負(fù)擔(dān)。為此，作者提出基于Petri網(wǎng)的
8、新工作流建模語(yǔ)言YAWL，通過(guò)設(shè)計(jì)一組具有全新語(yǔ)義的建模元素，并組合使用這些建模元素來(lái)支持全部模式。DanielMoldt等人提出使用ReferenceNet進(jìn)行基于模式的工作流設(shè)計(jì)[5]，ReferenceNet是面向?qū)ο蟮母呒?jí)Petri網(wǎng)，利用ReferenceNet的獨(dú)有特征（帶有同步通道和柔性弧的網(wǎng)實(shí)例）可以很容易的實(shí)現(xiàn)對(duì)
