工作流系统时间管理

时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.     

工作流系统时间管理

企业在处理业务时,政府在审批公文时都会有一个流程,也就是工作流管理系统。为了办公自动化,现已有工作流管理软件系统。在这一软件系统里,时问管理是关键部分,也是工作流技术实施复杂的企业和政府应用的严重局限。而时间管理的关键是时间信息的有效建模。当时间管理及其时间信息建模做好了,对于开发灵活性和实用性的工作流管理系统具有非常重大的指导性意义。     

基于时间约束Petri网的一致性验证算法

时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。     

基于时间约束Petri网的一致性验证算法

时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。     

工作流模型中多粒度时间约束描述及其分析

流程的分布性要求工作流模型中时间约束可以采用不同的时间粒度来度量.为此,定义了工作流模型MG-TWF.通过多粒度相对时间约束、多粒度绝对时间约束及多粒度时间约束工作流网概念,从MG-TWF模型的静态建立阶段、动态运行阶段及模型的网结构方面描述其多粒度时间约束.并在此基础上建立了MG-TWF模型的多粒度时间约束工作流网、多粒度相对时间和多粒度绝对时间约束一致性问题的一般分析方法.最后给出一个具体MG-TWF模型的一致性分析实例.     

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

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

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

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

协同虚拟样机的工作流时间管理研究

协同虚拟样机的工作流管理能支持和控制分布异地的多个集成化产品开发团队的动态协同设计过程,实现对虚拟样机协同设计过程的有效管理,对改善虚拟样机工作效率、提高工作质量起着重要的作用。重点对虚拟样机的工作流时间管理进行了研究,通过对路由结构的分析,采取工作流松弛时间分配方法,调整部分弱不满足时间约束至可满足状态,使更多的工作流实例满足截止期限,降低了异常触发频率,节省了处理开销,提高了运行效率。     

一个基于TWF-net的扩展时间工作流模型及其应用

时间约束是分布式企业工作流程建模中的一个重要因素．基于时间Petri网工作流模型(TWF-net)，通过分析TWF-net模型不足之处，建立了一种新的时间Petri网工作流模型——扩展时间Petri网工作流模型(XTWF-net)．通过构建规则，可将多个TWF-net合并为一个XTWF-net，以描述并行流程中的时间约束；通过引入与时区相关的时间映射函数，XTWF-net可以描述分布于不同时区的流程．最后给出一个利用XTWF-net描述分布式企业中业务流程的实例．     

受时间约束的工作流关键路径的确定

针对工作流模型的结构特点,建立了一种关键路径分析法,增加了对工作流常见结构的支持。该法将工作流模型中不同的控制结构转换为相应的顺序结构,并建立它们的约简规则。通过该算法,可以计算工作流完成时间的最大最小值及记录约简过程中的中间结果,从而确定工作流模型的关键路径。在该路径上包含了在整个流程起关键性作用的活动以及相应的时间分布,对于确保工作流计划的高效执行和提高企业的竞争力具有重要意义。     

基于时间Petri网的工作流模型分析

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.     

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

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

一种工作流时间约束的动态验证方法

时间约束的动态验证是保障工作流及时、有效的完成的关键.本文采用具有满足、弱不满足、强不满足3种状态的时间约束,改进了时间约束的动态验证方法.对于部分弱不满足的时间约束,通过基于角色信任度和时间延迟的松弛时间分配方法,可调整其状态至满足的,降低了异常的触发频率,提高了运行效率.实验表明,该方法有效地降低了异常处理的代价.     

基于工作流网的实时协同系统模拟技术

基于Petri网和工作流的概念,提出一种实时协同系统的形式化模拟与分析技术——逻辑工作流网,逻辑工作流网是抑制弧Petri网和高级Petri网的抽象和扩展,其变迁的输入／输出受逻辑表达式的约束,它与一般工作流网相比,能够在一定程度上缓解状态空间爆炸问题,且便于系统设计人员掌握和使用,该文分析了逻辑工作流网的若干性质及组合网的性质继承问题,并以网上企业销售系统为例,说明逻辑工作流网在实时协同系统模拟分析中的应用。     

着色时间工作流网任务调度的时间约束分析

为实现工作流管理系统中的任务调度和时间管理,避免流程在多任务运转时产生溢出,提高流程的工作效率。采用不固定时延定义了着色时间Petri网,通过控制任务间的最小时距避免了溢出,并用任务监测器实现了相应的控制策略。以各任务间的时间间隔最小为优化目标,对串行、并行、条件选择和循环四种基本着色时间工作流网进行了时序分析和任务调度,推导出多任务在基本着色时间工作流网调度的数学模型和着色时间工作流网整体运行时间函数的计算公式。最后通过一个审批流程对论述的任务调度方法进行了验证。     

基于工作日历的工作流时间管理的研究与实现

随着企业提出“精细化管理”的需求,企业对工作流平台的时效性、作业管理和时间监控提出了更高的要求.为了提高工作流系统对时间维度的处理能力,借鉴ERP系统的工厂日历思想,提出了基于工作日历的工作流时间模型,基于XML规范定义了5种时间表示方法,实现了基于工作日历的工作流时间管理模块.最后实例结果证明该时间模型易于理解和便于软件实现.