一类可由基本模型嵌套组成的工作流系统的性能分析方法

工作流是近年来网络领域里研究的一个热点，对工作流模型的性能分析是工作流研究的一个重要内容．实际的模型往往规模大而复杂，这为分析其性能带来了很大的困难．但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成，对于这类模型，本文给出了计算其性能乘积解的数学公式．文中给出了如何由这四种基本模型嵌套组成实际模型的方法，推导出了计算这四种基本模型的性能等价公式，并按建立实际模型相反的顺序，用由里到外逐层的分析方法，给出了计算实际模型的性能乘积解．     

随机Petri网非乘积解系统的判定与界限求解

本文基于随机Petri网(SPN)提出了一种利用站平衡来判断非乘积解系统模型的方法,发现了可能导致站不平衡的三种Petri网结构,对这三种结构进行了分析,得出了产生非乘积解的系统原因,并给出了一种利用乘积解求解非乘积解系统模型性能界限的方法,这种方法可广泛应用于多种实际系统的性能界限求解.     

基于时间Petri网的工作流系统模型的线性推理

目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析,很少有人研究与时间有关的工作流模型的性质,特别是模型中的时序关系推理及性能计算问题.本文重点研究了这方面的问题,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题.     

一种层次式的事务工作流失效恢复算法

部分补偿和完全补偿是事务工作流失效恢复的传统补偿方法,对于长期运行且结构复杂的事务工作流,失效时需要补偿至静态定义的某一活动甚至起始活动,因此代价较大.给出了事务工作流的概念模型,提出了一种层次式的失效恢复算法.与传统方法相比,允许事务性或者非事务性子过程同时存在;将工作流看作由嵌套结构的子过程组成,而不是一个平坦流图;基于执行历史而不是工作流定义进行补偿,可简化循环结构的恢复.该算法针对活动的恢复策略进行层次式的向上规约处理,动态确定补偿终止点,可有效减小补偿域.证明了算法的正确性,性能分析表明其性能通常优于非层次的失效恢复算法,讨论了算法的实现.     

一种基于时间权重的 Petri Net 工作流过程建模

为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的.     

一种随机Petri网性能等价化简与分析方法

随机Petri网模型是系统性能评价的有力工具,但其状态空间随模型规模的增长而指数性增长的问题限制了其对复杂和大规模系统模型的性能数量分析能力.因此,在对模型进行分析之前,先对其进行适当的性能等价化简,是一种更为可行的分析方法.本文首先讨论了一类随机Petri网-基本随机Petri网(ESPN)的性能等价分析方法,这类随机Petri网由顺序、并行、选择和循环等四种基本结构及其组合构成.作者推导出这四种基本结构的性能等价公式,并运用自底向上逐步综合替代的分层分析方法,给出这类随机Petri网模型的性能等价化简分析方法,该方法的复杂性随模型增长而线性增长,有效解决了其性能数量分析问题.然后,讨论了两种非基本结构到基本结构的转换规则,使得复杂的随机Petri网模型也可能转换为ESPN模型,从而使性能等价算法可应用于一般随机Petri网.     

基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。     

基于XML和关系型数据库的分布式通用工作流引擎

针对关键业务的应用开发离不开工作流技术的支持。通过对关键业务的实际开发需求的分析，在传统的关系数据库的基础上。结合XHL的结构化、层次化的特征，提出了一个适用于关键业务开发的基于XHL和关系型数据库的分布式通用工作流引擎的框架结构。此工作流模型由信息模型和控制模型两部分组成。文中详细地给出了相关的信息模型和控制模型的设计原理以及具体的表示和实现方法。其原型已经应用于实际系统中，实践证明，利用此工作流引擎可以显著地缩短关键业务的开发周期。     

敏捷工作流模式研究及应用

为了增强工作流系统对业务流程变化的适应性,提出了一种敏捷工作流模式,它是一个模式系统,由工作流体系结构模式、模型描述模式、模型表示模式和模型解析模式组成.深入讨论了这种模式的设计思想,并详细描述了上述4个组成部分.最后,通过该模式在实际开发中的应用表明,敏捷工作流模式对于实现柔性的工作流系统具有很高的应用价值.     

