[논문 리뷰] A classification of invasive patterns in AOP

Freddy Muñoz, Benoît Baudry외 1명|ArXiv.org|2008. 04. 10.

Elevator Systems and Control참고 문헌 9인용 수 7

한 줄 요약

이 논문은 액세서리 패턴의 미세 분류 체계를 제안하며, 액세서리가 기본 프로그램의 구조와 동작 방식을 어떻게 수정하는지에 중점을 둔다. 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에서의 명세 프레임워크 기반 마련에 기여한다.