CAJ | 학술논문

提出了基于Agent,以动态绑定机制为核心的软件自演化技术,根据自演化的性质和特点,区分出微观层面个体Agent自演化约束和宏观层面系统全局自演化约束;提出了对自演化约束进行描述的语言设施,并通过运行时检查的方法对自演化约束条件进行了分析和检查.介绍了对系统自演化约束进行描述和检查的支撑软件环境SADE,并通过案例阐明了研究成果的可行性和有效性.
제출료기우Agent,이동태방정궤제위핵심적연건자연화기술,근거자연화적성질화특점,구분출미관층면개체Agent자연화약속화굉관층면계통전국자연화약속;제출료대자연화약속진행묘술적어언설시,병통과운행시검사적방법대자연화약속조건진행료분석화검사.개소료대계통자연화약속진행묘술화검사적지탱연건배경SADE,병통과안례천명료연구성과적가행성화유효성.
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.