论文部分内容阅读
近几年来，工作流管理技术被业界广泛采用并得到了迅速发展。它的主要特点是根据一系列过程规则，采用计算机技术，使得业务流程完全或者部分地自动执行。工作流管理系统最重要的功能之一就是工作流建模。这些预定义的过程模型必须能很好的反映实际业务流程，因此需要找寻更为灵活的工作流过程形式化表示方法及过程的执行策略。为了判定新的业务过程模型是否正确，就必须对其进行分析。因此，需要研究使用仿真和形式化验证技术。Aalst的工作流网技术就是一个典型代表。 Aalst的工作流网已被众多研究人员所认同，它是基于经典Petri网所建立的。因此，它能精确地描述事件的顺序、并发和冲突关系，使系统形象化，有利于理解。但是，传统Petri网具有一些固有的缺陷：难以实现流程控制，不能描述时间性活动。因此，本文对经典Petri网进行颜色扩展、时间扩展，在Aalst的工作流网基础上提出了基于赋时着色Petri网的工作流网，以及从业务流程到工作流网的映射算法。 模型的正确性验证一直是工作流过程定义阶段的难点问题。一些学者提出了基于图规约法的验证算法，这些算法研究主要集中在时间Petri网的验证简化上，很少有对赋时着色Petri网进行研究的，并且这些研究也局限于对简单控制结构的规约，对一些复杂结构(如：AND-AND嵌套结构、OR-OR嵌套结构)仍然束手无策。本文在这些算法的研究基础上对赋时着色Petri网的各种结构进行详细的研究，提出了针对基于赋时着色Petri网的工作流网的图规约验证算法。 最后，本文设计了一个用于进行模型元数据输出的建模工具。它采用XPDL标准，支持可视化操作，支持业务流程模型重现，并实现了从业务流程到工作流网的映射算法。