《過程感知信息系統的跨組織業務過程建模與分析研究》是代飛為項目負責人，雲南大學為依託單位的地區科學基金項目。
基本介紹
- 中文名：過程感知信息系統的跨組織業務過程建模與分析研究
- 項目類別：地區科學基金項目
- 項目負責人：代飛
- 依託單位：雲南大學
項目摘要,結題摘要,
項目摘要
過程感知信息系統以過程模型為核心，是組織實施業務過程管理的重要使能技術。針對當前跨組織業務過程建模和分析存在的不足，對Petri網和Pi演算進行交叉套用，提出一種跨組織業務過程建模與分析的方法。建模層面，針對跨組織業務過程呈現出的個性化特徵，採取多視點思想，秉承關注點分離的原則，從三種視角對跨組織業務過程進行描述，從而得到三種過程形態：私有過程、公共過程、協作過程，為跨組織業務過程建模提供一種新的思路。分析層面，採取分而治之的思想，把對跨組織業務過程的分析分解為對其三個過程形態的分析。從內部視角，對私有過程進行合理性分析，以確保其可以達到正常終止態；從外部視角，對公共過程進行行為一致性分析，以確保公共過程替換前後的正確性；從協作視角，對協作過程進行相容性分析，以確保其不會發生互動異常，從而達到對跨組織業務過程進行深入分析的目的。將為跨組織過程感知信息系統的可靠實施提供形式基礎和分析技術。
結題摘要
本項目以跨組織業務過程為研究對象，圍繞跨組織業務過程的建模與分析展開了研究。（1）研究跨組織業務過程的形式建模。本項目組將對Petri網和Pi演算進行交叉套用，提出了一種跨組織業務過程的建模方法。該建模方法採取多視點的思想，秉承關注點分離的原則，從三種視角：內部視圖、外部視圖、協作視圖，對跨組織業務過程進行描述，從而得到三種不同的過程形態：私有過程、公共過程、協作過程。（2）研究跨組織業務過程模型的形式分析。本項目組將Petri網的分析技術和Pi演算的分析技術進行交叉套用，提出了一種跨組織業務過程的分析方法。該方法採取分而治之的思想，把對跨組織業務過程的分析分解為對其三個過程形態的分析，分別是：私有過程的合理性分析、公共過程的行為一致性分析、協作過程的相容性分析。 項目成果發表或錄用論文15篇，其中，SCI 2篇，EI 10篇；申請發明專利6項，登記軟體著作權4項；項目組成員中晉升高一級專業技術職務5人次，其中，1人入選第十八批“雲南省中青年學術和技術帶頭人後備人才”，1人晉升教授。 本項目按計畫實施，進展順利，達到了預期的科學目標。
