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