基于广义随机Petri网的工作流性能分析

通过引入广义随机Petri网，将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系，得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法，为工作流性能的有效评估提供了理论依据，并通过实例验证，该方法可用于分析工作流模型的时间性能和资源利用率。     

敏捷制造环境下多维工作流管理方法研究

为了提高工作流对动态多因素的处理能力，提出了一种多维工作流管理概念，将敏捷制造环境中涉及到的资源、决策方法、时间、需求和组织等引入工作流管理模型中。建立了多维工作流管理体系框架及多维工作流的相关视图。在此基础上基于多维视图给出了多维工作流的形式化的描述，研究了多维工作流的基本操作，建立了多维工作流的建模流程。研究了工作流组织和资源等对工作流管理的约束问题，给出了工作流静态建模和动态调度优化策略。最后，结合实际应用进行了多维工作流实例分析。     

广义良构工作流的业务实例性能分析

为完成工作流业务实例时间性能的实时分析,提出了一种结合实例子图分解和模式化简的性能分析方法.工作流业务实例的时间性能仅与已完成的活动和将来可能执行的活动构成的工作流子网有关,业务实例的性能估计只能针对该子网进行.首先提出广义良构工作流网的概念并建立业务实例可达子网的规则和算法,讨论了活跃活动和活跃模式的性能等价模型,随后用这些模型化简广义良构的业务实例可达子网,并将因工作流模式的部分覆盖而不能完全化简的可达子网转换为更为简单的归属子图,以简化其性能求解.最后,通过实例演示了业务实例性能分析过程及方法的有效件.     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性，以及资源和变迁的有效时间约束问题。为此，通过对模糊时间Petri网的各个元素中引入时间约束，提出了一种工作流模型，即模糊时态工作流网，给出了该工作流网中各种时态元素的计算方法，并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后，用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。     

基于工作流模型的资源配置优化方法

工作流模型在执行过程中所引用的资源数量可以被优化。当业务实例在工作流模型中的逗留时间受到约束时,假设每一活动的业务实例逗留时间服从负指数分布,给出了以资源单位时间消耗成本最小化为目标的求解最优资源数量的方法。分析了业务实例在工作流4种基本结构的逗留时间分布与在每一活动的逗留时间分布的关系,给出了业务实例在工作流模型中总逗留时间与各资源数量的关系。最后,给出了一个基于工作流模型的资源优化示例。     

扩展模糊时间工作流网的建模与仿真研究

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述.在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法.同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法.最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性.     

资源分配演化过程与系统实现研究

通过对各种资源分配类型的分析，提出了控制资源分配的三元结构，并将资源分配过程演化为资源计划、资源准备和资源执行3个阶段。在此思想上设计并实现了一个资源分配系统。通过与YAWL工作流引擎的集成，较好地完成了对工作流实例的资源分配。     

制造网格中基于服务的工作流研究

为了实现制造网格平台中业务流程的构建、执行和管理监控，分析了制造网格环境下工作流的特点，在传统的工作流框架上进行扩充，提出了制造网格工作流框架和基于服务的抽象工作流模型。根据工作流查找和绑定服务的时机，将工作流分为服务模型建立、服务发现、服务绑定和服务调用4个阶段。根据工作流抽象模型中活动说明的服务质量需求和服务描述中的服务质量（QoS）属性，选用不同的服务发现策略，使同一个活动的不同实例能够绑定不同的服务，提高了制造网格工作流的柔性和自适应性。结合一个实例予以了验证。     

一种新的面向用户的工作流模型

为满足企业用户对工作流模型的描述能力和分析能力的要求，提出了一种新的面向用户的工作流描述模型——工作流描述网。该描述网可直接支持所有的工作流模式，特别是多实例、取消、高级同步等绝大多数工作流模型不直接支持的模式；通过提供多实例任务、取消任务、带传递变迁的任务等高级组件，直接支持工作流模式中几个主要复杂模式，每一个高级组件都对应一定结构的工作流描述网，并具有形式化的语义，在分析时按照一定的规则展开；基于Petri网，通过增加控制变量，及其与变迁间的通信机制来弥补Petri网无法处理复杂数据结构的缺陷。最后，通过实例说明了如何对各种复杂流程进行建模和分析。     

一种成本约束条件下的工作流资源数量优化方法

研究了成本约束条件下协调工作流活动对资源数量的使用,以减少整个工作流系统执行时间.该问题可归纳为多选择背包问题,并设计了资源数量优化算法来满足成本约束,算法的目标是在该约束下最小化工作流系统关键路径的执行时间.最后通过实例测试了算法的有效性和正确性.     

一种工作流时间截止期限的动态验证方法

为了动态验证工作流中活动实例的截止期限,提出了一种基于关键路径进行动态验证的方法。该方法根据工作流图中选择分支和可跨越活动的选取情况,将工作流图分别描述成Ebf图、Ebs图、Ewf图和Ews图,并求得各图中的Ebf,Ebs,Ewf和Ews关键路径;根据当前时间和所得到的关键路径对后续活动的截止期限进行了动态验证。这种方法不必计算所有活动实例的截止期限,只需根据实际需要,针对指定的后续活动实例进行截止期限的动态验证,从而减少了计算量,提高了工作流的执行效率。     

基于协调理论的工作流建模方法

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

参数化工作流动态建模及其在PDM系统中的应用

为提高工作流对动态不确定因素的处理能力，提出了参数化工作流动态建模方法。通过多个参数化模型的实例，建立实际的业务过程模型；同时为了控制和导航整个业务过程，提出了活动控制参数规则、多于模型实例之间的流转关系控制策略和基于管理角色的人为控制策略。为了实现该动态建模方法，工作流管理系统需要对工作流管理联盟的规范作较小程度的扩充。实际应用表明，这种方法是有效和可行的。     

面向并行工程的集成化产品开发过程管理系统研究

综合了项目管理、工作流管理和产品数据管理技术，提出了一种集成的产品开发过程管理系统，建立了集成化的产品开发过程模型，介绍了在系统的支持下过程运行的方法。应用实践表明该系统能够对产品开发过程提供有效的支持。     

工作流系统时间异常处理研究

为有效地处理工作流运行中出现的时间异常,分析了工作流系统对时间异常处理的需求,给出了工作流时间异常处理和工作流时序约束相关活动的定义,提出了时间异常的分类方法和时间异常传播的计算方法,并在此基础上提出了一套行之有效的时间异常处理方法.该方法能够预测由活动延迟异常引起的其他类型的时间异常,并在这些异常实际发生之前对其进行处理.该项研究成果已在产品创新设计领域的工作流系统中得到了验证,并且针对领域特点给出了该领域内时间异常处理方法的具体操作和算法.     

基于时间约束的工作流进程的性能研究

时间管理是工作流管理软件系统的关键部分，也是工作流技术实施复杂企业应用的严重局限。开展时间管理研究对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义。这里的重点是通过确定关键路径的方法使尽可能多的工作流实例符合给定的截止期限。     

基于Web的轻量级工作流管理系统

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统,能够显著缩短流程信息应用系统的开发周期,大大提高用户的办事效率。     

基于工作流的企业过程仿真技术研究

为解决工作流仿真相对于工作流管理系统比较薄弱的问题,提出了一种基于具有强大数学描述能力的WF-net网的仿真方法,进而给出了基于虚拟运行环境的工作流仿真机制的实现,从而保证了整个工作流系统的安全性和可靠性,并对企业过程提供了有效的支持,使得企业降低成本、增加生产管理的柔性.最后,给出工作流仿真系统JXWorkflow具体实例分析.