论文部分内容阅读
随着信息技术的快速发展,世界经济全球化的浪潮一波波的汲涌而来,这对企业的生存环境产生深刻的影响,对企业的竞争力提出了新的挑战。企业面对全球化的市场竞争环境时,需要面对大量的商业手续,而这些大多数是通过公文或合同的形式来进行。因此为了提高在这些繁琐而又不得不进行的工作的效率,企业自己本身必须对自己的工作流应用提出更高的要求。因此,工作流管理系统的前期设计起着至关重要的作用。本文研究了现有的工作流技术的基础上,为公文流转系统的发文流程和收文流程进行了工作流建模。并给出了符合WfMC(工作流管理联盟)规范的基本工作流模型的时间Petri网描述,提出了将发文流程和收文流程工作流模型转化为时间Petri网的几个基本方法。讨论了公文流转系统建模后模型的几个重要的状态和变迁,并且在此基础上,讨论了时间Petri网的时间约束性能在公文流中的几种重要的表现形式,引入了时间约束的概念,提出了模型正确性验证算法,以及基于时间Petri网的时间约束的公文流转工作流性能的优化算法,最后基于优化后的工作流模型实现一个公文流转系统。本文的主要内容概括如下：(1)引入时间Petri网进行工作流建模本文通过工作流建模方法来对公文流转系统中的发文流程和收文流程进行Petri网建模。并以其中一个公文流为实例,引入工作流的时间控制算法,目的是为了能够更好的提高工作流的运行效率。并且阐述了工作流的时间约束的概念以及相应的模型。(2)基于时间Petri网的公文流转模型分析在先前建模的基础上,本文对公文流转模型分别从时间Petri网可达性,活性等性质进行分析,并且给出了模型分析的结果。(3)基于时间Petri网的公文流转性能评价和优化传统的时间Petri网只对工作流时间约束进行分析,来作出是否正确的判断。而对不符合时间约束的工作流模型只能人为的修改,效率不高。针对此问题,本文提出了一种能够调整时间约束的算法,来帮助手工调整整个工作流管理系统。并对调整前后的工作流进行再次检验和性能的分析。(4)在J2EE平台上实现以公文流转为核心的办公自动化系统在以上理论基础上,本文在J2EE的平台上设计了一个公文流转系统,并对其中的步骤进行时间控制,通过以上算法的调整,进行调整前后的性能的分析和比较。