Abstract: A self-evolving software technique is proposed， which is based on Agent technique and the dynamic binding mechanism. According to the characters of self-evolution， the constraints are divided into micro level constraints which focus on individual Agent and the macro level constraints which focus on overall system. Language facilities are proposed to describe the constraints on self-evolution， the constraints are analyzed and inspected through runtime verification. The software environment SADE （self-evolving Agent development environment） is also introduced， which supports to describe and check the constraints. At last， a case study is illustrated to show the feasibility and effectiveness of the research.

Key words: self-evolving software technology, multi-Agent systems, runtime verification

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

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