Agent主体的自演化技术及其支撑软件环境

摘要：

提出了基于Agent,以动态绑定机制为核心的软件自演化技术,根据自演化的性质和特点,区分出微观层面个体Agent自演化约束和宏观层面系统全局自演化约束;提出了对自演化约束进行描述的语言设施,并通过运行时检查的方法对自演化约束条件进行了分析和检查.介绍了对系统自演化约束进行描述和检查的支撑软件环境SADE,并通过案例阐明了研究成果的可行性和有效性.

关键词：自演化技术、多Agent系统、运行时检验

所属期刊栏目：4

分类号：TP311.52(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant No.60773018,90818028;the National Grand Fundamental Research 973 Program of China under Grant No.2005CB321802 国家重点基础研究发展规划973;the National High-Tech Research and Development Plan of China under Grant No.2007AA01Z135 国家高技术研究发展计划863

在线出版日期：2010-06-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：312-323