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

项目名称： 基于Petri网和π28436;算的协同业务过程综合建模技术

项目编号： No.60973100

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 张力

作者单位： 清华大学

项目金额： 31万元

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

中文关键词： π28436;算；Petri网；协同业务过程；综合建模；正确性验证

英文摘要：

英文关键词： πalculus；Petri Net；Collaborative business process；Integrated model；Correctness verification