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

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

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

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

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

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