基于时间工作流网的智能交通系统建模与分析

智能交通运输系统是目前世界各国交通运输领域竞相研究和开发的热点,但用工作流分析智能交通系统的研究尚不多见。文章在工作流网中加入时间参数,提出了一种工作流建模工具:时间工作流网,并用时间工作流网建立智能交通系统的工作流模型。最后对智能交通系统模型的时间性能进行分析。     

工作流模式的π演算建模研究

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。     

基于Petri网的工作流过程模型及资源分布分析

针对工作流系统的特点对时延Petri网模型进行扩展,提出了一种新的工作流建模方法,即扩展时延Petri网。给出了扩展时延Petri网的定义,并用该方法分析了工作流四种基本模型;给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法,用这种方法可求得与实例到达率相关的工作流模型平均完成时间。最后应用上述方法讨论了工作流资源分布的几种模式,并与模拟结果加以对比,计算结果的最大误差在3%左右,说明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

基于交互学习的柔性工作流

当前工作流系统普遍缺乏柔性，导致适应性和实用性较差．在工作流网(WF—Net)的基础上，增加了柔性场所和柔性迁移，提出了一种柔性工作流网(FWF—Net)的建模语言并对正确性进行了分析；同时在工作流系统中增加了建模和执行的交互学习机制，给出了学习的算法，使工作流系统从建模和执行都具有良好的柔性和适应性，同时降低复杂性．通过实验表明，不但能够实现柔性工作流系统，而且支持个性化的流程管理．     

基于WF-net的工作流建模技术及应用

工作流系统成功的关键在于向其输入的工作流的质量,因此工作流的建模就显得非常重要。工作流网（WF—net）是由Petri网发展起来的一种适用于多种系统的图形化、数学化建模工具。首先它有精确的定义,其次这种形式化体系可以用来反思过程,所以它是一种严格的过程形式化体系。讨论WF-net的建模技术,并以办公自动化系统中收文为例说明其应用,并分析其在众多的建模工具中所具有的优势。     

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上,根据时间约束推理规则,提出一种动态修改时间约束时检验工作流一致性的方法,从而丰富了工作流的时间管理功能。     

一种构件化工作流管理系统

工作流管理系统是实现各种信息管理系统工作过程自动化的核心模块。本文提出一种工作流元模型和基于该元模型进行工作流建模的方法,并实现一个构件化的工作流管理系统。该系统支持基于元模型的工作流建模,提供工作流运行的环境,并可以构件的方式集成到外部系统中。     

一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

基于时间约束Petri网的工作流动态一致性检验

工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约束推理规则，提出一种动态修改时间约束时检验工作流一致性的方法，从而丰富了工作流的时间管理功能。     

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

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

基于UML的工作流建模

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

工作流时序约束模型分析与验证方法

为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.     

高性能云工作流状态机的原理与实现

传统工作流程通过设计活动和迁移线等元素来实现流程的基本流转,但随之而来的问题是当流程异常复杂,例如存在多达几十个活动且活动之间需要不断跳转交互的情况下,不仅开发复杂度成倍增加,而且运行时性能也会持续降低.为解决此问题,本文基于有限状态机的原理,结合云计算技术,提出了云工作流状态机,能够充分利用代码逻辑开发的便捷性,简化流程的活动和迁移,最终达到运行时高性能的架构目标.文中详细阐述了工作流状态机的实现原理,运行机制,以及云计算下的状态机服务框架,最后介绍了基于云状态机的业务应用开发方式,并给出容器下的压力测试结果：流程在双节点流转的单步耗时非常短,运行稳定.实践证明,基于容器的云架构在保证可扩展性的同时亦能满足高性能的设计目标.     

快速扩散制造中的工作流管理技术

针对武器装备快速扩散制造的效率问题,以军工产品的扩散制造为实例背景,提出一种支持快速扩散制造的工作流管理技术,包括工作流建模技术、工作流运行控制技术和工作流系统实现方法,采用Petri网建模方法和基于Web的工作流引擎技术。阐明扩散制造中工作流管理系统的体系结构。结果证明其在提高军工产品制造效率方面效果良好。     

军事网格工作流调度算法研究

针对军事网格应用及工作流的特点,提出一种基于网格工作流分割的调度算法。采用基于有向无环图的工作流建模方法,对网格工作流的相关概念进行形式化定义。在确定基本工作流之间的复合关系后,对网格工作流中的任务实施调度。实例结果表明,该算法能减少网格工作流的任务执行时间,具有较好的调度性能。     

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

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

加权的时间Petri网工作流模型研究

时间性能分析是工作流模型分析和评价的重要方面。介绍了Petri网和工作流网的基本概念,提出了加权时间扩展工作流网,对加权时间扩展工作流网的基本组件进行了时间分析,给出了平均时间的计算方法。通过网上订购商品和生产车间工作流模型,利用基本组件的时间性能分析方法,对这两个工作流模型进行了时间性能分析。     

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

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

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

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