知识服务网格及其在制造网络中的应用

为解决制造网络中知识资源的共享和利用问题,在分析制造网络需求的基础上,给出了知识服务网格在制造网络中的应用模式。在该知识服务网格中,用户能够自主定义和管理其自身对外提供的知识服务,并有偿利用外部的知识服务满足自己的应用需求。进一步提出了由代理封装层和使能工具层组成的知识服务网格架构图,给出了知识服务的建模方法,详细描述了知识服务网格(包括注册、建模和执行在内)的运行过程。     

Web服务组合中行为兼容性分析与优化控制策略

针对Web服务组合中交互行为不兼容问题,本文提出了基于Petri网的优化控制策略来规避.首先,给出了多个服务交互行为不兼容的实例.其次,给出了受控服务组合的形式化定义,并根据约减规则生成了约减的服务组合网状态可达图,从而识别出死锁状态和无死锁状态.在导致死锁状态的关键变迁上添加相应的控制库所和弧,并结合最大允许反馈控制...     

基于智能物件的实时企业复杂事件处理机制

实时企业能够主动地提供及时、准确、详细的信息,这些信息除了业务系统产生的大量数据、智能物件(Smart Items)数据流以外,更主要的是隐藏在其背后的信息.目前缺少功能强大的机制和方法来获取和展现这些隐藏在背后的信息,而复杂事件处理(CEP)可提供有效的途径和方法.提出基于Smart Items的实时企业体系结构,给出事件基本概念、时间模型、层次模型的清晰定义;现有的事件聚合方法基本都是在事件类型级别上进行的,提出的事件实例操作符能够在实例级别上进行事件聚合,同时定义基本的事件类型操作符;提出语义空间的方法为事件聚合提供环境信息,并给出事件实例的使用策略、消耗策略以及老化策略来维护事件实例,特别是给出的事件实例分区方法能够提高事件聚合的效率.使用Colored Petri网检测复合事件具有很好的并行性和效率,给出相应的检测算法.在某制造企业的实际应用中证明该方法具有很好的效果.     

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

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

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

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

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

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

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

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

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

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

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

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

考虑原子服务排列顺序的QoS感知Web组合服务选择

针对现有OoS感知的Web服务组合选择方法难以选择到实际执行代价最低的服务组合的问题,在分析原子服务排列顺序对组合服务Qos的影响的基础上,提出了考虑原子服务排列顺序的组合服务选择方法.该方法将组合服务看成是一组原子服务的排列,考虑到原子服务的可靠性,将组合服务平均成功执行一次所需的代价作为组合服务的实际执行代价,以组...