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

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

工作流网Soundness验证

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

基于动态结构的柔性工作流建模方法研究

柔性工作流能够快速灵活地适应企业业务流程的动态变化。在分析柔性工作流产生的原因和柔性工作流特性的基础上,详细描述了基于动态结构的柔性工作流的组成及其表示方法,提出了一种柔性工作流建模方法,结合基于Web的客户服务系统,给出了该柔性工作流建模方法的实例。     

面向对象的工作流建模工具的设计与实现

在工作流技术和方法的基础上,深入研究了WfMC工作流参考模型、工作流常用建模方法和过程定义语言,采用面向对象的建模方法对工作流进行建模,最后结合实例验证了设计器在处理复杂的工作流过程中具有一定的应用价值,从而为今后工作流的动态执行模型的建立打下了良好的基础.     

嵌入工作流的ERP系统的设计与实现

传统ERP系统在业务流程管理方面存在不足,通过引入工作流管理能够弥补其不足.通过比较自治工作流管理系统与嵌入式工作流管理系统,提出在ERP系统中采用嵌入式工作流管理的方法.从工作流建模和过程控制方面,介绍了基于UML活动图模型的嵌入式工作流管理模块的设计和实现方法.给出了支持工作流的ERP系统的实施方法.通过嵌入工作流管理到传统ERP系统中,提高了系统对企业业务的适应能力,也提高了软件重用和开发效率.     

基于Pi-演算的扩展有向图工作流模型及验证

为了加强工作流模型对业务流程的描述能力,提出了一种扩展有向图工作流模型及其验证方法.针对基于有向图工作流模型的不足,提出了扩展有向图工作流模型,并给出了该模型的定义和图形符号描述.在用Pi-演算准确描述扩展有向图工作流模型的基础上,给出了用Pi-演算分析和验证扩展有向图工作流模型正确性的方法.最后,结合实验对扩展有向图工作流模型及验证方法进行了仔细分析,实验结果表明了该工作流模型及验证方法的有效性和正确性.     

基于Petri网的工作流模型合理性验证

工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。     

工作流网XPDL映射

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

基于流程模式的工作流静态规划方法

现有的工作流规划方法通常对工作流执行引擎有特殊要求,使其不容易直接应用到已有的工作流系统中。针对这一问题,提出一种基于流程模式的工作流静态规划方法,通过对规划得到的工作流定义进行适配处理,使其能够直接在企业现有的工作流引擎上执行。流程定义优化让规划得到的工作流定义能够高效执行,将规划功能本身作为一个流程嵌入已有的工作流系统,使工作流规划的细节对用户透明。     

一种面向可信的工作流系统监控方法

摘要：提出了一种面向可信的工作流系统监控方法,该方法可对工作流引擎执行性能、工作流实例状态、以及负载情况等系统信息进行实时监测,并能对运行的工作流实例进行动态调整,有效的保证了工作流系统的可靠性、安全性和鲁棒性。该方法应用到了面向可信的动态工作流管理系统中,验证了该方法的有效性。     

一种支持动态群组的工作流建模方法

传统的工作流产品从建模到运行对业务流程中复杂的群组特性难以提供有效的支持.在通用工作流模型的基础上,对流程模型的表达能力和工作流运行机制进行了扩展,设计并实现了一个支持动态群组活动和群组协同的工作流管理系统.同传统工作流模型相比,在描述群组活动的能力上有所增强,使建模更简单.本文介绍了支持群组活动的建模方法和关键的运行机制,然后通过示例与传统的建模方法进行了比较.     

基于UML的工作流建模

工作流模型是对工作流的抽象表示，也就是对经营过程的抽象表示。由于工作流需要在计算机环境下运行，因此建立相应的工作流模型是必不可少的。传统的工作流建模方法存在着复杂、僵化、缺乏反馈等缺点，在分析了传统工作流建模的不足之处的基础上，结合工作流公共数学描述，提出了基于UML的工作流建模方法，并详细分析了它对传统工作流建模的改进。     

工作流挖掘：一种新型工作流自动化建模方法

