面向实例方面处理的工作流动态调度优化方法

针对现实业务过程对实例方面处理的需求,建立面向实例方面处理的工作流动态调度优化模型,并提出了相应的优化方法.该方法利用蚁群优化算法的特点直接构建可行解,利用分组浪费时间与分组浪费费用的概念来设计启发式信息,同时优化最小化活动实例的总停留时间与总执行费用这两个目标函数,最终产生一组满足约束条件的Pareto优化调度方案.实验结果说明了算法的有效性.     

支持多实例模式的动态工作流研究

为了解决多实例模式给工作流的建模和实现带来的动态语义和数据共享冲突问题,在对多实例模式进行深入分析的基础上,讨论了一种具有动态性的建模方法。这种基于XPDL的过程定义方案支持各种多实例活动并且具有较强的动态性,能与不同的实现引擎兼容。同时,提出了一种活动多实例动态组装的活动执行部件设计方案,其中活动实例管理器的设计解决了动态执行多实例活动和数据共享问题。该方案在工作流引擎Shark中得到实现,改进后的Shark表明这种建模方法和引擎设计思想较好地解决了多实例的建模和实现问题,也提高了流程的动态性。     

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

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

工作流实例研究

工作流模型的复杂程度众所周知,为他设计的算法也种类繁多,但是哪种方法才是最适合客户的,用实例来说明最有力。     

应用AOP设计的可动态重构工作流引擎架构

鉴于现有的AOP技术并不能适应工作流系统的需要,该文应用AOP的基本概念和方法,提出了一种可动态重构的工作流引擎架构,解决了工作流引擎基本结构的动态扩展以及工作流定义的动态修改问题。在应用此架构开发的一个符合WFMC标准的工作流引擎上,验证了此架构的可行性及动态重构的便利性,分析了架构的优缺点。     

基于 UML扩展的面向方面建模 *

面向方面编程（AOP）把横切关注点从系统中分离,解决了面向对象编程（OOP）中代码纠缠、散射的问题。但在面向方面建模中,横切方面没有得到很好的支持。首先,在统一建模语言（UML）元模型的基础上利用类图建立了整体框架模型,设计了核心类、方面、横切元素及其之间的关系;其次,利用UML扩展机制为切点、通知、方面等主要元素建立了新的模型,设计了它们与方面之间新的关联关系并为其定义了语义。通过UML扩展,使得UML能够直接表达面向方面概念,支持面向方面建模设计,实现了面向方面模型的可视化和可辨别性;整体框架模型使得面向方面整体结构清晰,各个核心元素之间关系明确,为面向方面建模提供了一个整体设计平台,提高了面向方面软件设计的模块化,增强了代码的重用性和系统的可维护性。     

基于 UML扩展的面向方面建模 *

面向方面编程 ( AOP)把横切关注点从系统中分离 ,解决了面向对象编程 ( OOP)中代码纠缠、散射的问题。但在面向方面建模中 ,横切方面没有得到很好的支持。首先 ,在统一建模语言 ( UML)元模型的基础上利用类图建立了整体框架模型 ,设计了核心类、方面、横切元素及其之间的关系 ;其次 ,利用 UML扩展机制为切点、通知、方面等主要元素建立了新的模型 ,设计了它们与方面之间新的关联关系并为其定义了语义。通过 UML扩展,使得 UML能够直接表达面向方面概念 ,支持面向方面建模设计 ,实现了面向方面模型     

基于动态工作流的临床路径信息系统架构研究

针对临床路径中的变异性,提出了基于动态工作流的临床路径信息系统,并给出系统的整体架构。在工作流建模时,采用动态工作流技术来约束柔性活动的具体化过程,及时处理临床路径中出现的变异。     

支持动态调度的工作流D Flow Engine的设计与实现*

基于流程与活动两个级别考虑,提出支持动态调度的工作流D-Flow Engine;从动态路由和流程多版本方面分析了其动态调度特性。通过在流程建模阶段扩展工作流管理联盟的工作流元模型相关定义,重点分析了动态路由和多版本流程迁移在流程运行阶段的调度实现。实践表明,D-Flow Engine提高了工作流的适应性,满足了企业对工作流动态性的需求。     

基于动态AOP的构件交互行为监测器