嵌套移动网络路由优化技术研究

NEMO基本支持协议采用双向隧道,可以为移动网络中节点提供移动透明性支持,但是双向隧道技术存在明显的效率差的问题,尤其在嵌套移动网络(Nested NEMO)中更加明显.论文介绍了NEMO基本支持协议以及嵌套NEMO的模型.分析了NEMO路由优化问题现状,引入了路由优化概念,提出了一个针对嵌套NEMO的路由优化方案,并验证了方案的有效性.最后,给出了需要进一步研究的工作.     

资源约束下实例在工作流中停留时间分析方法

为了反映业务请求者对业务处理的完成时间要求的满意程度,以工作流模型描述业务处理过程,然后分三步求出实例在工作流模型的停留时间分布函数:第一步求出实例在每一活动的停留时间分布函数;第二步求出实例在每一基本结构的停留时间分布函数;第三步求出实例在整个模型的停留时间分布函数.再根据客户对停留时间的容忍限度,得出客户对业务处理过程的满意度.     

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

视频积累网络雷达对SWⅠ目标检测性能分析

网络雷达实现了雷达与雷达对抗的一体化,是雷达系统与雷达对抗系统发展的新趋势。视频积累网络雷达作为多脉冲积累网络雷达的一种重要形式,对其检测性能进行研究具有重要意义。而雷达性能与目标紧密相关,要对雷达性能有一个全面而深刻的了解,就必须对其在不同目标模型时的性能进行研究。文中研究了在总发射功率一定的条件下,视频积累网络雷达多输入多输出(MIMO)模式和MW(Mobile Window)模式对SWⅠ(SwerlingⅠ)目标的检测性能,并在此基础上进行了仿真。结果表明视频积累网络雷达MIMO模式和MW模式对SWⅠ目标检测能力是不同的,为网络雷达工作模式的选择提供了一定的理论基础。     

基于工作流的ASP服务组合模型研究

提出了一种基于工作流和数据泵的ASP服务集成的方法，该方法运用工作流技术来实现ASP服务的过程集成，运用数据泵实现数据的集成，ASP服务集成的关键是控制流和数据流，控制流运用工作流技术，而数据流运用数据泵。在基于工作流的ASP组合模型的实现技术中讨论了ASPWF模型的思想、建立步骤，设计了引擎算法。在案例分析中通过电信企业运营中的SLA工单处理的业务过程为例，说明如何将工作流与小粒度ASP组合服务模型的优势相结合，提高系统处理的效率。     

用进程代数描述可适应工作流的模型方法

工作流模型技术是当前的一个研究热点,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出用进程代数——通信顺序进程(Communication Sequential Process,CSP)描述工作流的方法,并给出了模型可适应问题的解决方法.进程代数的合并(composition)特点可以将简单的工作流模型组合成复杂的工作流模型,从而解决复杂系统的模型问题,并为工作流模型的可重用性提供有力的支持.     

基于Petri网的测井资料处理工作流建模

基于Petri网的建模方法,具有直观的图形表示和坚实的数学基础,是工作流建模和分析的有力工具。文中通过对测井资料处理流程的描述,提出了一个基于Petri网的测井资料处理流程的工作流模型,并利用Murata化简技术对该模型进行了合理性验证。     

PDM系统中工作流管理的设计与实现

在PDM系统中，工作流管理的重要性越来越突出。首先分析了工作流管理的基本功能，然后以产品设计审批浇程为侧．利用Petri Nets模型进行详细分析，并建立工作流模型；最后重点阐述了PDM中工作流管理功能模块的设计与实现。     

基于策略的工作流系统研究

结合互联网工程任务组(Internet Engineering Task Force,IETF)提出的策略的概念和策略部署模型,提出了一种基于策略的工作流系统,并结合工作流系统的特点,提出了描述工作流策略语言,并给出了使用基于策略扩展的Petri网建立工作流过程模型的方法。基于该元模型的定义的工作流具有较好的灵活性,并对工作流的运行期实例的动态修改提供了支持。