組合服務(wù)的一種方法是使用業(yè)務(wù)流程執(zhí)行語言（Business Process Execution Language，BPEL）將服務(wù)定義為業(yè)務(wù)流程，或者將它們表示為業(yè)務(wù)狀態(tài)機(jī) (business state machines)。編排這樣一系列服務(wù)的調(diào)用的主線代碼在一個稱為流程編排引擎 (process choreography engine) 的特殊容器中運行。容器提供的功能可以支持甚至跨企業(yè)的邊界執(zhí)行長時間運行的流程，承受計劃的和未計劃的停用，并且促進(jìn)企業(yè)到企業(yè)（business-to-business，B2B）的協(xié)作。
這是我們關(guān)于 IBM 的面向服務(wù)的體系結(jié)構(gòu)（Service-Oriented Architecture，SOA）的編程模型系列的第三篇文章。上一篇文章介紹了 SOA 編程模型的概念和服務(wù)數(shù)據(jù)對象 (Service Data Object)。
業(yè)務(wù)流程
業(yè)務(wù)流程編排中的服務(wù)編排的概念對于二十世紀(jì)七十年代的 FORTRAN 編程人員來說或許并不陌生。它只不過就是調(diào)用函數(shù)或者子例程的主線代碼的概念，其中每個函數(shù)或者子例程實現(xiàn)了更大的程序的一個單獨的部分?，F(xiàn)在，在二十一世紀(jì)，子例程變成了 Web 服務(wù)。主程序的實現(xiàn)語言是用于 Web 服務(wù)的 BPEL（請參閱參考資料以獲得更多關(guān)于 BPEL 的信息）。執(zhí)行環(huán)境是 IBM WebSphere? Business Integration Server Foundation 中的 Business Process Choreography 容器。而程序可以將許多可能跨多個企業(yè)的長時間運行的任務(wù)組合在一起來實現(xiàn)一個業(yè)務(wù)功能。
圖 1. 簡單的業(yè)務(wù)流程
圖 1
展示了一個簡單的內(nèi)部旅行審批和預(yù)訂流程的 BPEL 流程，涉及檢查請求數(shù)據(jù)的程序、實際管理審批的人工任務(wù)，以及為實際執(zhí)行預(yù)訂而與合作伙伴進(jìn)行的 B2B 交互。
由于沒有重復(fù)提及許多關(guān)于 BPEL 的參考資料和教程（請參閱參考資料），因此我們在這里概要地列出了 BPEL 的一些特性以及 IBM 的 WebSphere Business Integration 中的 BPEL 實現(xiàn)所提供的擴(kuò)展：
-
可以與多個合作伙伴交互的長時間運行的業(yè)務(wù)流程。所有的交互都是通過標(biāo)準(zhǔn)的無狀態(tài) Web 服務(wù)調(diào)用執(zhí)行的。相關(guān)性用來利用應(yīng)用程序級數(shù)據(jù)處理特定的實例，例如根據(jù)員工序號審批某人的旅行請求。補償功能用來在必要時（部分地）撤消流程的作用，例如，在已經(jīng)預(yù)訂了一個航班之后取消旅行請求。
-
將人員整合到流程。一些業(yè)務(wù)流程的步驟常常是人工執(zhí)行的（例如，在審批或者異常處理工作流中）。這些步驟包括分配人員工作的復(fù)雜情景識別 (context-aware) 的情況，例如雙人監(jiān)控原則 (four eyes principle)，該原則規(guī)定第二個審批步驟由除第一個審批者之外的審批者來執(zhí)行。這些要求可以通過將人工任務(wù)作為流程步驟來滿足。Business Process Choreography 引擎和 IBM WebSphere Studio Application Developer Integration Edition 工具提供了對人工任務(wù)的支持。
-
將流程嵌入到 Java? 2 Platform, Enterprise Edition (J2EE)，并且除 XPath（它是 BPEL 中的標(biāo)準(zhǔn)）之外，在流程中使用 Java 作為首選語言。當(dāng)任何 Java 功能超出 BPEL 范圍時，IBM 和 BEA Systems Inc. 就會在一個稱為 BPELJ 的研究計劃中提出對 BPEL 的 Java 擴(kuò)展。這些擴(kuò)展使編程人員能夠使用 Java 代碼段來實現(xiàn)流程中的活動，在 BPEL 允許表達(dá)式的地方使用 Java 作為表達(dá)式語言，以及使用 Java 操作流程中的工作數(shù)據(jù)。
-
服務(wù)質(zhì)量。生產(chǎn)系統(tǒng)所需的服務(wù)質(zhì)量擴(kuò)展，例如微調(diào)事務(wù)邊界、適當(dāng)?shù)匦迯?fù)錯誤情況或者產(chǎn)生審核日志的功能。
-
與 WebSphere 集成。流程編排引擎與事務(wù)引擎和 WebSphere 中的 Activity Service 集成在一起。與人有關(guān)的流程利用 WebSphere 用戶目錄和安全性。BPEL 流程是作為 WebSphere 應(yīng)用程序部署的一部分進(jìn)行部署的。業(yè)務(wù)流程的管理集成到 WebSphere 管理控制臺中。
您可以使用 IBM Rational? 和 WebSphere 工具套件中的可視化業(yè)務(wù)流程編輯器來構(gòu)建 BPEL 流程。將服務(wù)接口導(dǎo)入到資產(chǎn)視圖 (asset view) 使您能夠從 BPEL 流程調(diào)用外部服務(wù)。該工具套件還有一個用于調(diào)試流程的可視化調(diào)試器，包括調(diào)試長時間運行的流程的并行分支以及通過適當(dāng)?shù)挠脩艚缑媾c面對人 (human-facing) 的活動進(jìn)行交互的功能。該工具套件同樣也允許測試 BPEL 流程，以及將它們作為服務(wù)進(jìn)行部署。
業(yè)務(wù)狀態(tài)機(jī)
工作流過程與可能采取多個步驟和路徑的動作或動詞——例如，CreatePurchaseOrder 或者 BookTravel——相似，調(diào)用許多 Web 服務(wù)、Java 類或 Enterprise JavaBeans (EJB)。
如果工作流過程是一個動詞，那么業(yè)務(wù)狀態(tài)機(jī)就是一個表示事物 的名詞，例如訂購單、故障單或保險單應(yīng)用程序。這里，動詞——例如 CreatePurchaseOrder 或 BookTravel——是對事物的操作。業(yè)務(wù)狀態(tài)機(jī)上的操作可以調(diào)用任何服務(wù)，例如直接通過狀態(tài)機(jī)指定的 BPEL 流程或者 Java 代碼。
兩種方法——過程或者狀態(tài)機(jī)——中沒有哪個是更好的。兩者在功能上都是等價的服務(wù)抽象。無論選擇哪一個對當(dāng)前任務(wù)來說都是很好的服務(wù)抽象。
業(yè)務(wù)狀態(tài)機(jī)是由狀態(tài)轉(zhuǎn)移圖以圖形方式指定的，狀態(tài)轉(zhuǎn)移圖顯示其狀態(tài)、狀態(tài)間可能的轉(zhuǎn)移和觸發(fā)狀態(tài)轉(zhuǎn)移的事件，以及作為結(jié)果的操作。圖 2 是一個表示 PurchaseOrder 的簡單狀態(tài)機(jī)的流程圖。
圖 2. 表示訂購單的業(yè)務(wù)狀態(tài)機(jī)
節(jié)點（矩形）表示 PurchaseOrder 的可能狀態(tài)，可以是 Created、Ready、InApproval、Purchased、Canceled、Shipped、Delivered 或者 Archived。弧線（箭頭）表示可能發(fā)生的事件，導(dǎo)致 PurchaseOrder 從一個狀態(tài)轉(zhuǎn)移到另外一個狀態(tài)。
業(yè)務(wù)狀態(tài)機(jī)可以通過 BPEL 流程來實現(xiàn)。如果這樣的話，事件就僅僅是 Web 服務(wù)描述語言 (WSDL) 所描述的流程的 portType 上的操作。當(dāng)前狀態(tài)（存儲在一個變量中）決定了哪些事件（操作）是活動的。如果調(diào)用者試圖調(diào)用無效的操作，那么運行時將拋出異常。您也可以查詢狀態(tài)機(jī)的當(dāng)前狀態(tài)來確定操作的有效性。
當(dāng)一個事件發(fā)生時（例如，當(dāng)調(diào)用一個操作或者定時器超時的時候），狀態(tài)機(jī)轉(zhuǎn)換到新的狀態(tài)并執(zhí)行與這個轉(zhuǎn)換相關(guān)聯(lián)的動作（例如調(diào)用操作或者方法）。在圖 2 中，轉(zhuǎn)移是通過帶有事件注釋的弧線、可選的條件以及將要執(zhí)行的動作來反映的。轉(zhuǎn)移只在其相關(guān)聯(lián)的條件為真時才執(zhí)行。在狀態(tài)進(jìn)入和退出時可能執(zhí)行其他動作。在圖 2 中，處于 Ready 狀態(tài)的狀態(tài)機(jī)具有兩種可能的事件（已啟用的操作）：purchase 和 Cancel。對于 purchase 操作來說，有兩個可能的條件：要么需要審批，要么不需要審批。
當(dāng)調(diào)用者調(diào)用購買操作時，業(yè)務(wù)狀態(tài)機(jī)框架執(zhí)行以下操作：
- 確定操作對于當(dāng)前狀態(tài)是否有效。
- 執(zhí)行狀態(tài)的退出動作（如果存在的話）。
- 計算與該事件相關(guān)聯(lián)的所有轉(zhuǎn)移的條件。假定對于此次購買需要審批，就選擇轉(zhuǎn)移到
InApproval 狀態(tài)，而忽略到 Purchased 狀態(tài)的轉(zhuǎn)移。
- 執(zhí)行與該轉(zhuǎn)移相關(guān)聯(lián)的動作，在本例中即
doApprovalAction()。例如，這個操作可能發(fā)送電子郵件給銷售經(jīng)理或者簡單地調(diào)用另一個 SOA 組件（如 BPEL 流）上的操作。
- 進(jìn)入新的
InApproval 狀態(tài)。
- 執(zhí)行新的狀態(tài)的進(jìn)入動作（如果存在的話）。
您可以使用 Rational/WebSphere 工具套件的可視化業(yè)務(wù)狀態(tài)機(jī)編輯器來創(chuàng)建業(yè)務(wù)狀態(tài)機(jī)。這個工具以類似的方式處理業(yè)務(wù)狀態(tài)機(jī)和業(yè)務(wù)流程：它們可以具有相同的外部服務(wù)關(guān)系，并且它們的測試和部署環(huán)境完全相同。
總結(jié)
IBM 用于 SOA 的編程模型提供了若干構(gòu)造新的面向服務(wù)的應(yīng)用程序或者將現(xiàn)有的應(yīng)用程序組合成服務(wù)框架的方法。本文重點介紹了使用業(yè)務(wù)流程執(zhí)行語言的業(yè)務(wù)編排方法，它與調(diào)用傳統(tǒng)的過程性編程中的子例程相似，增加了對于長時間運行的工作和并行工作的支持。業(yè)務(wù)狀態(tài)機(jī)是另一個編程模型構(gòu)件，它可以用 BPEL 來表示。沒有哪種方法是更好的。選擇最適合當(dāng)前問題的方法。后續(xù)的文章將介紹其他組件類型，它們是 SOA 開發(fā)人員的常備工具。