一种基于主体的可信网构软件设计方法  

An Agent Based Design Approach for Trusted Internetware

作　　者：张大鹏[1,2,3] 王文杰[2] 史忠植[1,2] 

机构地区：[1]中国科学院计算技术研究所智能信息处理重点实验室,北京100190 [2]中国科学院研究生院,北京100039 [3]燕山大学信息科学与工程学院,河北秦皇岛066004

出　　处：《电子学报》2010年第11期2523-2528,共6页Acta Electronica Sinica

基　　金：国家863高技术研究发展计划(No.2007AA01Z132);国家自然科学基金(No.60775035;No.60970088);国家973重点基础研究发展规划(No.2007CB311004);国家科技支撑计划(No.2006BAC08B06);中国科学院研究生院院长基金(No.O85101JM03)

摘　　要：本文提出了一种基于主体的网构软件设计方法ABDPI,该方法对传统的多主体系统设计方法进行了扩展,支持网构软件的分析、设计、实现和部署等各个阶段.该方法建立了一个通用的信任模型来描述网构软件中各个软件实体间的信任关系,并通过定制灵活的信任评价反馈策略来体现信任值的动态变化;该方法还使用有限状态自动机对网构软件中软件实体的正常行为和故障行为进行建模,并通过动态描述逻辑DDL加以描述,在网构软件运行的时候能够通过系统观测和DDL推理机动态地诊断出故障;结合具体的案例对网构软件系统的设计过程给出详细的介绍.An agent based design approach for Internetware has been proposed in the paper.This approach extends the traditional design approach for multi-agent systems,which includes analyse,design,implementation and deployment for Internetware.This approach builds a general trust model to describe the trust relationship among the software entities of the Internetware.The trust value can vary dramatically through flexible feedback strategies of trust evaluation.Using finite state machine,this approach can also model the normal behaviors and failure behaviors of the software entities and describe the models by dynamic description logic（DDL）.Internetware is running,failures can be diagnosed through system observation and DDL reasoning machine.A detailed case is introduced.

关 键 词：网构软件 ABDPI 信任模型 故障诊断 动态描述逻辑DDL 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]