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

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.

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

本项目以跨组织业务过程为研究对象，围绕跨组织业务过程的建模与分析展开了研究。（1）研究跨组织业务过程的形式建模。本项目组将对Petri网和Pi演算进行交叉应用，提出了一种跨组织业务过程的建模方法。该建模方法采取多视点的思想，秉承关注点分离的原则，从三种视角：内部视图、外部视图、协作视图，对跨组织业务过程进行描述，从而得到三种不同的过程形态：私有过程、公共过程、协作过程。（2）研究跨组织业务过程模型的形式分析。本项目组将Petri网的分析技术和Pi演算的分析技术进行交叉应用，提出了一种跨组织业务过程的分析方法。该方法采取分而治之的思想，把对跨组织业务过程的分析分解为对其三个过程形态的分析，分别是：私有过程的合理性分析、公共过程的行为一致性分析、协作过程的相容性分析。.项目成果发表或录用论文15篇，其中，SCI 2篇，EI 10篇；申请发明专利6项，登记软件著作权4项；项目组成员中晋升高一级专业技术职务5人次，其中，1人入选第十八批“云南省中青年学术和技术带头人后备人才”，1人晋升教授。.本项目按计划实施，进展顺利，达到了预期的科学目标。