工作流过程定义工具研究与开发

按工作流管理联盟（WfMC）的参考模型,工作流过程定义处于工作流管理系统的工作流模型创建阶段。工作流过程定义采用的建模方法有多种,采用工作流网（WFNet）方法,开发了一个基于工作流网的过程定义工具。     

一种工作流模型的性能分析方法

在讨论了工作流模型分析的相关问题后，基于工作流网的定义，给出了包含资源、时间等信息的多维工作流网的概念，并讨论了由基于工作流联盟(WfMC)过程定义的一种有向网络图模型到自由选择多维工作流网模型的映射．为了处理工作流模型中的循环结构，对具有无环自由选择工作流网到一组变迁组件网(T—component)的分解算法进行了扩展，以处理工作流网中存在的循环结构．进而在模型结构分析的基础上，根据工作流模型的实际业务输入速率计算得到工作流网中每个变迁的输入速率．进而，结合开环Jackson排队网络理论，详细讨论了对工作流模型进行系统静态性能分析及基于系统资源状态的连续时间马尔科夫链(CTMC)的系统动态性能分析的方法，并以一个实例验证了作者提出的模型性能分析方法的有效性．     

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。     

工作流网Soundness验证

工作流过程定义可以采用不同的建模方法。工作流网是Petri网技术在工作流过程定义中的具体应用。工作流过程定义模型的正确性、可靠性在工作流网模型中使用Soundness特性表达。论文在介绍工作流网、工作流网模型的Soundness概念之外,给出了自由选择和Well-structured工作流网的Soundness验证方法。     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

基于Petri网的工作流建模与分析

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。     

一种基于扩展Petri网的工作流建模方法

工作流技术是计算机应用领域的一个新的研究热点。将Petri网引入工作流模型是一种常见的建模方法。但是，传统的PN不能直接用于描述比较复杂的工作流模型。本文根据C．A．Ellis定义的信息控制网、W．M．P．vanderAalst定义的工作流网，结合工作流本身的特点，对Petri网进行扩展，提出了一种描述工作流模型的新方法--信息控制Pettri网，并给出其表示工作流模型的正确性定义和验证。     

Petri网的工作流模型建模研究

实现工作流技术的关键环节在于工作流的概念模型,而其中的过程建模又是构建工作流管理系统的基础,因此,对建立工作流模型的研究和应用比较多。近几年,随着业务流程建模、工作流概念的出现以及Petri网技术的发展,Petri网也被用于工作流模型的建立。该文在介绍工作流模型和Petri网基本概念的基础上,介绍工作流的四种基本流程结构,并以工作流的四种基本流程结构为出发点,给出了如何把它们映射成符合工作流网定义的模型的一种方法。     

基于着色Petri网的工作流建模

为了提高工作流模型的适应性,通过建立统一的资源管理器模型,解决了工作流网的资源分配问题,得到了一致的资源请求和资源释放过程。在引入着色Petri网的基础上,得到更加容易控制和计算机化的着色工作流网模型。最后,定义并将适台于工作流的事件一条件一动作规则引入着色工作流网,提出了基于ECA原语的工作流模型描述机制。     

基于 Petri 网的保险索赔工作流模型

Petri网是一种有效的形式化建模工具,能自然地描述并发、冲突、同步等系统特性。给出基于Petri网的保险索赔工作流模型,将Petri网三要素以对象的形式描述出来,并对此工作流模型的正确性定义和验证进行了说明。     

基于资源限制流图的工作流并发结构的正确性验证

本文在基于Petri网的工作流网的控制流的正确性验证的基础上，提出了基于数据流的资源限制流网的概念，并在资源限制流网的基础上，提出了工作流网的正确性概念，提出了并发变迁的并发性错误检查算法．     

基于时间Petri网的工作流建模

随着工作流管理的发展,人们提出了很多扩展Petri网概念用于工作流建模。描述工作流中的资源、资源条件以及任务与资源条件之间的关系是一件很复杂的事情。而现有的用于描述工作流的Petri网在这方面,并不令人满意。该文特别强调资源的概念,在时间Petri网的基础上提出了一种新Petri网———资源条件/任务网(ResourceCondition/Tasknet,简称RC/TN),利用RC/TN网来进行工作流建模,描述工作流的执行过程。并将该工作流建模方法应用于OA流程的描述中。     

作业流访问控制策略

作业流是一系列任务，它由一个任务集和一个任务关系集组成，其中，任务关系集说明各任务的执行顺序。该文在给出作业流定义的基础上，提出了一种基于作业流Petri网描述的访问控制机制，并介绍了该机制的实现。     

一种基于同步网的工作流管理系统

作为一类典型的CSCW系统,工作流管理系统主要提供异步、结构化的协同支持。本文从模型入手,介绍了一种基于Petri网的工作流模型——同步网。它采用分层视图描述了过程逻辑、语义及管理,过程模型和管理模型的互动关系用来指导工作流引擎的构造。本文基于同步网开发了工作流管理系统,支持工作流的定义、执行和管理。为了满足CSCW的需要,工作流管理系统中增加了同步协作机制。     

一种改进的基于模板的工作流过程定义方法

随着工作流技术在企业业务流程管理中的广泛应用,人们对工作流管理系统的描述能力和动态变更能力提出了更高的要求。针对目前的工作流过程定义方法在这两个方面的不足,本文提出了一种基于模板机制的工作流过程定义方法。该方法在现有的工作流过程定义模型的基础上,加入了新的过程模板和活动接口元素。本文由此扩展了工作流过程定义语言,增加了支持模板描述的机制。实际应用的结果表明,该方法和现有的工作流过程定义方法相比,显著提高了模型描述能力,使得过程模型具有了较强的可重用性和可扩展性,并具备了一定的动态变更能力。     

工作流过程定义规范

1 引言工作流过程定义规范定义了一个通用的交换格式,对业务流程进行形式化的说明。这种通用的交换格式,可支持不同产品间过程定义的传送。规范也内在地包括了开发环境和运行环境形式上的分离,这使得由建模工具生成的过程定义,能作为许多其它WFMS运行时产品的输入,符合了用户所要求的建模和产品运行的独立性。     

卫生监督管理信息系统工作流建模及分析

Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术。本文将Petri网技术应用在卫生监督管理信息系统的工作流建模中,提出了完整的卫生监督管理信息系统工作流模型,并对该模型的合理性进行了论证。