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

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