摘要
软件体系结构对于控制软件系统复杂性、提高软件质量具有重要意义。随着对软件体系结构研究的不断深入,研究者们发现其中存在着横切现象。通过使用方面,AOP在代码层次很好地解决了横切问题。因此,根据现阶段研究成果,本文把AOP中方面的概念引入到软件体系结构设计过程中,提出了一种基于ACME的面向方面软件体系结构设计方法。ACME可以实现对面向方面软件体系结构设计过程的形式化验证。依据该方法,使用AcmeStudio设计了网上书店系统的体系结构。
-
单位中国科学院软件研究所; 苏州大学; 计算机科学国家重点实验室