论文部分内容阅读
工作流管理是一个被广泛应用并迅速发展的技术,而工作流建模是工作流技术研究的基础。经过对多种建模工具的比较和分析后,作者将具有坚实的理论基础和成熟的分析方法的Petri网建模技术应用于消防建筑审核工作流系统。它是一种基于状态的建模技术,可以方便地进行层次化建模,并可以验证模型的可行性。这恰恰符合消防建审流程的基本出发点站在企业用户的角度审视和思考流程,即企业只关心申请所处的状态。因此本文建立了一个基于Petri网的消防建审工作流模型。此模型更符合从用户需求出发,构建服务型系统的需要。 按国家消防建审相关法律条例规定,本文建立的消防建审总体业务流程具有一定的通用性,而消防建审工作因地区和组织机构不同而有一定差别。因此本文利用分层Petri网技术将总体业务流程按层次进行细化和分解,形成消防建筑审批子流程和消防建筑审核子流程。此方法可以隐藏子网的内部结构和详细描述;可以使子网的描述并行进行;可以使整个模型具有良好的层次结构。 本文利用工作流网技术,依据消防建审业务建立了消防建审工作流逻辑网;然后在工作流逻辑上用案例属性中的显性内容来消解冲突,为案例确定实际路径,从而建立了消防建审工作流语义网;最后工作流管理部分由工作流引擎来完成,分别建立了工作流管理逻辑网和工作流管理语义网。并对消防建审工作流模型,按照Petri网的化简规则和检验规则进行有效性、正确性分析验证。 本文以大连市消防支队消防建审工作流系统项目为背景,在对建筑工程消防监督审核等相关工作充分调研的基础上,设计出基于Petri网建模技术的符合消防建审工作实际需求的工作流模型,并在系统中应用,取得了良好效果。