在开放、动态的网络环境中,分布式软件呈现出规模庞大、松散聚合、行为复杂等特点,为有效监测其交互行为,提出了基于动态AOP的监测器模型,使得监测器能以更为灵活、松散、透明的方式融入目标系统;利用动态织入机制,能在目标系统运行过程中动态增加或删除监测器,提高了监测的动态性;并在此基础上实现了该监测器并应用于分布式电子商务应...     

多实例工作流模式的π演算形式化

多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究，提出了以π演算作为工作流形式化的基础，利用π演算对多实例工作流模式进行了详细的描述。     

迁移工作流系统中迁移实例的路径规划研究

提出了基于导航树的迁移实例路径规划模型,详细描述了迁移实例的寻径过程,给出了导航树的自维护管理机制,使导航树能根据工作流网络中停靠站的变化动态地完成导航知识的更新维护;同时由于停靠站的变更信息只在本域内交互,大大减少了迁移工作流网络的信息流量,特别适合于大型、停靠站点变更频繁的跨组织工作流服务。企业订单实例表明,引入导航树路径规划机制可以使迁移实例获得更有针对性的迁移路线,避免盲目迁移。     

一种基于虚拟执行规则的工作流实例迁移方法

在基于形式化的工作流模型和具有历史执行记录的工作流实例定义基础上,给出了一个全面的、正确的工作流实例迁移判断标准,并且依据此判断标准提出了虚拟执行规则和迁移算法。与同类研究工作比较,该方法在适用性、正确性和可实现性等方面具有一定的先进性。     

基于BizTalk工作流服务的动态工作流模型

针对现代制造企业迫切需要对动态业务流程进行管理的需求,提出基于BizTalk工作流服务(Human Workflow Service,HWS)的动态工作流模型.该模型包括BizTalk HWS的功能结构和BizTalk流程模型.对该模型进行数学描述,并提出1个动态工作流的调度算法.最后给出基于Web的原型系统,说明该模型能够在一定程度上解决企业动态业务流程的管理难题.     

过程实例跃迁正确性判定准则研究

过程模型的动态更改会引起运行中的过程实例向更改后的过程模型跃迁,必须保证过程实例跃迁后运行的一致性。由于多分支结构的影响,不同过程实例的跃迁条件不易确定。研究了过程模型更改机制,通过删除、插入、修改三类元更改操作构造更改域。将过程执行历史能否重放作为过程实例跃迁正确性的判定准则,提出一种高效的过程实例精确跃迁条件评判方法,可以确定拥有不同路由结构、不同运行状态的过程实例的跃迁策略。该方法能适应多分支的过程模型,灵活性高,便于实现过程模型动态更改和实例跃迁的自动化。     

一个网格服务工作流的动态调度算法

针对服务网格环境中资源的动态性,提出了一种并行调度算法PGSWA（parallel grid service workflow scheduling）,该算法引入了性能预测模型和并行就绪队列来预测下一段时间资源的性能并使得成员服务能够并行执行。实验证明,该算法能较好地缩短工作流的执行时间,提高工作流的执行性能。     

适用于实例密集型云工作流的调度算法

工作流调度算法仅适用于单个复杂工作流实例,而不适用于实例密集型云工作流实例,为此,提出了基于实例密集型的云工作流调度算法(MCUD)。MCUD算法先对待处理的一组工作流实例进行分类,再对分类后的同类工作流实例采用一种新的分配方法将用户指定的总最后期限分配到各任务;同时,在调度的过程中动态地调整后续任务的子最后期限。MCUD算法对同类工作流实例中的任务分配不同子最后期限,减小了资源竞争,提高了资源的利用率。仿真实验表明,MCUD相比于其他算法,在满足总的最后期限的前提下更进一步地降低了执行成本和执行时间。     

一种基于SOA和JBPM的工作流引擎模型

工作流技术是实现业务流程自动化的关键技术,但现有的工作流技术已不能满足目前分布式异构和松散耦合的企业信息资源需求。利用SOA技术,结合JBPM,提出了一种基于SOA和JBPM的工作流引擎模型,并对其流程控制与任务管理进行了分析,最后,基于SOAP、WSDL协议和JPDL实现了此工作流引擎,证明了其有效性。     

基于规则的动态工作流建模方法的研究与设计

现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足。针对这一情况,提出了一种基于ECA（event—condition—action）规则和活动选取一组合规则的动态工作流模型。该模型采用柔性活动对流程中的不确定因素进行了封装,用活动选取一组合规则来约束柔性活动的具体化过程,并设计了一种高效的活动自动选取一组合算法,来实现柔性活动的具体化。