《基於控制流模式的過程模型結構驗證技術研究》是依託北京航空航天大學，由張莉擔任項目負責人的面上項目。
基本介紹
- 中文名：基於控制流模式的過程模型結構驗證技術研究
- 依託單位：北京航空航天大學
- 項目負責人：張莉
- 項目類別：面上項目
項目摘要,結題摘要,
項目摘要
隨著過程管理在企業管理中的重要性日益凸顯，過程的正確性問題正在成為研究熱點。過程結構正確性是過程正確性的重要組成部分及必要條件。目前已有的研究主要基於特定建模語言，驗證方法缺乏通用性，且大都僅考慮了簡單控制流結構，在複雜過程模型的驗證中缺乏實用性。本研究擬針對上述問題，提出一種基於控制流模式與反模式的過程結構驗證方法，著重研究基於控制流模式的過程模型轉換規則的定義與正確性證明、組合與嵌套控制流模式的識別、控制流反模式的定義與識別、模式在模型轉換中的跟蹤與映射等關鍵技術，擬在提高過程模型轉換精度、控制流反模式定義與發現、以及提高複雜控制流模式與反模式的識別正確率方面取得創新性成果。
結題摘要
隨著過程管理在企業管理中的重要性日益凸顯，過程模型的正確性問題正在成為研究熱點。過程結構正確性是過程模型正確性的重要組成部分及必要條件。目前已有的研究主要基於特定建模語言，驗證方法缺乏通用性，且大都僅考慮了簡單控制流結構，在複雜業務過程建模中缺乏實用性。本研究針對上述問題，提出了一種基於模型轉換的過程模型結構驗證方法，以表征複雜過程模型結構特徵的控制流模式為基礎，研究基於控制流模式的過程模型轉換技術，從而提高複雜過程模型轉換的正確性以及面向特定語言的過程模型結構驗證技術的通用性。此外，提出了一種基於反模式查找的過程模型結構驗證方法，通過發現並定義過程模型中可能存在的控制流反模式，研究反模式在不同過程建模語言中的表現形式，基於模式實例查找和環路規約規則，提出了一種支持有環非結構化過程模型的反模式檢測方法，通過發現模型中存在的錯誤結構和不良結構，輔助過程建模人員提高模型的結構正確性。針對上述兩項關鍵技術，本項目開發了相應的原型工具，並使用來自公開的過程模型庫以及現有研究文獻中的過程模型實例，對本項目提出的過程模型轉換和驗證方法的有效性和效率進行了實驗評估。
