《基於Petri網和π演算的協同業務過程綜合建模技術》是依託清華大學，由張力擔任項目負責人的面上項目。
基本介紹
- 中文名：基於Petri網和π演算的協同業務過程綜合建模技術
- 依託單位：清華大學
- 項目負責人：張力
- 項目類別：面上項目
項目摘要,結題摘要,
項目摘要
如何建立企業間協同業務過程並保證其正確運行，是當前業務過程管理面臨的重大挑戰，也是國際學術界和工業界的研究熱點和難點所在。目前已取得的研究成果主要集中在面向單目標的業務過程建模和分析，如：利用Petri網對企業內基於狀態的工作流建模、利用π演算對企業間基於互動的協同過程建模等。然而，為了對企業間協同業務過程進行全面管理，必須同時考慮企業內的狀態變遷和企業間的互動行為，建立全面的協同業務過程綜合模型。本課題以企業間協同業務過程為背景，研究如何將Petri網模型和π演算模型進行有機融合，形成能夠全面描述協同業務過程的綜合模型。研究工作的重點是：建立兩種建模語言之間語法和語義的映射機制；從基於狀態的Petri網模型中提取面向外部互動的進程表達；從基於互動的π演算模型中導出面向特定企業的狀態演化流程。本課題工作不僅對業務過程管理技術有直接意義，也為Perti網和π演算的套用提供理論指導與工程方法。
結題摘要
如何建立企業間協同業務過程並保證其正確運行，是當前業務過程管理面臨的重大挑戰，也是國際學術界和產業界的研究熱點和難點所在。本課題以企業間協同業務過程為背景，研究如何將Petri網模型和π演算模型進行有機融合，形成一種能夠全面描述協同業務過程的綜合模型。研究工作的重點是：（1）控制為中心的協同業務過程的Petri網和π演算綜合建模和分析；（2）數據為中心的協同業務過程的綜合建模和分析；（3）協同業務過程在MRO(維護、修理、運行)系統中的套用。本課題工作不僅對業務過程管理技術有直接意義，也為Perti網和π演算的套用提供理論指導。 本課題基本完成所預定的目標，總共發表論文20篇，其中SCI 2篇，EI 17篇。共培養博士後1名，博士1名，碩士5名。
