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

摘要

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