开放环境下的软件动态演化研究

为了适应Internet 开放环境和用户需求的不断变化，软件系统需要不断地调整自身。软件演化是满足这一变化的有效手段，尤其是动态演化具有的持续可用性优点，使得对后者的控制成为软件开发者新的追求目标。现代软件的复杂性决定了动态演化研究应从宏观层面入手，这样可以避免过早地陷入琐碎的细节中。本项目将从如下方面逐步开展软件动态演化研究：构造运行时体系结构空间，使得在目标系统中尽可能多地保留设计期的建模信息，为动态演化行为提供充分的依据和线索；建立基于体系结构空间的软件模型，为开发动态可演化软件提供应用框架和范式；提供求精驱动的动态演化方法和机制，全面支持体系层次的动态演化；深入探讨体系结构求精的形式化方法和规则，更好地维持演化过程中的完整性和一致性；设计和实现以体系结构为中心的支撑工具，提供开发、运行和演化环境，方便用户进行软件开发和动态演化。