一种新的语义Web服务描述模型

在已有的语义Web服务描述框架基础上,定义了一种新的语义Web服务描述模型WFIEQ,从功能、接口、执行和Qos4个层面描述服务资源的语义信息,并给出此描述模型和其他语义Web服务描述模型的比较,该工作对基于语义信息进行服务的发现、组合和调用具有一定的参考作用.     

基于服务规约匹配的业务构件获取

针对目前构件模型缺乏行为语义和脆弱接口的问题,提出了一个面向服务的业务构件模型,该模型采用有限状态机来描述业务构件的行为语义,采用基于XML的标记数据类型来表示业务数据类型,基于此模型,提出了动作、动作序列和业务构件3个层次的语义匹配关系,借鉴数据库查询语言,提出业务构件检索语言以支持业务构件的自动获取.结果表明:所提出的方法为大规模的业务构件复用提供了有利的技术支持.开发了业务构件库管理工具验证了该法方法的可行性和有效性.     

基于归约图的Web服务自动组合

针对给定的服务库及用户请求的一个输出对象,引入了归约图的概念,证明了完备归约图与输出对象的等价性,论证了裁剪规则、归约规则求解归约图的可行性,由此提出了一种基于归约图的Web服务自动组合方法。该方法根据给定的服务库,针对用户请求的每一个输出对象构造完备归约图,通过裁剪、归约,获取该输出对象的合成路径。将图的构造与搜索过程分开,图的构造过程中不会出现重复节点,归约过程利用了归约图两类节点间层出现的特点。与传统的图搜索算法相比,搜索空间小、算法简单,避免了循环搜索。仿真实验结果表明,该方法具有较好的时间复杂度。     

基于微服务的服务机器人云服务设计方法

为了提升服务机器人的智能化水平,提出一种基于微服务的服务机器人云服务设计方法。设计基于微服务的服务机器人云服务的设计框架,提出服务机器人虚拟模型,实现服务机器人运动学/动力学模型、传感器模型和环境模型的云端映射,解决了机器人调用云服务的异构性问题;提出一种交互式的云服务交互接口,采用机器人的协议应答方式实现异构协议的自适应匹配;详细阐述服务机器人云服务平台的开发关键方法。通过所搭建的服务机器人云服务平台进行试验,测试了所设计的功能云服务的调用效果、实时性和细粒度服务质量,可以满足服务机器人的功能要求。     

服务机器人云计算平台SOA接口层模型设计

面向云服务机器人在家庭场景下的使用需求,设计了一种基于SOA(service-oriented architecture)架构的云计算平台接口层模型。模型将云计算平台的基本功能定义为元服务,根据数据类型和平台层次将SOA层服务分解为元服务的有序组合,并与服务相关资源组合构成元服务列表,完成服务的分解和重构流程,达到了元服务重组和复用的目的。针对服务执行过程中的服务质量监测问题,采用基于服务描述的服务质量存根保存服务的实时信息,设计服务管理层和服务调度层,通过元服务列表和服务质量存根完成服务的映射和管理工作,实现了服务的动态调度。实验验证了机器人云计算平台SOA接口层模型在服务映射和服务管理方面的可行性和有效性。     

混合QoS聚类的服务组合

为了有效解决混合数据类型描述服务质量（QoS）和服务组合计划规模较大情况下的服务选择问题,提出一种基于多属性决策理论的混合QoS聚类的web服务组合算法(CHQoS_WSCA). 该算法不仅能够评估以实数、区间数、三角模糊数、直觉模糊数描述的QoS信息,还能有效解决组合计划规模较大时算法的性能问题. 介绍了一个新的web服务QoS模型,能够描述实数、区间数、三角模糊数、直觉模糊数表示的QoS信息和一种异构QoS聚合算法. 仿真实验结果验证了该算法的优越性和有效性.     

基于逻辑推理的知识库检索

为了提高知识库检索的性能,实现了一个基于逻辑推理的知识库检索服务,并定制了该服务的接口.该服务首先将普通的查询语句转化成描述逻辑推理器能够识别的语句,然后利用描述逻辑的强大的推理功能实现语义网上的知识库的检索.实验表明,该系统能够快速有效地完成基于描述逻辑的知识库检索.     

