姜明月 李鑫

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

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

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

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

1 過(guò)程模型建模

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

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

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

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

2 Logic模型的建模

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

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

顯式補(bǔ)償：

Standard-attributrs>

Standard-elements