規(guī)則驅(qū)動的SaaS流程定制及驗證技術(shù)研究.pdf

1、SaaS(Software as a Service，軟件即服務(wù))，是隨著互聯(lián)網(wǎng)的飛速發(fā)展與應(yīng)用軟件的日趨成熟而形成的一種新型軟件服務(wù)模式。它消除了企業(yè)購買、構(gòu)建、維護基礎(chǔ)設(shè)施和應(yīng)用軟件的需要，客戶可以根據(jù)自己的實際需求，通過互聯(lián)網(wǎng)獲得廠商提供的服務(wù)。面向SaaS應(yīng)用的典型特點是“單實例多租賃”，即多個租戶共享服務(wù)提供商的一個應(yīng)用實例，但對于每個租戶來說，這個實例只像是為自己服務(wù)。然而這種統(tǒng)一的軟件服務(wù)模式勢必難以滿足業(yè)務(wù)需求各異的不同

2、租戶，因此作為一個成功的SaaS應(yīng)用，必須支持租戶對其進行個性化定制，以便在共享實例的基礎(chǔ)上構(gòu)建專屬于自己的業(yè)務(wù)應(yīng)用。
　　 目前，面向SaaS的流程定制應(yīng)用仍存在一些問題：首先，租戶在定制過程中，無法保證行為活動的合理正確性，SaaS服務(wù)提供商的約束規(guī)范缺乏剛性；其次，難以滿足租戶對于服務(wù)的特殊定制；最后，租戶的定制結(jié)果是由專門的業(yè)務(wù)流程編排語言（BPEL技術(shù)）將服務(wù)串聯(lián)起來，而BPEL技術(shù)本身的靜態(tài)特性，難以滿足應(yīng)用在執(zhí)行過

3、程中的動態(tài)改變。如果以上問題能夠解決，將對SaaS應(yīng)用的發(fā)展提供更為廣闊的空間，因此有著重要的研究價值。
　　 針對SaaS業(yè)務(wù)流程定制中出現(xiàn)的主要問題，本文進行的主要工作包括：
　　 一、設(shè)計了規(guī)則驅(qū)動的SaaS定制及驗證框架。該框架將規(guī)則的靈活性特點與傳統(tǒng)BPEL技術(shù)的靜態(tài)特性充分融合，實現(xiàn)了業(yè)務(wù)流程的靈活替換和動態(tài)修改，同時有效的提高了應(yīng)用的處理能力，能夠支持更為復雜的業(yè)務(wù)邏輯。
　　 二、提出了基于規(guī)則的

4、服務(wù)封裝機制。該機制引入規(guī)則的相關(guān)概念，通過包裝和嵌入規(guī)則，能夠允許租戶對服務(wù)進行更為復雜的定制，以滿足其實際業(yè)務(wù)需求，同時，解決了服務(wù)整合時接口不一致的難題，實現(xiàn)了不同服務(wù)對統(tǒng)一輸入的有效接收。
　　 三、提出了基于TLA的流程定制驗證算法。將活動時序邏輯與SaaS定制這兩者有效的結(jié)合在一起，通過TLA公式建模的思想，將定制過程中的數(shù)據(jù)，流程，服務(wù)的狀態(tài)形式化，并使用驗證算法，對各個狀態(tài)集合進行分析和矛盾檢測，實現(xiàn)定制活動的正