一种成本约束条件下的工作流资源数量优化方法

研究了成本约束条件下协调工作流活动对资源数量的使用,以减少整个工作流系统执行时间.该问题可归纳为多选择背包问题,并设计了资源数量优化算法来满足成本约束,算法的目标是在该约束下最小化工作流系统关键路径的执行时间.最后通过实例测试了算法的有效性和正确性.     

实时复杂事件处理的最坏响应时间估算

实时复杂事件处理系统(CEP系统)用于从原子事件流中检测出复杂事件,需要确保事件处理任务在截止期内完成.确保实时性的关键问题是如何估算系统中复杂事件处理程序(CEP程序)的最坏响应时间.现有针对一般程序的估算方法需要标注对象程序中子程序执行次数的取值范围.然而,CEP程序较为复杂,难以直接获知子程序执行次数的取值范围.虽然执行次数间存在关联关系,可以间接求解出取值范围,但这样得到取值范围不够严格,使估算精度较低,因此现有估算方法难以直接使用.提出一种CEP程序的最坏响应时间估算方法.采用新标注方式,通过对CEP程序的检测结构进行分析,归纳出子程序执行次数间的关联约束,并使用关联约束进行标注,替代了标注其取值范围,避免了标注困难.实验表明方法具有较高估算精度.     

CIMS应用集成平台的体系结构和集成机制研究

本文介绍了应用集成平台的产生背景和发展趋势。结合企业的需求，给出了制造业ＣＩＭＳ应用集成平台应该具有的基本特性，并给出了制造业ＣＩＭＳ应用集成平台的基本功能和系统体系结构。定义了ＣＩＭＳ应用的集成机制，本文所设计的集成平台可以为企业的ＣＩＭＳ实施和企业间的集成提供有力的帮助。     

服务流程动态分割执行中时序一致性的实时验证

服务流程的动态分割执行目前已经成为国内外研究的热点,但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对服务流程的这种实际需求,提出了一种动态分割执行的时序一致性实时验证方法。在服务流程动态分割时,通过约束映射将时序约束细化到分片中,并随着分片发布到执行站点。在执行时,执行站点可以基于分片执行信息,实时分析其约束映射的满足情况,从而实现服务流程的时序一致性分析验证。该方法有效减少了时序异常的处理开销,提高了执行站点的自治性;另外,它对分布结构没有限制,能够应用于各种动态分割执行方式。     

业务过程执行语言流程语义标注方法研究

为提高工作流模型在分布式执行过程中的自动化程度.解决语义异构问题,提出了一种基于本体的业务过程执行语言语义标注方法,构建了业务工程执行语言流程树和Web本体描述语言领域本体树.针对业务工程执行语言流程中的每个概念,分别从三个角度计算其与Web本体描述语言领域本体中所有概念之问的语义相似度,并选取与该概念复合相似度最大的概念建立映射关系.通过语义消歧过程.消除业务工程执行语言流程中存在的语义异构,并生成语义消歧树,进而基于一系列映射规则,将语义消歧树转化为Web服务本体描述语言描述的语义工作流模型.最后给出应用实例,并采用F1-measure对所提出的语义消歧方法进行评估.     

BPEL组合服务流程动态性能的定量预测方法

针对服务质量研究在流程模型相关性和流程性能动态性方面存在的不足,将吞吐量和响应时间引入到组合服务流程性能评估的流程级指标中,借助排队网络系统的相关结论,研究了组合服务流程动态性能的定量预测方法,给出了针对组合服务流程执行语言(BPEL)的动态性能临界值计算方法,并通过一个示例介绍了该方法在BPEL组合服务流程的动态性能定量预测和组合方案优化中的应用。     

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

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

工作流系统时间管理

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

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

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

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

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