姜明月 李鑫

摘要：隨著信息技術(shù)的的高速發(fā)展，在相對與較為松散的異步環(huán)境中往往要引入工作流系統(tǒng)，這就需要對工作流系統(tǒng)提出新的考驗(yàn)，在Web服務(wù)的基礎(chǔ)上，提出一種基于Web服務(wù)的工作流過程模型，為過去松散的異步環(huán)境提高了可行性方案。工作流是現(xiàn)階段的一種提高企業(yè)競爭力的關(guān)鍵，而整個管理系統(tǒng)中最核心的部分應(yīng)該是工作流模型，在現(xiàn)有的Web模型基礎(chǔ)上將工作流模型加入到其中，提出一種新的過程模型，同時在過程模型的基礎(chǔ)上將事務(wù)的相關(guān)概念加入其中。

關(guān)鍵詞：基于Web服務(wù) 事務(wù) 工作流

中圖分類號：TP311.52 文獻(xiàn)標(biāo)識碼：A 文章編號：1007-9416（2016）05-0000-00

本文主要在web的基礎(chǔ)上引入一種可行化的工作流過程模型。從而為現(xiàn)階段較為松散的異步環(huán)境提供一種可行性方案，為了保證其更加的安全可靠，同時滿足相關(guān)的要求，在工作流過程模型基礎(chǔ)上增加了事物的概念。

1 過程模型建模

基本定義：對于工作流的組成序列可以表示如下：

WF={p1，p2，p3.........Pn.......pm}。其中N，M，而P代表的只是一個工作流程。

對于web-service的建模主要擦用ws-bpel對其進(jìn)行業(yè)務(wù)流程的建模，主要作用是通過ws-bpel可以將現(xiàn)有的所有服務(wù)有效的整合起來，在ws-bpel表達(dá)的相關(guān)過程中，所有的web都有相對應(yīng)的關(guān)系對象，在此論文提出的工作模型中，每個每個相應(yīng)的web服務(wù)都有其相對應(yīng)的特定的活動進(jìn)行對應(yīng)?；顒又饕ㄟ^與相應(yīng)的web服務(wù)器進(jìn)行關(guān)聯(lián)，從而與對應(yīng)的服務(wù)進(jìn)行相應(yīng)的通信，同時對web服務(wù)的調(diào)用情況進(jìn)行監(jiān)控 ，獲取相關(guān)的數(shù)據(jù)。Web服務(wù)并不關(guān)系活動的基本動作，主要遵照ws-bpel的基本流程在相關(guān)工作流的知道下進(jìn)行自身的工作，此種法案能夠最大限度的保證業(yè)務(wù)與邏輯的相分離，保證其在一定程度上的獨(dú)立性。在Logic層中，基于相應(yīng)的狀態(tài)圖進(jìn)行描述，而在業(yè)務(wù)層中ws-bpel對業(yè)務(wù)流程進(jìn)行描述。

業(yè)務(wù)層過程模型：業(yè)務(wù)層主要承擔(dān)的動作，可以用一個相應(yīng)的三元組進(jìn)行表示：BP=（ID，A，R）其中ID表示的是再業(yè)務(wù)的整個過程中的唯一性代碼。A=（A1，A2......AN）表示在整個業(yè)務(wù)層中所有活動的集合，R表示相應(yīng)的約束條件，業(yè)務(wù)流程主要采用XML業(yè)務(wù)流程進(jìn)行執(zhí)行。ws-bpel提供了幾乎所有流程的正規(guī)規(guī)則，同時其主要通過平臺的獨(dú)立方式進(jìn)行期間的交互，通知直接得到了ws-bpel的幫助。ws-bpel的過程與其執(zhí)行相互分離，為了能夠達(dá)到這種效果，ws-bpel將許多感念 引入 其中，例如引入了相關(guān)性、變量、作用域等。

2 Logic模型的建模

對于logic模型的建模主要表達(dá)其在邏輯層中的基本活動，但是其并沒有綁定相應(yīng)的web服務(wù)，Logic模型主要是基于ECA規(guī)則進(jìn)行相應(yīng)的建模，且是主要基于狀態(tài)活動網(wǎng)絡(luò)動態(tài)圖進(jìn)行的，活動之間的狀態(tài)更改主要有相關(guān)的ECA進(jìn)行其主要規(guī)則變化的設(shè)定。在此所有的和活動中都有一個相應(yīng)的web服務(wù)與之進(jìn)行關(guān)聯(lián)，從而能夠監(jiān)控到相應(yīng)的web服務(wù)在業(yè)務(wù)層的表現(xiàn)，同時根據(jù)相應(yīng)的web服務(wù)的基本表現(xiàn)得出相應(yīng)的回執(zhí)方式，從而觸發(fā)相應(yīng)的活動。從而能夠從整體上實(shí)現(xiàn)通過邏輯層能夠?qū)φ麄€系統(tǒng)的控制，通過相應(yīng)的狀態(tài)變化實(shí)現(xiàn)對于 路由的表達(dá)和干預(yù)。從而達(dá)到活動的控制和活動的實(shí)現(xiàn)能夠同步進(jìn)行，同時能夠從基本活動的變化狀態(tài)、操作狀態(tài)、運(yùn)行狀態(tài)可以出發(fā)到整個業(yè)務(wù)層的ECA規(guī)則，從而保證整個模型在執(zhí)行和異常之間的及時的回饋。

工作流的基本分析和描述：過程模型的事物特例，-bpel自身的機(jī)制，-bpel的運(yùn)行主要被應(yīng)用在作用域上，而對于作用域而言，其在一定程度上是可以嵌套使用的。同時作用域是能夠采用結(jié)構(gòu)化的活動進(jìn)行，同時能夠?qū)ο鄳?yīng)的活動進(jìn)行定義，是其能夠自動的進(jìn)行上下文的執(zhí)行。在父子關(guān)系的作用域上，其中包含有一個協(xié)議，此協(xié)議主要用來表達(dá)和確定作用域所代表的長期運(yùn)行的基本結(jié)果。通過此機(jī)制，-bpel可以自行的對一些差錯的情況下產(chǎn)生的活動集合進(jìn)行撤銷，同時通過該機(jī)制能夠?qū)收献饔糜蚣皶r的進(jìn)行終止處理，同時發(fā)生相應(yīng)的故障終止的處理信息和依據(jù)。同時，每一個程序多存在著一個作用域需要補(bǔ)償是進(jìn)行的相應(yīng)的動作。-bpel對兩種定義進(jìn)行了相應(yīng)的補(bǔ)償，可以分為顯隱兩種方式，兩種補(bǔ)償?shù)恼{(diào)用方法不同。

顯式補(bǔ)償：

Standard-attributrs>

Standard-elements