论文摘要
业务流程的管理(BPM,Business Process Management)广泛存在于政府的多项核心业务中,如协同办公系统、应急管理系统及行政审批系统等,其已成为我国乃至世界电子政务建设中的重要组成部分。由于政务流程具有复杂性、动态性、不确定性等特点,目前相关研究难以满足对动态政务流程的形式化建模及分析的需要。在电子政务建设中,政务流程大多涉及多个组织部门,工程规模较大,因此在业务流程实际执行前,需要对流程进行一致性验证和等价分析,以确保流程的科学可靠。角色网络模型(RNM,Role Network Model)体系深入刻画了政务系统业务协作的本质,支持动态业务流程的柔性控制,但在业务流程尤其是动态业务流程的形式化建模和分析方面仍有欠缺,无法有效地支持一致性验证及等价分析等业务流程分析。针对以上问题,本文借鉴BPM框架,在角色网络理论的基础上结合Pi演算,构建面向政务流程分析的角色网络模型(BPAORNM,Business Process Analysis Oriented RoleNetwork Model),并在该模型的基础上提出一致性验证及等价分析方法,本文所做工作如下:(1)对政务流程进行分析,总结政务流程的特点,并将政务流程分为组织内流程和组织间流程两类。(2)在对BPM、Pi演算和RNM三者进行对比分析的基础上提出了BPAORNM,实现了对政务流程的形式化建模,并基于该模型对两个实例进行了建模。(3)基于BPAORNM,提出了一致性检验方法和等价分析方法,并通实例对两种方法进行了阐述。本研究对角色网络模型进行了扩展,弥补了其在形式化描述动态业务流程以及在业务流程分析方面的不足。在政务流程的动态业务流程的形式化建模、柔性控制及流程分析等方面具有理论指导意义,并在并联审批、“一站式”服务、应急管理、协同办公等电子政务领域具有广泛的应用前景。