种基于ACME的面向方面软件体系结构设计方法.PDFVIP

第3J卷第2期 苏 州 大 学 学 报l工 科 版) Vo【-3l N0．2 2011年 4月 JOURNALOFSOOCHOW UNIVERSITY(ENGINEERINGSCIENCEEDITION) ApI．2(111 文章编号：16／3-047Xl2011)一O2一OOO6—08 一 种基于 ACME的面 向方面软件体系结构设计方法 刘长林 ，张广泉 ，黄 静 (1．苏州大学计算机科学与技术学院，江苏 苏州 215006；2．中国科学院软件研究所计算机科学国家重点实验室，北京 tooo8o) 摘 要：软件体系结构对于控制软件系统复杂性、提高软件质量具有重要意义。随着对软件体系结 构研究的不断深入 ，研究者们发现其 中存在着横切现象。通过使用方面，AOP在代码层次很好地解 决了横切问题 。因此，根据现阶段研究成果 ，本文把 AOP中方面的概念引入到软件体系结构设计过 程 中，提 出了一种基于ACME的面向方面软件体系结构设计方法。ACME可以实现对面向方面软件 体 系结构设计过程的形式化验证。依据该方法．使用AcmeStudio设计 了网上书店系统的体 系结构。 关键词 ：ACME；面向方面；软件体 系结构设计 中图分类号：TP311 文献标识码 ：A O 引 言 软件体系结构(SoftwareArchitecture，SA)是一种控制软件系统复杂性、提高软件质量的重要手段…。目 前，研究者提出的软件体系结构的定义已有数百种 。这些定义一般都将构件、连接件 以及指导这些元素集成 在一起的配置(约束)作为软件体系结构的组成部分。软件体系结构设计的好坏对所开发系统的质量和可维 护性有着重要的影响。随着对软件体系结构研究的不断深入，研究者们认为，在软件体系结构中存在着横切 (crosscutting)现象 J，即在设计软件系统的体系结构时，一些功能模块经常横切到其他多个模块中，如系统 日志、权限验证等。在系统实现时，这种体系结构横切现象将会导致代码缠结 (tangling)问题；同时，这也不利 于软件系统的维护。 面向方面编程(Aspect．orientedProgramming，AOP) 较好地解决了横切现象带来的代码缠结问题，同时 也极大地改善了系统的可维护性。因此，本文把AOP中方面 (aspect)的概念引入到软件体系结构设计过程 中，以便能在较高的系统抽象层次解决软件体系结构中的横切问题。ACME_5是由CarnegieMellon大学的软 件研究所开发的一种体系结构描述语言(ArchitectureDescriptionLanguage，ADL)；同时，也提供了相应的分析 工具和可视化的软件体系结构设计环境。根据现阶段研究成果，本文提出了一种基于ACME的面向方面软 件体系结构设计方法 。 文献[6]把方面的概念引人到软件体系结构中，提出了一种面向方面的软件体系结构描述语言AO-ADL， 但它关注的重点在于如何描述面向方面的软件体系结构。本文提出了一种基于ACME的面向方面软件体系 结构设计方法，关注的重点在于如何设计面向方面的软件体系结构。本文第 1节叙述了AOP中面向方面的 基本思想和重要术语，并对ACME作了简要介绍；第2节详细介绍了本文所提出的基于ACME的面向方面软 件体系结构设计方法 ；第 3节利用本文所提方法 ，叙述设计一个网上书店系统的体系结构的过程 ；最后对本文 进行 了总结 。 收稿 日期 ：2010—06—20 作者简介：刘长林 (1985一)，男，硕士研究生 ，主要研究方向为软件体系结构与面向方面编程。 基金项 目：中国科学院计算机科学 国家重点实验室开放课题 (编号 SYSKF0908)；江苏省高校 自然科学研究项 目(编号 08KJB520010)。 第2期 刘长林，张广泉，黄 静：一种基于ACME的面向方面软件体系结构设计方法 1 AOP和 ACME 1．1 AUP AOP是在面向对象编程之后发展起来的一种编程技术，它最基本的特征是多量化 (quantification)和不知 觉性 (obliviousness)。通过使用方面，AOP较好地解决了软件系统中由横切现象所导致的代码缠结问题 ；另 外，使用AOP技术所开发的软件系统具有更好的可维护性：，且更