收藏本站 | 联系我们 | 设为首页 | English
当前位置:主页>计算机论文>
基于PI-演算的网上并联审批业务流程建模及验证
来源:  作者:本站

  摘要:首次将进程代数PI演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建立的模型进行了验证,确保了模型的正确性和可行性,极大地降低了项目实施投资风险。
  关键词:电子政务; 流程建模; 模型验证; PI演算; 进程

  0引言
  
  近年来,世界各国在提倡和推进信息化战略中都把电子政务作为首要任务。推进政府部门办公自动化、网络化、电子化已是大势所趋。国内各级政府都在大力推进信息化建设。政府的组织形态也正由职能型向服务型转变[1];政府的行政业务正由传统的方式向信息化方向转变。中国政府的电子政务经过前期的投资建设已经具备了一定的硬件设施和软件环境。但是政府各部门之间联合审批事项数据始终不能共享,这使得数据共享和协同工作成为我国电子政务发展过程中要解决的关键问题。行政许可法的颁布给基于业务流程为核心驱动的跨部门联合行政审批带来了挑战和契机,跨组织、跨部门、跨区域的网上关联审批成为了目前研究的热点和难点。
  网上并联审批是应用Web技术,把分布在不同部门、不同区域的已有、将有的政府信息资源迅速整合成为一种没有(或很少有)时间和空间的制约,以信息通信手段实现政府跨部门协作和统一审批的信息系统。要实施网上并联审批系统第一步工作是根据应用要求设计业务流程,也称为流程建模。要完成网上并联审批的电子化和网络化,准确地构建电子政府的业务模型是十分关键的一步。流程建模合理与否决定政务项目的成败。
  前期用于政府业务建模的技术有工作流图、UML[2]、Petri网、BPMS等。UML是面向对象开发中的一种通用而又统一的图形化模型语言。UML建模形式简单易懂,但缺乏形式化语义基础,模型检测性差。工作流技术(workflow)早期主要用于描述工业及办公自动化,对工作过程约束条性太强,灵活性较差,较适用于一些相关规范、稳定不变的业务流程。即使工作流管理联盟全新定义了工作流[3,4],但是大规模过程操作中隐含着错误[5]。Petri 网技术具于丰富的语义定义、坚实的数学理论和直观的图形化界面,是目前构建工作流模型较为理想的建模方法[6,7]。但对于复杂系统的流程模型描述有一定的局限性[8]。BPM[9,10]被Smith、Fingar称为业务流程管理的第三次浪潮。它是一种以规范化的构造端到端,以持续提高组织业务绩效为目的的卓越业务流程管理方法。BPM的关键是将业务流程计算机模型化、标准化,将业务流程与业务应用相分离。BPM的技术实现被称为业务流程管理系统(BPMS)。BPMS[11]的技术基础是工作流管理系统(WfMS)、企业应用集成(EAI)、电子商务等。BPMS的理论基础是进程代数PI演算[12~15]。PI演算比传统工作流模型更加灵活、理论性更强,能描述复杂系统,支持结构变化的动态系统,提供安全控制,支持信息的异步并发性,将计算机的计算和通信两种基本功能进行统一,从而能协调分布式业务流程。
上一页12 下一页

关于本站 | 会员服务 | 隐私保护 | 法律声明 | 站点地图 | RSS订阅 | 友情链接
免责声明:凡本站注明来源为xx所属媒体的作品,均转载自其它媒体转载目的在于传递更多信息,并不代表本站赞同其观点和对其真实性负责。