基于PI-演算的网上并联审批业务流程建模及验证
2014-10-24 01:04
导读：计算机应用论文论文，基于PI-演算的网上并联审批业务流程建模及验证样式参考，免费教你怎么写，格式要求，科教论文网提供的这篇文章不错：摘要：首次将进程代数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惭菟惚却统工作流模型更加灵活、理论性更强，能描述复杂系统，支持结构变化的动态系统，提供安全控制，支持信息的异步并发性，将计算机的计算和通信两种基本功能进行统一，从而能协调分布式业务流程。
（转载自http://zw.ＮＳＥaＣ.com科教作文网）
本文首次引入进程代数PI惭菟憷砺鄣降缱诱务建模中，对复杂的、动态变化的、并发运行的网上并联审批系统进行了形式化建模，并对所建模型的合理性、可行性进行了分析验证；确保了模型的正确性，避免了模型实施过程发现错误的修改周期长、代价大等缺陷，确保了政府部门项目的成功率，极大地降低了政府项目投资风险。
共2页: 1 [2] 下一页 论文出处(作者):
一种遗传蚁群系统的研究
基于SVM的信息融合新方法
