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

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

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

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

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