基于矩母函数的工作流网性能分析方法

现有的基于Petri网工作流性能分析方法对模型中活动的时间分布函数有较多限制,求解过程也较为复杂.为此,通过引入矩母函数,并结合Petri网可达图分析方法,将活动服从任意分布的工作流模型同构于可达图,在进一步消减可达图突发状态的基础上,用传递函数替代整个网络的矩母函数.最后,根据矩母函数的特征,结合实例分析了工作流网的系统件能,验证了该方法用于分析工作流模型的时间性能和资源利用率的可行性.     

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

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

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

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

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

一种工作流模型的时间性能评估方法

在对模糊时态工作流网引入选择概率函数的基础上,提出了扩展模糊时态工作流网的工作流模型,给出其中的时态元素计算方法,以及分解扩展模糊时态工作流网的算法,并讨论了基于该分解算法的时间性能评估方法.最后,通过一个实例阐明了如何使用该时间性能评估方法.     

工作流系统中业务工具动态集成模型研究

为增强工作流系统和相关业务工具的集成能力,提出了一种两层活动节点模型。该模型将工作流活动划分为活动控制层和活动业务层,通过各自独立封装来降低两层间的耦合度。给出了控制层与业务层的关联描述模型、活动间数据传递模型、活动内数据传递模型等3种模型。介绍了基于这些模型建立的工作流系统的运行实例,实例表明这些模型增强了流程系统的业务工具动态集成能力。     

基于GSPN制造系统工作流建模及性能分析

依据制造系统离散性和自组织性的特点,应用广义随机Petri网(GSPN)与马尔可夫链理论相结合的方法,对汽车工业面对订单生产(MTo)工作流模型进行构建和定量分析,得出了制造系统工作流模型中的等待时间、资源的利用率以及吞吐量和系统瓶颈等参数,为制造系统工作流性能的有效评估提供了理论依据.通过实例,验证了该建模与分析方法的实用性和有效性.     

面向服务的工作流性能评价及指标相关度分析

为说明服务的性能与工作流性能的关系,提出服务及面向服务的工作流的定义,并以一个示例说明面向服务环境下工作流的特点及运行机制.在此基础上,提出了面向服务的工作流性能评价模型,并将战略层、业务层、服务层与IT层的性能很好地加以结合.定义了各层的关键性能指标及形式化表达方式,提出相关度的概念.最后,通过改进层次分析法,对关键性能指标的相关度进行分析,并将其用于服务的选择.     

支持业务过程性能优化的多过程建模方法研究

为提高业务过程的性能,从系统动力学的角度分析了企业业务过程性能优化全生命周期的系统结构.基于控制论方法,证明了提高模型的准确性,以及减小模型建立、分析及实施的周期时间是取得业务过程性能优化的关键所在.为此,首先提出了对企业模型、仿真模型和工作流模型进行统一建模的多过程建模框架和建模方法,并对多个过程间的相互依赖关系进行了准确的描述与建模;然后设计了相应的多过程建模工具的元模型;最后提供了一个具体的应用案例.     

动态实例建模模式的柔性工作流模型研究

传统的两阶段工作流工作模式严重阻碍了工作流柔性的提高,从生物适应的角度,提出了一种基于动态实例的柔性工作流建模模式,该模式下的工作流模型能够通过在不同环境中的实例实现工作流柔性;给出了该模式下柔性工作流活动的可扩展属性、方法和动态控制连接弧等的形式化描述;基于自主计算技术引入了嵌入柔性工作流活动的自主元模型,使用基于加权因子的可信度方法对自主元的推理知识表达,提高了柔性工作流的智能性;给出了动态实例建模模式柔性工作流完备性原则;最后给出了一个柔性工作流建模和自主元知识推理的实例,并对实例的完备性进行了分析。     

工作流时间性能分析方法

工作流性能分析是对工作流进行评价和优化的基础，时间则是反映工作流性能的一个重要方面。工作流管理系统中通常有属于不同工作流的多个实例同时运行，从而在不同工作流的多个实例之间造成资源竞争。对此，从资源的角度出发，利用排队论提出了一种通用的工作流时间性能分析方法，其中采用工作流实例平均响应时间作为工作流时间性能的分析与评价的指标。最后，通过实例说明了该方法的可行性和有效性，并提出了未来的研究方向。     

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

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

一种新的基于Petri网的分层工作流过程模型

过程模型的描述能力和分析能力难以满足企业的要求，为此，提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上，通过对基本网进行一定的扩展，给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式，特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量，并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量，消解工作流描述模型中的冲突；变迁体函数通过可扩展逻辑描述语句，实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型，剥离了工作流描述模型个案的语义信息，可以直接利用已有的Petri网分析技术来分析模型。最后，通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。     

基于Petri网的工作流模式研究

为了满足企业对过程模型描述能力的需求，提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上，应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步，消耗库所负责移除多余的标记，带标记的库所实现对变迁触发序列的控制；设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式，从基本到复杂，都映射到相应的Petri网上。最后，通过一个集成制造过程模型的实例，说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。     

基于状态的工作流实例迁移方法

为解决工作流系统中工作流模型动态变化产生的实例调整问题,提出了一个完整的基于状态的实例迁移方法.该方法采用基于历史事件的一致性判别标准,结合模型变化和活动实例状态,给出了具体的判别条件,从事件等同性、序列性方面证明条件的充分必要性.根据历史数据流设计了虚拟执行算法.在虚拟执行过程中,根据迁移条件的检查来判别迁移的可行性.为保证迁移后实例的正确性,给出了状态调整算法.最后,通过一个迁移过程的实例,说明了方案的有效性、可行性和完整性.     

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

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

工作流中数据流的调度控制

在分析了工作流、业务对象等基本概念和特征之后，针对过程中活动间的数据流，提出了工作流引擎和数据流的调度算法。借助工作流引擎产生的过程实例数据，把工作流引擎的控制范围延伸到人机界面上，它扩展了传统工作流引擎的调度思想，使数据之间的交互能够在受控状态下进行，改善了依靠人工检索的数据交互方式，提高了运行效率。     

基于本体的制造网格服务自动链接

研究了一种基于本体、面向服务功能自动生成制造网格工作流构架的方法。制造网格本体采用制造领域本体与网格服务本体集成的方法来构建，前者由STEP集成资源、TOVE、PSL以正交方式分别实现产品、企业和制造过程子本体，后者通过扩展Web服务本体OWL—S实现。服务功能采用基于制造对象特征的输入、输出和基于制造任务的前提条件、效果组成的四元组建模，使用制造网格本体描述。在此基础上，提出了一种服务正向递进自动链接算法，它能够依据用户指定的输入和前提条件选择并链接服务，最终达到用户指定的输出和效果。通过一个原型系统和实例验证了方法的有效性，实验结果表明算法具有良好的性能。