电子政务系统设计问题探析.docVIP

电子政务系统设计问题探析 　　摘 要：电子政务系统的需求规范一般采用非形式化方式描述，易产生二义性。本文从电子政务系统的概念入手，针对电子政务系统的特点，采用形式化方法（Petri网）对电子政务系统进行建模，为系统设计者提供一种既明确又便于理解和掌握的系统整体架构，帮助设计者查找系统设计中的漏洞或缺陷，验证系统的活性、安全性、公平性和正确性等动态行为性质，使其更加规范、有效、合理。在电子政务系统建模的基础上，综合成本建模技术对建立的政务系统进行绩效评估。 关键词：电子政务；模型；绩效评估 1 基于Petri网的电子政务系统 1.1 Petri网技术 Petri网是一种特殊的有向图，它由两种互不相交的节点组成，即变迁和库所，而从库所到变迁或从变迁到库所的有向连线称为弧，即流关系。Petri网的状态称为标识。 1.1.1 Petri网基本结构 常见的流程包括顺序、迭代、并发和选择等。 1.1.2 Petri网性质 Petri网的分析方法有两种：代数分析法和可达图（或可覆盖树）分析法。在代数分析法中，用关联矩阵来表示网的结构，用向量来描述网的状态。在有界Petri网的可达图分析法中，由于可达标识集R（M0）是一个有限集，可用一个有向图RMG（PN）=（V，E，f）来表示该网的状态变化情况，其中V= R（M0）。对于Mi，Mj∈R（M0），