基于主观逻辑的Web服务信任模型

为解决当前Web服务网络中存在的一些与信任相关的安全问题、提高Web服务的安全性和可靠性，基于主观逻辑，文中提出了一个改进的自适应Web服务信任模型iWSTrust及相应的信任度和声誉评估算法，该模型利用主观逻辑对Web服务网络中的实体进行信任建模和推理，并增加可信任的第三方机构来保存信任信息，通过综合考虑Web服务环境中的各个相关实体，分析一次典型交易过程中所涉及的信任关系，并对不同类型的服务请求者进行区分，使得实体的信任度和声誉能够随着交易经验的增加而自适应地改变。模拟实验结果表明，iWSTrust能在一定程度上减少访问到恶意实体的次数，并惩罚进行欺骗的实体。     

一种Web服务组合的数学模型

为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.     

基于组合的Web服务复杂网络的构建与分析

提出一种以Web服务为节点,服务间的调用关系为边来构建复杂网络模型的方法.通过模型来研究Web服务组合结构中的服务关系,找到大量Web服务中关键的Web服务,增加组合服务的健壮性及可靠性.实验结果证明了该方法的正确性以及有效性.该方法的提出把对Web服务的研究从传统的SOA模型中引领到复杂网络模型中,对Web服务组合的进一步研究具有指导意义.     

面向物联网的异构实体间关系服务模型

物联网中的实体大多以异构形式存在,解决异构问题是推进物联网发展的重要因素.为此,在分析了实体及实体上载到网络中信息的特点后,基于Agent提出一种异构实体关系服务模型.该模型具有实体信息数据处理和构建实体服务逻辑两种功能,利用提出的全新的实体物间动态关系计算公式将异构数据转化为物间关系紧密度（值）,并依此生成了Agent服务序列,结合二分图理论实现物联网环境下的Agent服务逻辑;屏蔽了原本因实体和其信息的异构而使得其无法正常交互通信的缺点,实体通过模型中与之对应的Agent进行交互,并在已构建的服务逻辑下支配Agent;最后对该模型进行了仿真实验,结果表明其可满足物联网环境中的用户服务需求,在数据更新和服务准确率及冲突的处理上要优于传统的本体语义技术对异构问题的处理结果.     

基于I/O自动机的网格服务组合的形式化

为了描述网格服务挖掘（GSM）中的网格服务组合,提出了一种基于I/O的网格服务自动机模型GSAM（Grid Service Automata Model）.该模型定义了两种类型的网格服务自动机GSA（Grid Service Automata）--描述服务功能的网格服务功能自动机GSFA（Grid Service Functional Automata）和描述服务间交互通道的网格服务通道自动机GSCA（Grid Service Channel Automata）.同时给出网格服务兼容签名、组合签名、隐藏操作的定义,以及几个相关的定理来精确刻画网格服务的组合过程和方法.文中还举例说明了如何利用GSAM对GSM中的网格服务共享存储器系统进行建模.结果表明,所提出的模型能够精确描述网格服务的组合及其形式化的推导.     

服务组合系统交互协议兼容性检测模型

针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不仅能避免服务组合模型状态数较大时引发的状态爆炸问题,而且能有效地缩短服务组合系统的开发周期,降低系统的开发成本。     

一种基于NuSMV模型检测的服务组合编制方法

给出了基于模型检测服务组合方法,该方法形式化定义Web服务以及服务组合模型,使用计算树逻辑描述服务组合模型交互的控制流程,使用符号模型检测工具NuSMV自动检测服务组合模型的总体目标与服务交互的正确性。并通过一个具体案例验证了该服务组合编制方法的正确性和可行性,成功生成一个服务编制器。该方法可以有效缓解服务组合过程中状态爆炸问题,从而降低企业的开发成本及风险。     

网格信任模型的研究

研究如何在网格中建立基于行为的信任模型,排除内部恶意节点,提高系统的安全可靠程度.提出一种新型的基于行为的信任计算模型来处理网格环境中实体间的信任关系,该模型对域内信任关系和域间信任关系分别采取不同的方法进行处理,能够评估实体与实体间的信任关系,从而解决网格环境中存在的某些安全问题.     

复杂跨组织协同中基于深度信任推理的服务组合

以云计算环境下跨组织协同中服务提供者(SP)与服务消费者(SC)的深度信任推理及演化过程为研究对象,通过构建服务直接交互信任关系为主、公共信誉反馈为辅的QoS评价及修正方法,建立支持复杂跨组织协同的基于深度信任推理的服务组合策略。该策略在前期研究基础上,利用概率密度函数来表征服务实体间的信任度,通过研究基于概率密度函数的服务间接信任关系的计算、传递及合并方法,最后设计了基于深度信任推理的服务组合算法。仿真实验表明:该方法能有效评价服务参与者的信任度,提高复杂跨组织协同环境中服务组合的质量。     

一种基于执行环境特征的组合服务混合执行机制

研究了一种组合服务混合执行机制,建立了服务间的交互协议,给出了执行环境特征模型,并在该模型基础上给出了执行模式选择规则.该机制结合了控制流、数据流全集中,控制流集中、数据流分散两种执行模式的特点,能够根据组合服务业务特性和网络环境特点动态选择执行模式,可以使得数据量较大的消息直接在服务间传递而无需通过中心节点转发.实验结果表明:组合服务混合执行机制通过在组合服务执行过程中动态选择执行模式,能够有效保证组合服务的执行效率.