论文部分内容阅读
随着计算机技术、网络的飞速发展,计算机已经被应用于大多数的社会生产领域。然而,传统的计算机应用系统基本上是独立运行的,相互之间缺乏必要的协作与感知,对越来越流程化的生产领域显得有点力不从心。工作流技术的提出为其提供了较好的解决方案。工作流模型是对工作流的抽象表示,也就是对业务过程的抽象表示,是工作流中不可或缺的一方面,因此建立相应的工作流模型就是必不可少的。工作流模型为建模用户提供工作流定义所需要的组件或元素。目前有许多形式化的过程建模技术,然而,在各种建模技术中,Petri网以其充分的模拟能力和严谨、丰富的分析方法,逐渐成为工作流建模理论中的一种主流技术。
时间是工作流中的重要属性。近年来研究人员提出的大量基于Petri网的工作流模型虽然也具有一定的时间描述能力,但是他们对工作流中时间问题的研究是局部的、非系统化的,这些工作流模型在建模时间信息方面还普遍存在着不足。比如对资源的描述能力不强,割裂时间与资源信息的联系,时态资源信息如何管理等等。本文给出了一种将时间信息全面引入工作流模型的建模方法,提出了一种新的Petri网——TempWF-net。TempWF-net是对WF-net进行的一种时态扩展,它不仅能像WF-net一样较好地描述工作流业务过程的控制结构,还对控制结构的时态信息有较强的描述能力。在本文中将过程模型和资源模型分开描述,这样更有利于工作流模型的重构。同时将时态信息引入资源模型中,增强了资源的描述能力。文中应用关系的形式描述资源信息,并提出了利用时态数据库管理工作流中的资源信息的思想。最后给出了一个实例阐述TempwF-net的建模过程。