动态软件体系结构建模技术研究

基于构件的软件开发（CBSD）方法是当前软件开发技术中的研究热点，其中软件体系结构的研究及应用还存在着较多的难点。本研究针对当前软件体系结构建模技术对动态体系结构支持的不足，研究动态软件体系结构建模技术。从支持动态体系结构的构件模型、动态体系结构元模型和运行支持等方面展开研究；引入基于规则的自适应演化建模和相应的执行机制以支持自适应演化；提出动态体系结构元模型及相应的一致性规则，为动态体系结构建模提供有效的方法学和技术支持；引入动态体系结构的运行机制，支持模型一致性规则的动态检查和自适应演化规则的动态执行。可以为要求动态演化的关键性软件系统的体系结构建模提供有效的方法学和技术指导，增强CBSD在此类系统开发过程中的能力，从而为关键性软件系统的开发提供更为有效的技术支撑。