论文部分内容阅读
工作流技术是实现企业业务过程建模、过程管理与过程自动化的核心技术。随着信息技术的发展和计算机应用的普及,工作流技术正在受到越来越多的关注。在与工作流相关的各类技术中,工作流建模是当前研究的一个热点。
水资源配置主要有单源单约束、单源多约束和多源多约束三种情况,本文着重将工作流技术应用于水利领域的水资源配置过程,目的是提高水资源配置系统的效率,特别是应对突发事件的能力。重点分析了非常态控制问题,综合考虑了非常态水资源配置的各种情况,对其各种情况的控制过程进行合理的抽象,设计递归算法SearchRegulateGate(int n)实现了搜索单源多约束控制点,多源多约束情况下非常态控制与常态控制的搜索控制点过程皆可循环调用此算法来实现,并设计相关算法实现了统一水资源配置各种控制过程的工作流建模,重点研究了非常态控制过程建模,在此基础上进一步展开对工作流模型的验证。
本文利用统一建模语言UML(United Modeling Langage)对水资源配置过程进行系统的工作流建模,通过对水资源配置的物理过程分析,采用UML活动图对其进行工作流建模,得到水资源配置工作流模型,这个工作流模型有效地解决了水资源配置常态过程与非常态过程的闭环控制问题,给出了子工作流节点非常态控制过程的工作流模型,有效的解决了非常态控制过程中难以预测的问题。为了验证所建模型的正确性,本文先将UML模型转化为工作流网,然后采用可达树方法画出模型的可达树,由可达树的性质验证了模型的正确性。