基于狀態(tài)的業(yè)務流程描述模型及其應用研究.pdf

1、開發(fā)和應用復雜應用軟件系統(tǒng)(Complex Application System,CAS)對提升政府、企業(yè)、事業(yè)單位等機構(gòu)的管理水平、綜合競爭力具有舉足輕重的意義。這類系統(tǒng)通常帶有服務性質(zhì)，以實現(xiàn)業(yè)務流程規(guī)范化、為機構(gòu)提供綜合信息化平臺為特征。系統(tǒng)涉及的單位(或部門)和用戶眾多，與業(yè)務緊密相關的表單數(shù)量龐大，應用規(guī)模較大，業(yè)務流程通常帶有強流程性、復雜性和可變性。如何完整、準確地描述CAS系統(tǒng)的業(yè)務流程．滿足系統(tǒng)不同用戶的關注點和對內(nèi)對

2、外的各種需求，并且與現(xiàn)有遺留系統(tǒng)進行有效集成，是對CAS系統(tǒng)研究提出的新的課題和挑戰(zhàn)。 論文對國內(nèi)外業(yè)務流程描述方法和模型進行了綜述，介紹了CAS系統(tǒng)的開發(fā)現(xiàn)狀。針對開發(fā)CAS在業(yè)務流程表示、業(yè)務流程推進研究、業(yè)務流程中“事務級”操作的完整性保證、業(yè)務對象被調(diào)度和執(zhí)行的全過程描述等方面存在的問題，提出了一種基于狀態(tài)的業(yè)務流程描述模型SPDM。模型在三大約束條件(包括消息約束、規(guī)則約束和權(quán)限約束)、業(yè)務邏輯程序、消息機制等方面擴

3、展了有限狀態(tài)機模型，以一個表單在其生命周期中經(jīng)歷的變化為一個流程單位來討論業(yè)務流程，通過消息作為流程交互的手段。以SPDM為業(yè)務流程的描述模型，可以刻畫各種常見的業(yè)務流程模式，包括：鏈式、同時觸發(fā)、嵌套、點對點、相似同步等。通過在SPDM模型中引入表單調(diào)度理論和操作事務的概念，使得表單在某一時刻處于其流程狀態(tài)和運行時狀態(tài)兩者共同構(gòu)成的格局中，實現(xiàn)了對表單被調(diào)度和執(zhí)行的全過程描述，以及達到對其上的業(yè)務操作的有效控制。以一階謂詞邏輯作為基礎

4、的約束公式大大增強了模型對各種規(guī)則、條件的表達，并且支持CAS系統(tǒng)中“條件權(quán)限”的定制?；跔顟B(tài)的SPDM模型把信息孤島當作流程中的一個節(jié)點(狀態(tài))并利用消息機制作為與其他流程的交互，既達到與信息孤島有效、松耦合集成的效果，也使得整個應用系統(tǒng)的業(yè)務流程都可以在同一模型下表達。 為了更精確地描述CAS系統(tǒng)的業(yè)務流程，論文詳細給出了SPDM模型的形式化定義，以此為基礎給出各種業(yè)務流程模式的嚴格定義，并通過業(yè)務流程實例格局討論業(yè)務流程

5、的推進過程。利用謂詞邏輯定義語義的方法和步驟，給出SPDM模型中流程推進要素的解釋(interpretation)，結(jié)合對流程實例的各賦值(assignment)，得出“業(yè)務流程的推進過程等同于其實例格局不斷變遷”的結(jié)論，把對業(yè)務流程的研究轉(zhuǎn)化為對表單實例格局的研究。通過對表單實例格局進行日志記錄(log)并構(gòu)造相關統(tǒng)計模型，可以為CAS系統(tǒng)的管理者、決策層提供客觀、準確的統(tǒng)計數(shù)據(jù)，以支持流程跟蹤、流程監(jiān)察、流程統(tǒng)計，為決策分析、流程挖

6、掘、流程優(yōu)化、應對市場變化提供客觀、有力的依據(jù)。本文的研究來自工程項目實踐的總結(jié)與提高，研究成果得到具體的應用。目前，SPDM模型己成功應用于我們自主研究和開發(fā)的兩大平臺：應用程序裝配平臺(Application Assembly Platform,AAP)和全局流程集成平臺(Global Business ProcessIntegration Platform，GBPIP)中，其中GBPIF平臺完整包含了SPDM模型。兩大平臺共同服務