一种支持过程动态更新的过程系统设计与实现

在当前开放、变化的Internet环境下,业务过程需要在运行时进行动态更新,同时将原过程下正在运行的实例迁移到更新后的过程模型下.设计了一种支持动态更新的过程系统.在模型层面上,使用AOP(Aspect Orient Programming,面向方面编织)的方法,实现流程运行时动态更新生成新的模型.在引擎层面上,修改原有引擎,使其能够暂停、恢复实例的运行,从而支持实例的动态迁移.在实例层面上,提出了一种实例迁移的算法,为模型提供动态更新的能力.最后,介绍一个应用案例以验证系统的正确性.     

具有死锁和陷阱结构的模糊Petri网性态分析

Petri网是一种具有动态特性的建模工具,模糊Petri网是Petri网的一个重要分支,可以有效处理具有不精确的、不确定的复杂因素的系统模型问题。本文在模糊动态Petri网的定义和运行规则基础上,研究了具有死锁和陷阱结构的模糊Petri网系统,通过配置不同的初始标识,分析其动态运行特性,并给出算例分析。     

智能柔性工作流建模方法研究与设计*

为了提高工作流的智能性和不确定性的变化的响应能力,提出了一种基于自主计算实体规则的智能柔性工作流模型。该模型通过引入自主计算实体以及自主计算实体规则实现流程的智能性,用柔性活动对不确定活动进行封装,并用自主计算实体规则来约束柔性活动的具体化以及属性的更改,并设计了一个高效的流程动态组合更改算法,实现了柔性活动的动态组合更改。最后,通过一个具体的实例说明了该模型能够显著提高工作流的主动性和智能性。     

一种数字权利动态跃迁模型研究*

针对目前数字权利难以动态描述的现状,提出了一种基于逻辑推理的数字权利动态跃迁模型。在定义好逻辑推理相关的基本要素后,分析了该跃迁模型的逻辑推理机制以及动态推理过程。最后深入地讨论了该跃迁模型中的各种可能表现形式,并给出了相应的应用模式。     

基于DFS的多Agent动态任务分配算法

针对任务分配算法应用于不确定动态环境时存在的不足,研究具有动态模糊特性的任务环境,借助动态模糊集理论,给出相关的多Agent动态任务分配算法并进行实例测试。测试结果表明,该算法模型可以合理地模拟MAS系统中任务分配的运行过程,并获得最优的任务分配策略与良好的任务实现效果。     

MBD机加工序模型更改的主动传播与一致性维护方法

针对MBD机加工序模型在设计更改中数据一致性维护困难的问题,提出了发现、传播与适应MBD工序模型更改的方法.首先归纳了MBD工序模型的组成,分析相邻MBD工序模型之间几何结构与标注的关联关系;接着按照工艺更改情况分类提出工艺更改的传播模型;并基于该传播模型提出了模型更改发现算法、模型更改传播算法和三维标注维护算法,用以维护前后置工序的数据一致性.实例验证结果表明,MBD工序模型的工艺更改传播模型与一致性维护方法是有效的.     

基于动态规划的生产计划优化模型研究与应用

动态规划是运筹学的一个分支,是一种多阶段决策过程,可用于解决多目标决策问题,以使系统的总效果最优.以某企业生产计划的优化安排为实例,在该企业产品的生产能力、生产成本、库存成本等约束条件下,利用动态规划方法建立生产计划安排模型,通过模型求解解决了该企业产品生产计划的优化问题,同时以精练的C++代码实现了相应程序.     

基于属性驱动的矿体动态建模

传统的矿体建模是基于结构条件驱动的,在边界属性变化时,所建立的模型难以随之动态变化,为解决这一问题,针对矿体的动态特点,提出了基于属性驱动的矿体动态建模方法。首先利用三维块体属性模型,按任意给定的边界属性条件,在块体模型中对所需单元块体进行动态提取,然后基于特征面求取和曲面光滑算法将矿体属性模型转换成几何结构模型,最后建立给定工业指标条件下的矿体三维几何模型。应用实例表明,该方法实现了在不同边界属性条件下动态提取、生成矿体的属性结构和几何结构,可精确构建光滑矿体模型,提高了矿体动态建模效率。     

面向对象的设备建模方法及其应用

各种煤矿监控类系统的通信协议对应不同数据结构,导致煤矿监控多系统融合运行时设备信息配置和管理困难。为解决上述问题,提出了一种面向对象的设备建模方法。通过数据驱动将多种非标准化的数据结构转换为标准化数据结构,根据实际设备的相关属性建立对应的设备模型;基于设备模型创建设备实例,采用层级树形结构展示设备实例的父子关系,通过动态页面展示设备实例的详细信息,可对具有不同属性的设备进行统一配置和管理。将面向对象的设备建模方法应用于图形组态中,使设备模型与图元绑定、设备实例与图形实例绑定,可快速配置数据可视化图形。     

