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

An Agent Based Design Approach for Trusted Internetware

本文提出了一种基于主体的网构软件设计方法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.