工作流建模現(xiàn)狀課件

工作流建?，F(xiàn)狀工作流的定義工作流管理聯(lián)盟（WorkflowManagementCoalition)給予工作流的定義是：工作流是一類(lèi)能夠完全或者部分自動(dòng)化執(zhí)行的經(jīng)營(yíng)過(guò)程，它根據(jù)一系列過(guò)程規(guī)則，文檔、信息或任務(wù)能夠在不同的執(zhí)行者之間進(jìn)行傳遞與執(zhí)行。IBMAlmaden研究中心給出的工作流定義：工作流是經(jīng)營(yíng)過(guò)程的一種計(jì)算機(jī)化的表示模型，定義了完成整個(gè)過(guò)程所需用的各種參數(shù)。這些參數(shù)包括對(duì)過(guò)程中每一個(gè)步驟的定義、步驟間的執(zhí)行順序、條件以及數(shù)據(jù)流的建立、每一步驟由誰(shuí)負(fù)責(zé)以及每個(gè)活動(dòng)所需要的應(yīng)用程序。根據(jù)以上定義和我們對(duì)企業(yè)業(yè)務(wù)過(guò)程管理的理解，給出如下工作流定義：以企業(yè)的表單處理為中心，為了確定的經(jīng)營(yíng)目標(biāo)，在計(jì)算機(jī)環(huán)境的支持下，依據(jù)各種業(yè)務(wù)規(guī)則，協(xié)調(diào)不同的參與者實(shí)現(xiàn)經(jīng)營(yíng)活動(dòng)的集成與經(jīng)營(yíng)過(guò)程的自動(dòng)化。工作流模型現(xiàn)狀

主要的建模語(yǔ)言有如下幾種：圖形化語(yǔ)言：包括流程圖法、跨功能流程圖法、角色行為圖RAD、IDEF模型系列、事件過(guò)程鏈EPC模型、Petri網(wǎng)、UML模型中的StateDiagram、SequenceDiagram、ProcessDiagram等。XML語(yǔ)言：基于XML的典型業(yè)務(wù)過(guò)程定義語(yǔ)言是BPMI維護(hù)的BPML。其他類(lèi)似的語(yǔ)言還包括：BPQL、WSFL、XLANG、BPEL、WSCDL、XPDL等。形式化語(yǔ)言：如situationcalculus、ConGolog、Z等。工作流模型現(xiàn)狀

過(guò)程建模定義：反映了企業(yè)中一個(gè)經(jīng)營(yíng)過(guò)程的目的?；顒?dòng)：主要反映完成企業(yè)經(jīng)營(yíng)過(guò)程需要執(zhí)行哪些功能操作。轉(zhuǎn)換條件：負(fù)責(zé)為過(guò)程實(shí)例的推進(jìn)提供導(dǎo)航依據(jù)，對(duì)應(yīng)于企業(yè)經(jīng)營(yíng)過(guò)程中的業(yè)務(wù)規(guī)則和操作的順序。工作流相關(guān)數(shù)據(jù)：工作流引擎根據(jù)工作流相關(guān)數(shù)據(jù)和轉(zhuǎn)換條件進(jìn)行推進(jìn)。角色：描述企業(yè)經(jīng)營(yíng)過(guò)程中參與操作的人員和組織單位。需要激活的應(yīng)用程序：描述了用于完成企業(yè)經(jīng)營(yíng)過(guò)程所采用的工具或手段。工作流聯(lián)盟定義的過(guò)程元模型工作流模型現(xiàn)狀

EPC的工作流模型元素工作流模型現(xiàn)狀

基于Petri網(wǎng)的工作流模型—WF-net含義庫(kù)所對(duì)應(yīng)著過(guò)程中的條件，變遷對(duì)應(yīng)著過(guò)程中的可執(zhí)行活動(dòng)，庫(kù)所中的托肯代表一個(gè)過(guò)程實(shí)例的狀態(tài)。但是在建模過(guò)程中，如果使用條件和事件的概念，那么庫(kù)所就代表?xiàng)l件，變遷則代表事件。一個(gè)變遷(事件)有一定數(shù)量的輸入和輸出庫(kù)所，分別代表事件的前置條件和后置條件。庫(kù)所中的托肯代表可以使用的資源或數(shù)據(jù)。工作流模型現(xiàn)狀

WF-net定義的四種基本組件工作流模型現(xiàn)狀

