互联互通是电子政务的重点,一些政府部门内部系统已经比较完善,但许多电子政务项目互联容易,互通难成,因此如何实现各政府机构间异构系统的整合与工作流程的重组优化也成为电子政务领域的重要科研课题。因此,电子政务环境构件间的控制研究是电子政务研究的核心内容。 本文通过对国内外电子政务发展现状的研究分析,可知政务服务构件间的协作体现了政务服务过程的异步性、并发性、不确定性和随机性。针对政务服务过程的这种特性,本文提出了一种政务服务协同工作流模型,而模型中的变迁和状态表征了政务服务过程中政务办件实例的活动与活动状态。同时,本文运用Petri网系统的可达树方法和状态矩阵方程的方法对模型进行了可达性验证,经验证该模型是安全可达的。 针对政务服务协同工作流模型的控制特性,提出运用消息中间件技术来实现和控制政务服务协同工作流模型。模型中构件的控制和驱动是通过收发消息来实现,其基本策略是通过控制生产、消费不同消费域的消息来实现政务服务协同工作流模型的控制和驱动。目前,将政务服务协同工作流模型的消息空间划分为三个层次:域、主题/队列和消息,其中协同工作域包含消息主题和消息队列,每个主题/队列则包含了若干不同类型的消息。 本文最后依此模型构建出一个基于该模型的政务服务协同工作流平台,证明了基于该模型的政务服务协同工作流平台可提高系统功能和业务上的扩展能力,增强了政务服务的协同能力,降低了系统各功能模块间的耦合度。