随着用户需求和开放的网络计算环境的不断变化,软件复杂性与演化要求也随之不断增强,实现Internet软件的自适应性和软件系统的动态演化对那些连续运行、安全攸关的应用有着重要的意义。由于系统关注点的彻底分离有助于动态演化的实现,所以从面向方面软件体系结构出发,研究方面化网构软件动态演化的一致性技术,以确保动态演化的正确、可行。首先,扩展了Darwin语言,通过新增方面定义构建ADarwin语言,使之用于描述可动态演化面向方面软件体系结构。由于面向方面软件体系结构是方面化构件系统的高层抽象和集成蓝图,它的形式化描述和分析能够为体系结构动态演化的一致性验证提供行为和语义基础。因此基于Pi-演算提出了ADarwin的面向方面软件体系结构的语义模型,设计了方面化构件动态演化行为一致性验证方法,对演化后方面化构件的行为交互进行推导,最终判断演化是否行为一致。其次,设计了一种方面化构件系统动态编织框架DWA(Dynamic Weaving framework for Aspectual component-based system),给出了DWA框架与体系结构规约、系统实现之间的映射关系。通过ADarwin语言形式化描述了方面化构件动态演化过程。通过实例研究阐述DWA框架的具体实现技术,保证了面向方面体系结构规约和方面化系统实现之间的一致性关系。最后,以一个方面化构件系统——酒店管理系统为例,针对动态演化行为一致性验证方法及DWA演化框架进行分析。分析结果表明,新增的方面相关切入点健壮性验证是对当前行为一致性验证方法的补充,有效的验证了方面化构件系统演化行为的一致性,而DWA也在实例验证下证明了对方面化构件动态演化的支持能力。