%0 Journal Article
%T Business process modeling and verification of coordinated examination and approve system based on PI-calculus<br>基于PI演算的网上并联审批业务流程建模及验证*
%A 胡庆成
%A 邢春晓
%A 杨吉江
%A 李益民
%J 计算机应用研究
%D 2007
%I 
%X 首次将进程代数PI-演算理论引入电子政务流程建模中,对电子政务研究中的热点、难点,即网上并联审批流程进行了形式化建模,并对所建立的模型进行了验证,确保了模型的正确性和可行性,极大地降低了项目实施投资风险。
%K 电子政务
%K 流程建模
%K 模型验证
%K PI-演算
%K 进程
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=F1C51E067F7A9AE2C9CD86A43FD47CBE&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=59906B3B2830C2C5&sid=F4B561950EE1D31A&eid=771152D1ADC1C0EB&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=17