事件：是發(fā)生在時(shí)間和空間上的一點(diǎn)的值得注意的事情。它在時(shí)間上的一點(diǎn)發(fā)生，沒(méi)有持續(xù)時(shí)間。如果某一事情的發(fā)生造成了影響，那么在狀態(tài)變遷圖模型中它是一個(gè)事件。狀態(tài)：描述了一個(gè)類(lèi)對(duì)象生命周期中的一個(gè)時(shí)間段。它可以用三種附加方式說(shuō)明：在某些方面性質(zhì)相似的一組對(duì)象值；一個(gè)對(duì)象等待一些事件發(fā)生時(shí)的一段時(shí)間；對(duì)象持續(xù)活動(dòng)時(shí)的一段時(shí)間。當(dāng)對(duì)象處于某種狀態(tài)時(shí)，它對(duì)觸發(fā)狀態(tài)變遷的觸發(fā)器事件很敏感。變遷：從狀態(tài)出發(fā)的變遷定義了處于此狀態(tài)的對(duì)象對(duì)外界發(fā)生的事件所做出的反映。通常，定義一個(gè)變遷要有引起變遷的觸發(fā)器事件、監(jiān)護(hù)(Guard)事件、變遷的動(dòng)作和變遷的目標(biāo)狀態(tài)。UML狀態(tài)變遷圖工作流模型現(xiàn)狀

活動(dòng)：是執(zhí)行某項(xiàng)任務(wù)的狀態(tài)，它可以是現(xiàn)實(shí)世界的一項(xiàng)工作?；顒?dòng)僅有一個(gè)起始點(diǎn)，但可以有多個(gè)結(jié)束點(diǎn)。動(dòng)作狀態(tài)(ActionState)，表達(dá)原子的或不可中斷的動(dòng)作或操作的執(zhí)行。當(dāng)它們處于執(zhí)行狀態(tài)時(shí)不允許發(fā)生轉(zhuǎn)換。動(dòng)作流(ActionFlow)，也稱(chēng)控制流或轉(zhuǎn)移，是不同活動(dòng)之間的聯(lián)系，說(shuō)明控制流。它的圖標(biāo)是一條實(shí)箭線(xiàn)。對(duì)象與對(duì)象流(ObjectandObjectFlow)：在UML活動(dòng)圖中可以出現(xiàn)對(duì)象。對(duì)象可以作為活動(dòng)的輸入或輸出，也可以與活動(dòng)進(jìn)行交互。UML活動(dòng)圖泳道(Swimlane)：泳道被用來(lái)組合活動(dòng)。通常情況下，根據(jù)活動(dòng)的功能來(lái)組合。泳道可以直接顯示動(dòng)作在哪一個(gè)對(duì)象中執(zhí)行，也可以顯示執(zhí)行的是一項(xiàng)組織工作的哪一部分?？刂乒?jié)點(diǎn)：UML活動(dòng)圖表面上很像一個(gè)傳統(tǒng)的流程圖，但是它不僅能夠表達(dá)順序流程控制還能夠表達(dá)并發(fā)流程控制和分叉流程控制。WfMC工作流參考模型接口1：工作流服務(wù)和工作流建模工具間接口，包括工作流模型的解釋和讀寫(xiě)操作；接口2：工作流服務(wù)和客戶(hù)應(yīng)用之間的接口，這是最主要的接口規(guī)范，它約定所有客戶(hù)方應(yīng)用與工作流服務(wù)之間的功能操作方式；接口3：工作流引擎和直接調(diào)用的應(yīng)用程序之間的直接接口。接口4：工作流管理系統(tǒng)之間的互操作接口。接口5：工作流服務(wù)和工作流管理工具之間的接口。工作流參考模型的體系結(jié)構(gòu)圖

工作流任務(wù)列表(WorklistHandler)。是工作流引擎和客戶(hù)端應(yīng)用之間的接口，工作流引擎通過(guò)存取工作流任務(wù)表完成到不同角色登陸的任務(wù)分發(fā)。工作流參考模型的體系結(jié)構(gòu)圖

