基于元对象机制的语义Web服务组合模型转换方法

为解决面向服务环境下多领域业务过程协同中的语义不一致问题,提出基于模型转换的多领域业务过程协同框架,并基于元对象机制的元建模框架,实现协同本体到服务组合模型的转换.该方法能够保留流程与Web服务中的原始语义信息,提供了灵活的模型转换方法,从而保证不同领域业务过程协同的顺利进行.通过在欧盟ImportNET项目中的应用验证了所提框架和转换方法的有效性.     

面向企业整体解决方案的集成化建模与执行

论述了关于企业建模及相关研究的新观点，提出了改进后的集成化企业建模体系结构，其中，在生命周期维中研究了模型在各个阶段的演进问题，在视图模型维中引入了产品视图，介绍了产品视图的一般特征和结构。在此基础上，提出了基于模型释放的、在以工作流管理技术为核心的集成平台支持下、面向中企业整体解决方案的集成化建模及执行系统的基本框架，以及该框架中各个层次的主要功能。最后，以参考模型为核心研究了集成化企业建模中的知识重用和管理问题。     

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

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

工作流系统时间管理

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

基于Petri网的动态服务流程模型分割

为解决不同组织之间的统一流程定制和动态服务流程模型分割问题,提出了基于多个业务流程执行引擎支持的动态服务流程模型分割方法.首先提出基于高级Petri网的水平分割和垂直分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,然后根据组织的不同,分别放置在多个BPEL行语言引擎上执行,在此基础上进行了模型分割的正确性验证;为进一步提高多个BPEL引擎共同执行的性能,提出了混合分割方法及其体系结构,从而提高了其吞吐率,减少了服务响应时间的花费,并通过示例验证了BPEL流程模型混合分割执行的可行性.最后给出了支持模型混合分割的原型系统,实验结果表明,该模型的混合分割比水平分割和垂直分割更有效.     

一对多业务服务协商模型

为了对包含多项功能属性的业务服务质量优劣程度进行量化度量,提出基于指标分层结构和受多个利益相关方偏好影响的指标权重确定方法,进一步根据不同服务质量指标的特性分别制定了相应的效用度量方法,并建立了基于对方报价与剩余资源影响的报价策略,在此基础上构建了一对多业务服务协商模型,并以算例对本模型进行了验证。     

分布式工作流中的自适应实时任务调度方法

为提高分布式工作流中实时任务的调度效率,提出了一种基于比例-积分-微分控制的自适应任务调度方法.该方法采用基于动态关键路径的任务分配策略把任务分配到不同的流程引擎上,并通过任务调度器对任务进行调度.任务调度器根据准入控制器和比例-积分-微分控制器的计算结果,采用弹簧算法调整流程引擎中实时任务的各项参数,以便让流程引擎处理尽可能多的任务.此外,为了防止系统的瞬时过载,自适应任务调度方法采用了准入控制策略.该策略根据系统当前的负载情况实时对进人系统的任务数量进行控制,保证了系统的稳定运行.     

企业建模过程和工具系统研究

目前企业建模理论得到了越来越广泛的应用,但是如何在企业中开展调研工作,获取企业模型还缺少工程方法的指导,这使得建模过程周期较长,模型质量难以保证。本文以集成化企业建模软件为例,介绍了一种面向实际应用的企业调研和建模方法,以明确的步骤规范建模过程,达到缩短建模周期,提高模型质量的目的,同时支持这种建模方法的建模软件工具系统也做了详细的介绍。     

整车物流网络规划集成优化模型研究

优化整车物流系统配送网络可降低成本,为此,建立了综合考虑运输规模效应、库存控制策略、设施和服务质量等决策因素的整车物流网络规划集成优化模型。给出了一种流预测和遗传算法相结合的求解方法。在遗传算法中采用二进制码和自然码组合的编码方式,使得每个合法染色体都代表一种可行物流网络结构。为了解决适应度函数中的工厂与分销中心之间的运输成本计算困难的问题,提出了流预测算法,用于确定产品在工厂、集货中心和分销中心构成的凹费用流网络中的最优运输路径,进而获得适应度函数值。最后,通过仿真试验验证了优化模型的正确性和算法的有效性。     

指定极点区域的H-设计方法及实例研究

本文提出了一种综合考虑闭环动态性能,鲁棒性及控制器本身稳定性的指定极点区域的H~∝设计方法,给出了利用实参数寻优求解最优控制器的方法。并用这种方法设计了一个倒立摆平衡控制器。仿真研究结果表明,与LQ和常规H~∞设计方法相比,按本文所提出的设计方法得到的控制器具有鲁棒稳定能力强,闭环动态性能良好及控制器稳定等优点,具有很好的应用前景。