姜明月 李鑫

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

關鍵詞：基于Web服務 事務 工作流

中圖分類號：TP311.52 文獻標識碼：A 文章編號：1007-9416（2016）05-0000-00

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

1 過程模型建模

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

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

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

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

2 Logic模型的建模

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

工作流的基本分析和描述：過程模型的事物特例，-bpel自身的機制，-bpel的運行主要被應用在作用域上，而對于作用域而言，其在一定程度上是可以嵌套使用的。同時作用域是能夠采用結構化的活動進行，同時能夠對相應的活動進行定義，是其能夠自動的進行上下文的執(zhí)行。在父子關系的作用域上，其中包含有一個協議，此協議主要用來表達和確定作用域所代表的長期運行的基本結果。通過此機制，-bpel可以自行的對一些差錯的情況下產生的活動集合進行撤銷，同時通過該機制能夠對故障作用域及時的進行終止處理，同時發(fā)生相應的故障終止的處理信息和依據。同時，每一個程序多存在著一個作用域需要補償是進行的相應的動作。-bpel對兩種定義進行了相應的補償，可以分為顯隱兩種方式，兩種補償的調用方法不同。

顯式補償：

Standard-attributrs>

Standard-elements