论文部分内容阅读
软件体系结构设计、演化和重用过程中存在着大量的关注点,它们涉及到问题域和解空间的众多问题,覆盖了诸多涉众的要求,并且彼此之间相互制约,关系复杂。常规的体系结构设计方法,由于缺乏对体系结构设计、演化和重用过程中关注点的全面考虑,缺乏有效地分离、描述、组合及封装关注点的手段,致使关注点散列和混杂在体系结构的设计方案中,造成了组成体系结构的连接器和组件之间的紧密耦合,模糊了组件和连接器的边界,从而导致最终的体系结构设计方案难以理解、难以演化、难以重用。面向方面技术提供了有效地分离横切关注点的手段,使得面向方面软件体系结构成为当今软件工程研究的热点和前沿问题。本文针对面向方面体系结构的设计问题,提出一种新颖的设计方法。在收集、整理体系结构设计、演化和重用过程中关注点的基础上,通过建立体系结构层关注点多维分离模型,提供关注点的规约描述手段,定义一组规则实现从关注点模型向体系结构模型的映射,从而形成一个完整的支持面向方面SA设计的MDSoC模型建模方法。本文的贡献有以下几个方面：(1)构造了用于指导面向方面软件体系结构设计的关注点多维分离模型SA-MDSoC—具有“1+X”风格的模型,在通用的、面向特定领域以及面向特定软件系统三个不同抽象层次上建立指导面向方面SA设计的MDSoC模型。(2)在SA-MDSoC模型的基础上,定义了基于XML的SA-MDSoC模型描述语言SA-CDL。通过定义SA-CDL的语法结构,描述了通用的、面向特定领域的、面向特定软件系统的关注点多维分离模型。(3)研究了基于时段时序逻辑的横切关系形式化描述,给出横切关系及时序冲突的定义,初步探索了时序冲突检测的形式化方法。(4)定义了一组映射规则,实现从SA-CDL描述的SA-MDSoC模型生成面向方面软件体系结构描述语言AC2-ADL所描述的SA模型初始蓝图。(5)设计了SA-MDSoC模型和SA-CDL的支撑工具套件,给出了该支撑工具的需求分析和总体设计。