论文部分内容阅读
存在于互联网各个节点上的主体化软件服务,通过多种机制进行协同、整合而形成的软件形态通称为网构软件。网构软件为有效进行异构资源整合、充分利用互联网上大量的软件服务提供了有效手段。但随着对网构软件功能需求的不断增加,系统的结构、体系变得日趋复杂,同时由于软件的运行环境从传统的“封闭、静态、可控”环境转变到了“开放、动态、难控”的互联网环境,对可信性保证的要求变得日益突出。但目前网构软件可信性保证技术在信任关系的约束机制、推荐信息的准确性、信任衰减参数的合理性、信任演化模型的系统化、可信性评估方法的切实性等方面还存在着不足。针对上述不足,本文在网构软件可信性保证关键技术方面进行了研究,具体研究内容与创新点包括:(1)在实体个体层面,研究网构软件的可信实体模型。提出了具有自省性、自明性、自主性特点的网构软件强可信智能实体模型。定义了实体可信情况形式化描述语言(EDSADL),使实体能够通过自省机制实时监控与保障自身的可信性水平,并向外界公布以供验证。设计了业务功能模块与可信性保障模块分离的系统结构,保证了实体在向外界公开可信保障机制的同时对自身业务细节的保密性。设计了“环境感知——策略调度——行为触发”的机制,使实体具有感知环境刺激而自主演化的能力,保证了实体在外界环境可信性发生变化时能够做出适时地响应。(2)在实体间协同的层面,研究网构软件实体间的信任约束机制。引入契约式设计思想,从服务使用者和提供者的角度出发,采用“承诺—评估”机制明确双方的权利和义务,为实体交互过程中的双边规范定义了从低层接口语义到高层可信性情况的约束。定义了信任契约中前置条件、后置条件和不变式3要素的描述方法,保证了服务使用者、提供者以及服务交互关系的可信性。为实体协同、合作和竞争提供了有力的评估依据。(3)对于信任传递参数,研究实体间信任传递衰减参数的计算方法。综合主观信任与客观评估的优点,提出了基于评估的信任衰减过程。在对实体环境进行可信性评估的基础上,通过逐级计算、信息合并来综合多个推荐者实体的推荐信息,使用对实体间传输可信性的评估结果来修正推荐信息,计算得到信任传递过程中的衰减参数。该方法充分考虑了外部环境、实体自身条件等情况对主观信任值的影响,使信任传递过程中信任衰减参数的计算更加客观、准确。(4)在系统层面,研究网构软件可信性演化模型。提出了一种对网构软件体系结构进行形式化的建模方法,建立了系统结构模型,并据此提出了基于分层Petri网的网构软件可信性演化模型。通过上层Petri网对实体之间的各种基本协同关系进行了建模,以此形成系统整体组成结构的描述,反映了实体间的信任关系的演化;通过下层Petri网对实体内部的契约协商策略进行了建模,设计了基于信任等级带有路径引导的信任契约协商方法。从系统整体的角度建立起动静结合、层次分明、描述统一的网构软件可信性演化模型。(5)在系统测试与可信性评估层面,研究网构软件系统可信性评估模型。提出了符合网构软件异构性、结构化、动态化特征的可信性评估方法。定义了基于贝叶斯网络的网构软件可信性评估体系,通过树形结构整合了传统的静态指标以及适用于网构软件的动态指标。提出了基于结构模式的可信性评估指标及其计算方法,在描述各实体之间结构关系、语义关系的基础上,涵盖了对网构软件系统整体及其组成实体可信性的评估。建立起不但能对系统进行评估,还能为用户选择最优化实体提供帮助的可信性评估模型。