为解决传统工作流建模方式主观性强、效率低以及成本高等问题，出现一种从工作流日志中自动化推导工作流模型的建模方法，又称工作流挖掘。这种新方法在国际上还处于研究初级阶段，但已引起广泛关注。该文对当前主要研究学者的工作及挖掘算法进行总结，介绍了两种不同类型挖掘算法的具体建模过程，并对其性能进行比较分析，用实例进行解释说明。     

基于扩展有向图的工作流建模的设计与应用

通过对工作流建模对象的分析,提出了一种基于扩展有向图的工作流建模方法,并从节点、有向弧及演化规则三方面对该方法进行了形式化的描述。在此基础之上,建立了一个工作流可视化建模工具,并通过具体的实例说明了该工具在实际流程中的有效运用,为解决传统建模软件开发中的关键问题提出了一种新的解决方案。     

支持状态机建模的工作流引擎研究

为了能清晰地描述存在较多审批环节和步骤跳转的业务流程,提出利用状态机为流程建模的方法。通过改进传统的关系结构工作流引擎,给出一个支持状态机建模的关系结构工作流引擎的设计方案,详细介绍该引擎的设计原理和实现柔性方法。最后通过一个示例,演示支持状态机建模的工作流引擎的工作机制和实例迁移的过程。原型已经应用到高校学费管理系统中。实践证明,该引擎可以有效地支持状态机建模,并缩短关键业务的开发周期。     

基于Pr／T系统的状态工作流网建模

对于工锋流建模人们常常想到的是根据业务的流程信息进行，侧重活动的推进,然而有些工作流系统侧重描述资源之间的状态转化，其中的活动可能会比较少，而资源之间的交互。状态之间的转化会比较丰富，此时对于常用的工作流建模方法就不能很好的表述这些特点，因此本文提供了一种基于WF-Net和Pr／T系统的状态工作流网State-WF的定义，并结各电子商务实例进一步阐释了这种建模方式与流程工作流建模的不同。     

基于构件的动态工作流建模方法研究

针对目前工作流管理系统在描述能力和动态性上存在的不足，提出了一种基于构件的动态工作流建模方法。该方法扩展了传统的活动网络模型，引入了新的建模元素，提出了新的建模机制。详细描述了模型的实现机制和应用场景，同时给出了一个模型实例。与传统的活动网络模型相比，该模型方法在提高模型描述能力、降低模型复杂性、提高系统动态性及适应性方面有明显的优点，对于设计开发高可靠性、动态性和适应性的工作流管理系统具有重要的应用价值。     

基于XML和Agent联邦的工作流建模方法

介绍一种基于XML和Agent联邦的工作流建模方法，目的在于建立分布式环境下灵活的，动态的工作流管理过程。该方法将工作流管理系统组织成一个可能嵌套的Agent联邦，将工作流定义为一个由Agent联邦协同完成的活动集合。面向活动分担的联合意向是Agent进行工作流规划的依据与手段，它成功地解决了工作流过程分解的静态性与工作流过程运行的动态性之间的矛盾。文中方法采用的过程建模语言是建立在XML的基础上，与传统的过程建模语言相比，它具有更强的可操作性与可扩展性。最后介绍了工作流建模环境以及利用该环境进行工作流建模的过程与步骤。     

基于扩展UML活动图的工作流模型研究*

针对目前工作流管理系统在表达能力和适应性方面存在的问题,在给出三层工作流过程元模型的基础上,提出了基于扩展UML活动图的工作流建模方法,扩展了多实例、条件路由和协调节点等建模元素,描述了扩展建模元素的定义、路由结构和建模规则。应用模型实例表明,此方法增强了模型描述能力,在模型适应性和柔性方面具有明显的优势。     

一种提高系统柔性的工作流建模方法研究

针对目前工作流管理系统在描述能力和柔性上存在的严重不足,提出了一种基于协调理论和反馈机制的工作流建模方法.该方法扩展了传统活动网络模型,提出了新的建模机制,增加了请求、服务、协调、多实例化等新的建模元素.详细给出了扩展建模元素的实现机制和应用场景,同时还给出了两个模型实例.研究结果表明,与传统的活动网络模型相比,该建模方法在提高模型描述能力、降低模型复杂性、提高系统柔性及适应性方面有明显优点,对于设计开发高可靠性、柔性和适应性的工作流管理系统具有重要的应用价值.