论文部分内容阅读
工作流是一项实现现代企业过程集成的关键技术，它使企业能够实现业务过程的自动化。由于企业的业务过程受到各种因素的影响，需要进行变革或重组，因此工作流也必须快速响应需求变化，而目前的大部分工作流产品都不支持工作流运行时进行动态实时的修改操作。为了增强工作流管理系统的灵活性，我们需要在工作流研究中逐步纳入新的技术，柔性工作流便是所需的技术之一。本文对柔性工作流管理所做的工作如下：(1)首先对企业业务过程进行分析，建立了一个从企业过程、组织、对象和目标控制四方面描述的工作流模型，其中过程建模是整个模型中的核心。本文对业务过程进行自顶向下的树形分解，同时又将它们以petri网的形式进行表示。这种层次分解不仅有利于分清过程、子过程和活动之间的隶属关系，同时也有利于工作流的动态修改。(2)根据已经建立的工作流模型，分析了系统的动态修改以及工作流网中可能存在的几种结构冲突，然后从活动的添加和删除两方面讨论了修改的操作，列举了几种可行的修改操作，同时，描述了活动顺序重排的实现方式。(3)动态修改完成之后，工作流模型发生了变化，为了验证改变后的工作流模型的正确性，提出了一个正确性验证的算法。它从结构方面对工作流模型进行了分析，提出了一个冲突栈，将工作流网中的特殊节点压入栈中，并对栈进行分析得出工作流网正确性。(4)最后对柔性工作流进行了仿真验证，验证了动态修改操作的正确性。