[论文解读] A classification of invasive patterns in AOP

Freddy Muñoz, Benoît Baudry+1 more|ArXiv.org|Apr 10, 2008

Elevator Systems and Control参考文献 9被引用 7

一句话总结

本文提出了一种面向面向切面编程（AOP）中入侵性模式的细粒度分类系统，聚焦于切面如何修改基础程序结构与行为。通过分析AspectJ的机制，将入侵性划分为行为、数据访问和结构三个维度，使开发人员能够推理切面的风险，并提升AOP系统中的模块化与安全性。

ABSTRACT

Aspect-Oriented Programming (AOP) improves modularity by encapsulating crosscutting concerns into aspects. Some mechanisms to compose aspects allow invasiveness as a mean to integrate concerns. Invasiveness means that AOP languages have unrestricted access to program properties. Such kind of languages are interesting because they allow performing complex operations and better introduce functionalities. In this report we present a classification of invasive patterns in AOP. This classification characterizes the aspects invasive behavior and allows developers to abstract about the aspect incidence over the program they crosscut.

研究动机与目标

• 为解决AOP中入侵性行为缺乏系统性表征的问题，此类问题可能破坏封装性并引入意外副作用。
• 为开发人员提供一种结构化方式，以推理切面对于基础程序的影响与风险。
• 通过识别并分类入侵性行为，支持AOP系统的更好规格说明与验证。
• 通过形式化分类切面交互，支持更安全、更可预测的AOP框架开发。

提出的方法

• 分析AspectJ的入侵机制，以识别程序修改的核心模式。
• 将入侵行为划分为三个维度：行为（增强、替换、条件替换）、数据访问（读取、写入、参数传递）和结构（继承关系、字段添加、方法添加）。
• 使用一个持续示例（MyArrayList与MyAspect）在实践中说明每一类分类。
• 基于对字段、方法参数和类结构的访问模式推导出分类体系，强调切面如何破坏封装性。
• 将所提出的分类与现有工作进行比较，以验证其粒度与实用性。
• 基于这些入侵性模式，制定未来用于规格说明切面与基础程序的框架。

实验结果

研究问题

• RQ1 如何系统性地对AOP中的入侵性行为进行分类，以支持对其对基础程序影响的推理？
• RQ2 切面通过哪些不同的模式可以修改程序结构、行为和数据访问？
• RQ3 入侵性AOP机制与非入侵性或安全切面在控制流与字段访问方面有何不同？
• RQ4 该分类在多大程度上能改善面向切面程序的规格说明与验证？
• RQ5 现有分类方法在捕捉入侵性AOP行为全谱方面存在哪些局限性？

主要发现

• 本文将入侵性AOP模式全面划分为三个维度：行为、数据访问和结构。
• 行为维度包括增强、替换和条件替换等模式，这些模式会改变方法执行流程。
• 数据访问维度识别出读取、写入和参数传递等模式，涉及访问或修改对象字段或方法参数。
• 结构维度涵盖对类继承关系、字段添加和方法添加的修改，这些行为直接改变类结构本身。
• 该分类揭示了某些模式互斥（例如，替换与条件替换不能在同一通知中同时存在），而其他模式则互补（例如，写入隐含增强）。
• 该分类比以往工作更细粒度，例如Katz的三类模型（观察型、调控型、入侵型），并为AOP中未来规格说明框架奠定了基础。