为了提取电子政务信息系统的关键性特征,如电子政务中的随机性、动态性、交互性和并发性,需要有一个行之有效的形式化方法来对电子政务各个模块中工作流程进行建模。虽然Petri网能够很好的解决形式化问题,可是没有完全模块化方面的技术。虽然在形式化方向面向对象技术也起着重要作用,却因在动态特征上面的不足而受到制约。本文将在此前研究的基础上提出新的解决办法:在电子政务工作流模型中将二者结合,系统依据UML建模,在校验分析方面依靠Petri网,目的是更加方便的判定电子政务中各个模块工作流程建模的合理性。本文首先详细阐述了利用Petri网和UML工作流建模相关的基础理论,然后在分析现存关于Petri网和UML建模与验证分析方法的基础上,结合二者的各自优点,利用了UML的可视性提出了基于UML的电子政务中工作流建模方法。然后分析了UML文件和Petri网文件的存储形式,得到了二者之间存在的联系,提出二者之间的映射规则,给出映射规则的正确性证明。然后针对给出的映射则利用相关技术将其实现,给出提出了模型映射之后的化简规则。接下来给出了验证准则,并在现有可达图分析方法的基础上,给出了一种更有效的分析方法。最后,以电子政务工作流模型为背景,利用UML建立工作流模型,利用研究结果映射为Petri网模型,验证分析模型的合理性从而证明原UML模型的合理性。