一種基于產(chǎn)生式的流程管理模型分析方法(編輯修改稿)
2025-07-16 05:43 本頁面
【文章內(nèi)容簡介】 組合使用類似的表達(dá)式S=S1amp。8226。S2amp。8226。S3。在不會引起誤會的場合也可以直接省略“amp。8226?！狈柖苯訉㈨樞蚪M合的服務(wù)并置在一起，如S=ab，S=abc。 ?。?）并發(fā)算子：它表達(dá)了服務(wù)的并發(fā)組合邏輯，在流程模型中被廣泛用來刻畫沒有因果聯(lián)系的活動的并發(fā)執(zhí)行。服務(wù)的并發(fā)組合可以表示為 S=S1+S2 這個表達(dá)式代表的語義是S(context)=S2(context)+S1(context)，稱之為服務(wù)的“和”。如上文所述，context的合并時機(jī)和規(guī)則取決于流程引擎的具體實(shí)現(xiàn)。多個服務(wù)的并發(fā)組合使用類似的表達(dá)式S=S1+S2+S3。 ?。?）選擇算子：它用來表達(dá)流程中服務(wù)的路由選擇邏輯。許多類型的流程模型中存在這樣的路由邏輯；服務(wù)的選擇依賴于運(yùn)行時具體的流程上下文內(nèi)容。選擇算子被用來刻畫這種動態(tài)路由邏輯。首先，定義服務(wù)的動態(tài)選擇函數(shù)表示為 Eval:contextservice 其中，context是流程中服務(wù)啟動時的上下文狀態(tài)；service是流程實(shí)例運(yùn)行時選擇執(zhí)行的服務(wù)分支；Eval函數(shù)定義了上下文狀態(tài)到服務(wù)分支的映射。在這個基礎(chǔ)上，服務(wù)選擇邏輯可表示為 S=Eval?S1|S2 這個表達(dá)式代表的語義是S(context)等于S1(context)還是S2(context)取決于Eval函數(shù)對context映射的結(jié)果。多個服務(wù)的選擇邏輯可以用類似的表達(dá)式表達(dá)S=Eval?S1|S2|S3。在靜態(tài)表達(dá)流程結(jié)構(gòu)時，可以忽略選擇函數(shù)而把選擇表達(dá)式簡寫為 S=S1|S2|S3 從這個定義出發(fā)，可以得出選擇算子表達(dá)的是所謂的XOR選擇邏輯sup[15]/sup。從這個算子可以擴(kuò)展出一些新的算子，用來表達(dá)很常見的一些流程模式，如While循環(huán)和DoWhile循環(huán)模式。本文使用閉包算子“S*”和正閉包算子“S+”來表達(dá)。 下面進(jìn)一步分析這三種基本服務(wù)復(fù)合算子的性質(zhì)?？紤]流程模型中服務(wù)的語義，結(jié)合上文中對順序、并發(fā)和選擇算子的詳細(xì)討論，針對算子的運(yùn)算法則，有如下結(jié)論： ?。?）順序算子不具備交換律，即一般情況下，S1amp。8226。S2≠S2amp。8226。S1； ?。?）順序算子具有結(jié)合律，即(S1amp。8226。S2)amp。8226。S3=S1amp。8226。(S2amp。8226。S3)； ?。?）并發(fā)算子具有交換律，即S1+S2=S2+S1； ?。?）并發(fā)算子具有結(jié)合律，即(S1+S2)+S3=S1+(S2+S3)； ?。?）選擇算子具有交換律，即S1|S2=S2|S1； ?。?）選擇算子具有結(jié)合律，即(S1|S2)|S3=S1|(S2|S3)； （7）順序算子與并發(fā)算子之間不存在分配律，即S1+S2amp。8226。S3≠S1amp。8226。S2+S1amp。8226。S3， S1amp。8226。(S2+S3)≠S1amp。8226。S2+S1amp。8226。S3； ?。?）順序算子對選擇算子具有分配律，反之不具備，即S1amp。8226。(S2|S3) =S1amp。8226。S2|S1amp。8226。S3，S1|S2amp。8226。S3≠(S1|S2)amp。8226。(S1|S3)； （9）并發(fā)算子對選擇算子具有分配律，反之不具備，即S1+(S2|S3)=S1|S2+S1|S3，S1|(S2+S3)≠ (S1|S2)+(S1|S3)。 對于以上關(guān)于服務(wù)復(fù)合算子運(yùn)算法則的結(jié)論，需要說明的是，設(shè)計到選擇算子的結(jié)論（5）、（6）、（8）、（9）中，如果將服務(wù)選擇函數(shù)納入考慮范圍之內(nèi)，均必須重新定義新的選擇算子的選擇函數(shù)。這樣才能夠保證變換前后的等效性，但是這一要求并不影響流程過程的分析。因此，在使用這些算子作流程過程分析時，仍然可以使用以上的運(yùn)算法則。 對比傳統(tǒng)業(yè)務(wù)流程模型可以看出，這里提到的服務(wù)算子實(shí)際上替代了所謂“啞元”這一概念。傳統(tǒng)的工作流模型把服務(wù)（活動）組合與具體的服務(wù)混為一體而不加區(qū)分，從模型本身就增加了流程分析的難度。本文使用服務(wù)復(fù)合的概念，可以建立較為清晰的服務(wù)復(fù)合流程模型。 在服務(wù)和服務(wù)復(fù)合算子概念的基礎(chǔ)上，可以開始建立基于產(chǎn)生式的服務(wù)復(fù)合業(yè)務(wù)流程模型。 在流程的產(chǎn)生式模型中，終結(jié)符表示流程的原子服務(wù)，非終結(jié)符表示流程的復(fù)合服務(wù)；符號之間通過上文所述的三種基本算子連接構(gòu)成表達(dá)式；非終結(jié)符結(jié)合對應(yīng)的表達(dá)式構(gòu)成產(chǎn)生式；一組完備的產(chǎn)生式構(gòu)成了流程的過程模型。注意其中完備的含義是指產(chǎn)生式中涉及到的非終結(jié)符均有對應(yīng)的表達(dá)式，即產(chǎn)生式集中的任何一個非終結(jié)符至少有一次出現(xiàn)在產(chǎn)生式的左部。流程的過程模型可以形式化地定義如 下。 定義2流程的過程模型F是一個四元組：（A，C，P，S0） 其中，A是流程的原子服務(wù)集合，非空有窮集合，任何s∈A均是流程中的原子服務(wù)；C是流程的復(fù)合服務(wù)集合，非空有窮集合，任何S∈C都是流程中的復(fù)合服務(wù)；P是流程的產(chǎn)生式集合，非空有窮集合，P中的元素均具有S→α
法律信息相關(guān)推薦
鄂ICP備17016276號-1