工作流相關(guān)數(shù)據(jù)(WorkflowRelevantData)。工作流相關(guān)數(shù)據(jù)用來(lái)確定過(guò)程實(shí)例的轉(zhuǎn)換條件，并選擇下一個(gè)將要執(zhí)行的活動(dòng)。這些數(shù)據(jù)一般來(lái)自業(yè)務(wù)數(shù)據(jù)，被應(yīng)用程序修改，是在活動(dòng)之間傳遞的數(shù)據(jù)。工作流引擎根據(jù)工作流相關(guān)數(shù)據(jù)和轉(zhuǎn)移條件進(jìn)行推進(jìn)，工作流相關(guān)數(shù)據(jù)的屬性包括數(shù)據(jù)名稱(chēng)、數(shù)據(jù)類(lèi)型和數(shù)據(jù)值等。它是工作流實(shí)例推進(jìn)的依據(jù)。比如：在采購(gòu)需求單填寫(xiě)后，根據(jù)申請(qǐng)采購(gòu)的物料總額決定先一個(gè)執(zhí)行的活動(dòng)是什么，比如大于10萬(wàn)元的申請(qǐng)讓業(yè)務(wù)經(jīng)理處理，否則交給采購(gòu)處長(zhǎng)處理。這里采購(gòu)總金額就是工作流相關(guān)數(shù)據(jù)。工作流應(yīng)用數(shù)據(jù)（WorkflowApplicationData）。是那些由應(yīng)用程序操作的數(shù)據(jù)，針對(duì)應(yīng)用程序的，由企業(yè)完成具體業(yè)務(wù)功能所需要的數(shù)據(jù)，工作流管理系統(tǒng)無(wú)法也不需要訪問(wèn)它們。工作流控制數(shù)據(jù)（WorkflowControlData）。工作流引擎通過(guò)內(nèi)部的工作流控制數(shù)據(jù)辨別每個(gè)過(guò)程或者活動(dòng)實(shí)例以及活動(dòng)狀態(tài)。這些數(shù)據(jù)對(duì)于用戶(hù)、應(yīng)用程序或者其他工作流引擎都不可見(jiàn)，只由工作流引擎進(jìn)行控制。ICEWf工作流模型狀態(tài)、事件和約束條件的關(guān)系條件轉(zhuǎn)移條件前置條件后置條件工作流相關(guān)數(shù)據(jù)狀態(tài)事件活動(dòng)BO屬性確定并改變狀態(tài)產(chǎn)生改變使用屬于屬于屬于屬于屬于包括包括包括屬于轉(zhuǎn)移條件：控制工作流路由后置條件：確定后序狀態(tài)前置條件：活動(dòng)啟動(dòng)需滿(mǎn)足的條件人工事件：改變狀態(tài)用途：流程控制產(chǎn)生工作流任務(wù)列表為其他BO提供狀態(tài)111..n條件轉(zhuǎn)移條件前置條件后置條件工作流相關(guān)數(shù)據(jù)狀態(tài)事件時(shí)間事件人工事件11活動(dòng)111BO屬性0..n1角色11輸入/輸出數(shù)據(jù)0.n0.n產(chǎn)生/消費(fèi)邏輯連接符11..2ANDOR狀態(tài)變遷211XOR1111工作流元模型屬性名含義描述RelationSign關(guān)系運(yùn)算符號(hào)<,<=,>,>=,=,<>ArithmeticSign算術(shù)運(yùn)算符+,-,*,/,%LogicalSign邏輯運(yùn)算符And,orSetOpFunction集合操作函數(shù)Sum(),avg(),count(),min(),max()BOName.AttributeName業(yè)務(wù)對(duì)象.業(yè)務(wù)對(duì)象屬性名Constant常量例如：”已發(fā)貨”,29,12.3UserDef用戶(hù)自定義函數(shù)返回真假值條件表達(dá)式的語(yǔ)法采購(gòu)需求.提交采購(gòu)需求.審批采購(gòu)需求（設(shè)備及備件）采購(gòu)需求單ID物料ID物料數(shù)量需求日期需求填寫(xiě)人處長(zhǎng)金額>5000采購(gòu)需求.審批副經(jīng)理金額>10000采購(gòu)需求.審批總經(jīng)理NYYN審批結(jié)果=通過(guò)YN審批結(jié)果=通過(guò)Y審批結(jié)果=通過(guò)Y條件表達(dá)式的圖形表示采購(gòu)需求.提交采購(gòu)需求.審批采購(gòu)需求（設(shè)備及備件）采購(gòu)需求單ID物料ID物料數(shù)量需求日期處長(zhǎng)副經(jīng)理金額>5000采購(gòu)需求.審批經(jīng)理金額>10000采購(gòu)需求.審批NYYN審批結(jié)果=通過(guò)YN審批結(jié)果=通過(guò)Y審批結(jié)果=通過(guò)YNN需求填寫(xiě)人條件表達(dá)式的圖形表示采購(gòu)需求.提交采購(gòu)需求.審批采購(gòu)需求（設(shè)備及備件）采購(gòu)需求單ID物料ID物料數(shù)量需求日期處長(zhǎng)副經(jīng)理采購(gòu)需求.審批經(jīng)理采購(gòu)需求.審批需求填寫(xiě)人狀態(tài)=審批未通過(guò)狀態(tài)＝審批通過(guò)金額<=5000金額>5000金額>10000金額<=10000條件表達(dá)式的圖形表示狀態(tài)=審批未通過(guò)狀態(tài)＝審批通過(guò)狀態(tài)=審批未通過(guò)狀態(tài)＝審批通過(guò)采購(gòu)Req.編制Req.審核狀態(tài)=全部審核完事件：通知下一審核人plan.編制Req.審核事件：通知下一審核人狀態(tài)=全部審核完Qut.制定Order.編制Order.審核狀態(tài)=全部審核完事件：通知下一審核人Order.下達(dá)事件：計(jì)劃編制通知/兩月or計(jì)劃制定通知事件：訂單制定通知Req(物料)Plan(物料)OrderReq(物料)Plan(物料)Order物料員審核者計(jì)劃員業(yè)務(wù)員計(jì)劃員業(yè)務(wù)員審核者審核者狀態(tài)=審核未通過(guò)狀態(tài)=審核未通過(guò)狀態(tài)=審核未通過(guò)