基于Petri网和π演算的协同业务过程综合建模技术

如何建立企业间协同业务过程并保证其正确运行，是当前业务过程管理面临的重大挑战，也是国际学术界和工业界的研究热点和难点所在。目前已取得的研究成果主要集中在面向单目标的业务过程建模和分析，如：利用Petri网对企业内基于状态的工作流建模、利用π演算对企业间基于交互的协同过程建模等。然而，为了对企业间协同业务过程进行全面管理，必须同时考虑企业内的状态变迁和企业间的交互行为，建立全面的协同业务过程综合模型。本课题以企业间协同业务过程为背景，研究如何将Petri网模型和π演算模型进行有机融合，形成能够全面描述协同业务过程的综合模型。研究工作的重点是：建立两种建模语言之间语法和语义的映射机制；从基于状态的Petri网模型中提取面向外部交互的进程表达；从基于交互的π演算模型中导出面向特定企业的状态演化流程。本课题工作不仅对业务过程管理技术有直接意义，也为Perti网和π演算的应用提供理论指导与工程方法。

如何建立企业间协同业务过程并保证其正确运行，是当前业务过程管理面临的重大挑战，也是国际学术界和产业界的研究热点和难点所在。本课题以企业间协同业务过程为背景，研究如何将Petri网模型和π演算模型进行有机融合，形成一种能够全面描述协同业务过程的综合模型。研究工作的重点是：（1）控制为中心的协同业务过程的Petri网和π演算综合建模和分析；（2）数据为中心的协同业务过程的综合建模和分析；（3）协同业务过程在MRO(维护、修理、运行)系统中的应用。本课题工作不仅对业务过程管理技术有直接意义，也为Perti网和π演算的应用提供理论指导。.本课题基本完成所预定的目标，总共发表论文20篇，其中SCI 2篇，EI 17篇。共培养博士后1名，博士1名，硕士5名。