基于图模型的C程序数据流分析

针对数据流分析常面临的高误报率等问题,提出基于图模型的C程序数据流分析方法,构建包含抽象语法树、控制流信息、程序依赖信息及函数调用信息的多维图模型,从安全敏感程序点(sink)溯源得到所有相关的外界可控输入源(source),通过基于图模型的过程内和过程间定值分析,实现对污点型缺陷的检测.结果表明,依赖完备的代码属性指导和区间运算支撑,可以有效降低数据流分析的误报率,减少人工审计代码的工作量.     

基于接口自动机的服务组合方法

基于接口自动机(Interface Automata,简称IA)的原理,提出了基于IA的Web服务组合设计方法,每一个Web服务对应一个IA模型,并使用IA的组合表示服务组合,当用户需求发生变化时,可以重新构建IA和组合IA,当需求稳定后,通过查找IA组合使用的路径就可以找到Web组合的方法,使用本文的方法可以快速生成满足用户需求的新应用系统。     

柔性制造系统中的工装管理系统设计

在分析柔性制造系统中的工装管理活动体系结构的基础上,提出了计算机辅助工装管理系统的计划级控制及单元级控制信息流模型。针对工装管理系统的信息流模型,采用层次抽象方法,将与制造系统内任务相关的工装资源,统一地视作具有高度概括的任务伴随对象。用实体－联系模型来描述任务伴随对象的工装族类实体,在此基础上对工装管理中的工装进行资源数据库的营建。     

业务保障模型设计与实现

鉴于客户保持及忠诚度管理的复杂性和多变性，如何建立一种良构的业务保障模型成为一个现实问题。为了分析服务水平协议下的服务质量，引出了客户分类管理，而后提出由业务过程元素，数据流及其关联构建业务模型的方法，以达到集中共享的流程构建方案。最后，给出了基于统一产品目录的电信业务保障模型实例。     

业务保障模型设计与实现

鉴于客户保持及忠诚度管理的复杂性和多变性，如何建立一种良构的业务保障模型成为一个现实问题。为了分析服务水平协议下的服务质量，引出了客户分类管理，而后提出由业务过程元素，数据流及其关联构建业务模型的方法，以达到集中共享的流程构建方案。最后，给出了基于统一产品目录的电信业务保障模型实例。     

基于SOA的航天发射场服务构件设计与应用

为充分利用航天发射场积累的大量应用和资源,采用软件复用、构件技术与面向服务的理念,设计了航天发射场服务构件。分析了服务构件的粗细粒度,将航天发射场服务构件划分为3类,对服务交互接口、基于XML的分类检索、服务构件的描述、服务构件设计流程与组装等进行了详细阐述,最后通过"故障弹/箭飞行"服务构件实例,说明基于XML的服务构件设计和使用方法。     

在面向业务的体系结构中实现业务合成

基于Web业务平台中立和自制的特性,通过结合使用由不同业务提供方提供的基本或复杂业务,业务提供者和应用开发商能够向用户提供新的增值业务,构建高级的商业事务.为了解决合成业务的构建问题,对合成业务分类、业务间关系、流模型和合作关系约定等问题进行了研究. 以图的方式描述了合成业务,提出了相应的构建准则与方法.另外,提出了一个构建合成业务的整体框架,用于对合成业务的整体生命周期进行管理.     

事件驱动的电信业务过程建模方法

通过分析电信业务过程中涉及的动作和事件的关键概念,提出一种基于扩展UML活动图的方法. 该方法通过事件驱动机制将动作和事件进行组合,使业务逻辑能正确响应来自网络的各种异步事件,而且能满足对电信业务过程建模的需求. 重点研究了UML活动图的扩展、事件驱动机制的模型描述和业务过程模型的执行机制.     

基于模型检测技术的语义Web服务自动组合

提出一种以OWL-S和模型检测技术为基础的Web服务自动组合方法,通过时间自动机建立语义Web服务的模型,能够刻画接口和过程交互的语义信息,并且能够表达复合用户需求。利用对应的模型检测工具,可以实现高效的自动组合。仿真实验证明,该方法有效地提高了服务组合的效率及质量,同时在状态空间的表示和维持方面具有显著的优势。