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

• 作者: 李益民 杨吉江 胡庆成 邢春晓
• 来源期刊: 计算机应用研究
• 关键词: 电子政务 流程建模 模型验证 PI-演算 进程
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 研究探讨
• 页码范围: 47-50
• 页数: 4页
• 分类号: TP393.09
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.12.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢春晓	清华大学计算机科学与技术系	84	2349	18.0	47.0
2	李益民	清华大学计算机科学与技术系	6	40	4.0	6.0
3	胡庆成	清华大学计算机科学与技术系	8	44	4.0	6.0
4	杨吉江	清华大学计算机科学与技术系	32	408	12.0	20.0