網上并聯審批業務范文

本站小編為你精心準備了網上并聯審批業務參考范文，愿這些范文能點燃您思維的火花，激發您的寫作靈感。歡迎深入閱讀并收藏。

摘要：首次將進程代數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演算比傳統工作流模型更加靈活、理論性更強，能描述復雜系統，支持結構變化的動態系統，提供安全控制，支持信息的異步并發性，將計算機的計算和通信兩種基本功能進行統一，從而能協調分布式業務流程。

本文首次引入進程代數PI演算理論到電子政務建模中，對復雜的、動態變化的、并發運行的網上并聯審批系統進行了形式化建模，并對所建模型的合理性、可行性進行了分析驗證；確保了模型的正確性，避免了模型實施過程發現錯誤的修改周期長、代價大等缺陷，確保了政府部門項目的成功率，極大地降低了政府項目投資風險。

用死鎖檢驗命令deadlocks檢驗流程P是否有死鎖。結果是沒有死鎖。用交互模擬step命令運行流程P。結果是流程P的每一步運行過程，如申辦人與工商系統的通道是什么及通道上的信息是什么等。這有利于分析、檢查整個流程的每一步交互是否按設計過程在運行，等等。

在應用PI演算理論對網上并聯審批業務流程所建模型驗證及推理過程、跟蹤分析、檢驗業務流程中，發現了描述過程中不合理部分，修正后使模型更具有合理性、實用性，確保了項目的可行性，從而避免了模型實施后錯誤修改周期長、代價大等缺陷，極大地降低了政府項目投資風險，提高了項目的成功率。

4結束語

政府網上并聯審批業務流程系統是電子政務研究的熱點方向。本文首次把PI演算理論引入到電子政府中來，為政府業務系統長遠建設發展作了初步的探索。PI演算對政府網上并聯審批業務流程的信息交互進行了精確的抽象描述，并對整個業務流程進行了驗證，政府投資的風險大大降低了。它為政府跨部門、跨區域信息交互提供了新的思路和方法。

下一步工作中，以PI演算為理論基礎開發業務流程圖形化管理軟件，將實現圖形化描述與進程代數驗證自動雙向轉換。應用PI演算等互模、強互模、弱互模、觀察互模等理論，近一步分析及優化業務流程，從而推動電子政務的發展。

參考文獻：

［1］孟慶國,樊博.電子政務理論與實踐[M].北京：清華大學出版社,2006.

［2］徐寶文,周毓明,盧紅敏.UML與軟件建模[M].北京:清華大學出版社，2006.

［3］GEORGAKOPOLOUSD，HORNICKM，SHETHA.Anoverviewofworkflowmanagement:fromprocessmodelingtoworkflowautomationinfrastructure[J].DistributedandParallelDatabases,1995,3(2):119153.

［4］WorkflowManagementCoalition.Workflowmanagementcoalitionterminologyandglossary,WfMCTC1011[S].Brussels:WfMC,1996.

［5］AALSTW.FindingcontrolflowerrorsusingPetrinetbasetechniques[M]//AALSTW,DESELJ,OBERWEISA.Businessprocessmangement:models,techniques,andempiricalstudies.Berlin:SpringerVerlag,2000:161183.

［6］李紅臣,史美林.工作流模型及其形式化描述[J].計算機學報,2003,26(11):14561463.

［7］AALSTWvander.HEEKvan.工作流管理模型、方法和系統[M].王建民,聞立杰，等譯.北京：清華大學出版社,2004.

［8］AALSTWMPvander.PIcalculusversusPetrinets:letuseat“humblepie”,ratherthanfurtherinflatethe“PIhype”[J].BPTrends,2005,3(5)：111.［9］SMITHH,FINGARP.Businessprocessmanagement:thethirdwave[M].Tampa:MeghanKifferPress,2003:1-312.

［10］SMITHH.Businessprocessmanagementthethirdwave:businessprocessmodelinglanguage(BPML)anditsPIcalculusfoundations[J].InformationandSoftwareTechnology,2003,45:10651069.

［11］SMITHH,FINGARP.WorkflowisjustaPIprocess[EB/OL].(2004-01).http:.

［12］municatingandmobilesystems:theπcalculus[M].Cambridge:CambridgeUniversityPress,1999:1161.

［13］MILNERR.Thepolyadicπcalculus:atutorial[M]//Logicandalgebraofspecification.Berlin:SpringerVerlag,1993:1-50.

［14］SANGIORGID,WALKERD.Theπcalculus:atheoryofmobileprocesses[M].Cambridge:CambridgeUniversityPress,2001:1-580.

［15］MILNERR,PARROWJ,WALKERD.AcalculusofmobileprocessesⅠ,Ⅱ[J].InfComput,1992,100(1):1-40,41-77.

［16］municationandconcurrency[M].EnglewoodCliffs,NJ:PrenticeHallInternational,1989:1-260.

［17］陳禹六.IDEF建模分析和設計方法[M].北京:清華大學出版社,1999.