Business process modeling and verification of coordinated examination and approve system based on PI-calculus
基于PI演算的网上并联审批业务流程建模及验证*

Keywords: 电子政务,流程建模,模型验证,PI-演算,进程

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text