过程感知信息系统中过程的动态演化

支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过程模型上继续执行,从而使得这些过程实例可以享受到过程优化带来的便利.过程实例迁移的挑战在于保证过程实例迁移的正确性以及过程实例迁移检验的高效性,以此为切入点,综述了过程感知信息系统中过程动态演化技术的研究进展.最后,展望了过程演化技术未来应当关注的研究方向.     

基于虚拟执行的动态工作流演进算法

为实现工作流管理系统中工作流演进的控制,解决流程实例动态调整的问题,给出工作流模型相关定义的形式化表示及正确性标准,提出基于数据流相关信息历史记录的虚拟执行算法,适用于模型结构变化及模型存在循环结构等情况.该算法能判断流程实例能否迁移,通过回退和撤销的策略保证工作流实例快速迁移.具体应用实例证明了迁移算法的正确性与可行...     

迁移实例状态监控及失败恢复机制

迁移工作流是一种多执行主体并发协同工作的工作流范型,其自组织、自协调特性决定了迁移实例的执行状态容易受到外部环境和内部执行状态的影响而发生异常。对异常状态的检测以及发生故障后的恢复是保障其可靠性的关键。然而目前已有的监控处理机制不能有效支持对此问题的处理,因此,提出一种基于层次监控模型的迁移实例失败的协调恢复机制,实现对多迁移实例执行状态的监控以及执行失败后实现状态的一致性恢复。初步的实验表明,该机制能有效监控具有并发协同行为的执行主体,并保障恢复的一致性。     

Mobile Agent的远程代码动态装配研究

针对Mobile Agent整体迁移时的缺点，文中提出了Mobile Agent的远程代码动态装配思想，即把部分执行代码存放在迁移节点，Agent在此节点运行时进行动态组装，运行完毕后动态拆卸。探讨了在此思想下Agent实体以及Agent Server的结构，分析了Agent的执行流程和执行效率。     

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

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

迁移工作流管理中的过程完整性控制算法

在研究基于任务片的迁移工作流网络和执行模式的基础上,提出迁移工作流过程完整性控制算法。该算法采用本地恢复和迁移恢复相结合实现任务片的完整性,通过迁移实例派生机制保证整个迁移工作流过程的执行完整性。实例证明该算法可以实现迁移工作流过程完整性的有效控制。     

基于事件约束的软件过程验证

软件过程是以人为中心的系统,其特点是动态性和不断演化.既定过程模型在实际执行时往往有所偏差.基于E-CSPE(extended constraints on succeeding and proceeding events)约束实现过程验证和偏差测量.事件约束根据过程模型定义.过程实例执行被记录为事件序列.通过分析事件序列对事件约束的覆盖和违反结果,可以计算EPD(event constraint based process difference metric)和EAD(event constraint based activity deviation metric)指标.EPD指标可以反映过程执行与过程模型的偏差,EAD指标则为过程演化提供依据.     

多主体业务流程的可靠执行模型

当前工作流管理中,业务流程执行的可靠性是一个不容忽视的重要问题,然而,现有的研究在解决多主体协调并发执行过程中的主体夭折问题存在不足。基于迁移工作流模型,提出一种多迁移实例的可靠执行模型,模型可以实现不同层次上的执行主体监测与故障诊断和处理;同时设计守护实例具有可移动、可复制以及自动退出等特点,有效提高了检测准确性和监控效率。实验表明,模型具有高可靠性和低开销以及可扩展性等技术优势,特别适合当前跨机构环境中多主体的并发执行。     

基于协作型VMM的虚拟机执行环境动态配置模型

针对当前各类虚拟机监控器(VMM)在定制虚拟机执行环境过程中灵活性不足、可用性不强方面的问题,提出并设计了一种用户动态配置虚拟机执行环境的模型,并在协作型VMM之上进行了实现。结合Intel VT-x技术的实现机制,充分利用虚拟机控制结构(VMCS)中的执行控制域特性,通过为用户提供接口,对虚拟机配置文件进行操作,实现对虚拟机执行环境的实时动态配置。用户利用该模型能够快速构建具有不同运行时特性的虚拟机执行环境。测试结果表明,该模型能够提高VMM的可用性。     

一种事件驱动的工作流管理系统的设计与实现

提出了一种事件驱动的工作流管理系统设计。该设计基于ICE通信中间件实现,工作流控制引擎解析建模工具定义好的工作流过程模型,将模型信息保存在关系数据库中,然后将过程模型中定义的活动分配到分布式的执行引擎中执行。执行引擎通过检测事件来判断分派到其上的活动是否应该启动。文中所设计实现的工作流管理系统,不仅可以与其它工作流管理系统共享过程定义,而且很好地解决了传统软件开发中存在的编程语言单一、部署集中的问题,明显提高了系统的可扩展性、柔韧性和处理复杂业务流程的能力。