基于PI-演算的网上并联审批业务流程建模及验证  

Business process modeling and verification of coordinated examination and approve system based on PI-calculus

作　　者：胡庆成[1] 邢春晓[1] 杨吉江[1] 李益民[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《计算机应用研究》2007年第12期47-50,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(60473078);北京市科技计划资助项目(Z0004029040811)

摘　　要：首次将进程代数PI-演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建立的模型进行了验证,确保了模型的正确性和可行性,极大地降低了项目实施投资风险。This paper introduced the PI-ealculus theory to the field of process modeling for the first time, and created an accurate process model for coordinated examination and approve system by means of PI-ealculus theory. Finally, verified this process model with the method based on PI-calculus theory. And the result of the verification proved that the process model was applicable and efficient for coordinated examination and approve system.

关 键 词：电子政务 流程建模 模型验证 PI-演算 进程 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术]