论文部分内容阅读
作为支持过程建模、优化分析、经营过程自动化的有效支持工具,工作流技术成为近年来业界广泛应用、极力研究和迅速发展的技术。近年来,随着企业的市场竞争的日趋激烈和业务环境的不断变化,对业务流程管理和优化的要求也变得越来越高。其中,工作流系统的时间管理问题扮演了十分重要的角色。要实现工作流的时间管理,首先要解决如何用形式化的方法去描述时间信息和时间行为。Petri网具有直观的图形表示、明确的语义、坚固的理论基础、丰富的分析技术和适合于描述离散并行系统的特点,被认为是最有前途的工作流建模方法,W. M. P. van der Aalst在其基础上提出工作流网。人们已经提出了多种基于扩展Petri网的工作流时间描述模型。本文所做的研究就是对基于时间Petri网的工作流模型的扩展和改进。本文首先介绍了工作流和Petri网的基础理论,然后重点分析了工作流网和普通的时间工作流网,并通过实例分析,阐述了普通的时间工作流网在时间信息定义上的缺点。本文的核心研究内容之一是时间工作流模型中时间信息的定义。普通时间工作流网中的时间信息主要活动的时限约束(使能时间约束、触发时间约束)、活动的执行延迟约束,但还是这些信息还不足以描述工作流中的复杂时间信息。并通过实例的ATWF-NET建模和分析证明该模型有效地解决了TWF-NET的不足,能够清晰描述具有复杂时间信息的业务流程。本文的研究核心研究内容之二是时间工作流模型中时间信息的表示。随着工作流应用的发展,工作流中的时间信息具有不确定性的特点越来越普遍,已经成为工作流时间建模与分析方面的新难点之一。为了解决具有不确定性的时间建模,本文在前人研究的基础上,将模糊时间的概念引入到改进的时间工作流网模型中,创建了基于模糊时间的ATWF-NET (FATWF-NET)模型,并详细定义了模型中的时间信息的建模和计算以及工作流整体的时间可能性分析。最后通过实例证明FATWF-NET能够比较完整地描述具有不确定性时间约束的资源和活动的工作流系统。