电子政务已成为 Internet 的重要应用之一。然而,随着用户数量的增加和服务类型的多样化,电子政务系统愈来愈庞大、愈来愈复杂,这使得电子政务系统的设计和分析更加困难。 一般情况下,电子政务系统的需求规范采用非形式化方式描述,且这种描述具有二义性。本文从电子政务系统的概念入手,针对电子政务系统的特点,采用形式化方法(Petri网)对电子政务系统进行模拟与验证,能够为系统设计者提供一种既明确又便于理解和掌握的系统整体架构,帮助设计者查找系统设计中的漏洞或缺陷,验证系统的活性、安全性、公平性和正确性等动态行为性质,使其更加规范、有效、合理。此外,本文在电子政务系统工作流网建模的基础上,综合成本建模技术和层次分析法对建立的政务系统进行绩效评估。 简言之,本论文的根本目的在于为电子政务系统提供一个统一的、可重复与可管理的模型,并为其制定判断实施成功与否的度量标准,也为类似系统的建模和经济可行性分析提供了新手段和思路。