过程感知信息系统的跨组织业务过程建模与分析研究

项目名称： 过程感知信息系统的跨组织业务过程建模与分析研究

项目编号： No.61462095

项目类型： 地区科学基金项目

立项/批准年度： 2015

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

项目作者： 代飞

作者单位： 云南大学

项目金额： 44万元

中文摘要： 过程感知信息系统以过程模型为核心，是组织实施业务过程管理的重要使能技术。针对当前跨组织业务过程建模和分析存在的不足，对Petri网和Pi演算进行交叉应用，提出一种跨组织业务过程建模与分析的方法。建模层面，针对跨组织业务过程呈现出的个性化特征，采取多视点思想，秉承关注点分离的原则，从三种视角对跨组织业务过程进行描述，从而得到三种过程形态：私有过程、公共过程、协作过程，为跨组织业务过程建模提供一种新的思路。分析层面，采取分而治之的思想，把对跨组织业务过程的分析分解为对其三个过程形态的分析。从内部视角，对私有过程进行合理性分析，以确保其可以达到正常终止态；从外部视角，对公共过程进行行为一致性分析，以确保公共过程替换前后的正确性；从协作视角，对协作过程进行相容性分析，以确保其不会发生交互异常，从而达到对跨组织业务过程进行深入分析的目的。将为跨组织过程感知信息系统的可靠实施提供形式基础和分析技术。

中文关键词： 过程感知信息系统；跨组织业务过程建模；跨组织业务过程分析；Petri网；Pi演算

英文摘要： Process-aware information systems serve as the important enabling technology for organizations to conduct business process management. Compared with other information systems, the core of process-aware information systems is business process models. Recognizing the main problems of cross-organizational business process modeling and analysis, this research aims to propose an approach to modeling and analyzing cross-organizational business process, which is combined the advantages of both Petri Nets and Pi calculus. When modeling business processes, this approach applies multi-view and separation of concerns strategies to describe cross-organizational business processes from three points of view. Subsequently, three corresponding process models are obtained, including private process models, public process models and collaboration process models. When analyzing business processes, this approach applies the divide-and-conquer strategy to cope with the complexity of analyzing cross-organizational business processes. The idea is to decompose the big problems into three small problems, namely soundness analysis, behavioral consistency analysis and compatibility analysis. From the internal perspective, soundness analysis is proposed to check whether the private process models terminate correctly. From the external perspective, behavioral consistency analysis is proposed to guarantee that a new public process model is similar to the substituted one. From the collaborative perspective, compatibility analysis is proposed to ensure that abnormal interaction never occurs among the collaboration process models. This research is expected to provide a theoretical basis and analysis techniques for reliable implementation of cross-organizational process-aware information systems.

英文关键词： Process-Aware Information Systems;Cross-Organizational Business Process Modeling;Cross-Organizational Business Process Analysis;Petri Nets;Pi Calculus