论文部分内容阅读
工作流模型可以清晰的描述业务流程,而且随着信息技术的进步,其应用范围也越来越广,对工作流模型的科学评价也越来越成为必要。然而,传统工作流管理系统通常只是严格按照工作流的定义来执行的,但在实际应用中由于缺少必要的信息、得不到资源、业务流程发生变化等意外情况,用户需要对静态工作流模型进行必要的修改,提高工作流的柔性,使工作流能更好的适应应用的需要。如何提高工作流的柔性已经成为工作流管理领域中最重要的研究课题之一。传统工作流柔性较低,主要是因为工作流本身在资源、控制、任务分配方面的不确定性,使得建模与运行分离,造成建模结果不能很好应用于实际情况。而且目前还没有可以较为系统的分析、评价工作流性能的软件,模型建立后不能进行系统评价和进一步优化。Petri网是一套完善的形式化的建模方法,是一种图形化和数学化的系统建模与分析工具,并且可以使用CPN Tools进行运行和性能方面的分析。运用CPN对柔性工作流进行建模、测试、分析、优化在工作流研究领域已经得到越来越多的重视。本文主要使用高级Petri网对工作流进行建模,并给出了一系列将工作流模型转化为着色Petri网模型(CPN)的转换规则,分别将工作流中的角色、活动、子流程、资源等基本元素转化为Petri网中的令牌、变迁、子变迁、库所等基本元素。转化规则还可以将工作流中的基本元素结构(顺序、与分支、与连接、或分支、或连接、选择分支)和基本控制结构(顺序结构、并行结构、单一选择、简单合并、循环、多路选择、多路合并)转化为CPN中的结构。在改进映射规则的同时,还需要进一步提高工作流的柔性。本文以基于动态结构的工作流建模为基础,结合CPN的特点,对柔性工作流建模方法进行了改进。本文主要从控制方面入手,在静态建模方面提出了基于Petri网的动态组合方法,使用替代变迁,连接具有相同输入、输出接口的子页面;在动态变更方面提出了基于Petri网的两种柔性工作流选择的实现方法,一种是基于弧表达式、变迁警卫函数的路径选择方法,实验证明提高了工作流执行过程动态适应性;另一种是基于“Bind manually”的用户参与选择方法,提高了工作流执行过程的可操作性。