Aspect orientation is an approach to modularize crosscutting concerns of software. Many researches on aspect orientation have been mainly focused on the implementation level. Therefore, it is necessary to extend the AOP concept to the overall lifecycle of software development. Aspect-oriented software development is recent effort of considering crosscutting concerns throughout the software lifecycle, which is called AOSD. Identifying and resolving conflicts between aspects in composing multiple aspects in software design time is one of the important issues in AOSD. Several approaches such as Petri Net, Statechart, and Activity diagram based approaches have been suggested to compose aspect models, and identify and resolve the conflicts between aspects. However, they could not identify various aspectual conflicts such as dependency, mutual exclusion, and precedence. This thesis proposes a set of scenario-based rules to identify and resolve a common set of conflicts that may occur among aspects in AOSD. The scenario rules are composed of Rule1: scenario modeling rule for aspects, Rule2: composition rule for single aspect, and Rule3: composition rule for conflicting aspects. Also, this thesis proposes Aspect Conflict Matrix, and Aspect Conflict Resolution Chart. They support to identify and resolve the conflicts between aspects and compose the base and aspectual scenarios. This scenario modeling approach has been applied to a case study, Automatic Teller Machine system which has various aspects. Also this scenario modeling approach has been compared with related works. This shows that this scenario modeling approach is effective to identify and resolve the conflicts between aspects such dependency, mutual exclusion, and precedence. The composed scenarios without aspect conflicts help developers to understand an overall system and analyze the impact of a crosscutting concern to other concerns. As aspect conflicts are identified and resolved, and aspect scenarios are composed at the early stage of the life cycle, it could be less costly to be fixed.
Aspect-oriented Programming(AOP)가 현재까지 많이 연구되어 오고 있고, 실제 프로젝트에서의 활용도가 높아지고 있다. 그에 따라서 더욱 체계적인 AOP 기술이 연구되고, 적용되고 있으며, 이에 기반하여 소프트웨어 개발 라이프사이클 전반에 걸친 Aspect-oriented Software Development(AOSD)라는 연구가 활발히 진행되고 있다. AOSD는 요구사항 분석 단계, 설계 단계, 구현 단계, 테스팅 단계 등 전반에 걸친 연구가 진행되고, 새로운 방법과 기술들이 만들어지고 있다. 하지만 Aspect의 활용도가 높아짐에 따라 다양한 Aspect들이 소프트웨어 개발 프로젝트에서 도출되고, 이로 인하여 Aspect들 간의 충돌은 피할 수 없는 문제로 남게 되었다. 이를 해결하기 위하여 기존 연구들이 몇가지 기술과 방법론을 제안하였지만, 이들은 Aspect들 간의 다양한 충돌을 해결하지 못했다. 우리는 Aspect간의 충돌을 피하고, 이를 향후 프로그래밍 단계에서 모듈화하기 위하여 Aspect의 시나리오 모델링 방법을 제안하였으며, 이를 Core concern에 대한 시나리오와 통합하기 위한 방법을 제안하였다. 시나리오를 통합 할 때 발생할 수 있는 Aspect간의 충돌을 식별하고, 해결하기 위한 방법도 본 연구에서 제시되었다. Aspect간의 충돌을 식별하고, 해결하기 위하여 본 연구는 Aspect Conflict Matrix와 Aspect Conflict Resolution Chart에 대한 Template과 작성 가이드 라인을 제시하였으며, (이중 Aspect Conflict Matrix는 자동으로 생성이 가능하도록 기반을 마련하였음) 이와 함께 Aspect의 시나리오 모델링을 위한 규칙과 시나리오 모델을 통합하기 위한 규칙, 그리고 Conflict를 해결하며 시나리오 모델을 통합하기 위한 규칙을 정의하였다. 이 규칙들은 Aspect conflict Resolution Chart만 정의되면 향후 툴 개발을 통하여 자동으로 Aspect의 시나리오를 다른 시나리오와 통합할 수 있다. 본 연구를 통하여 우리는 Aspect간의 Conflict를 소프트웨어 개발 프로젝트 초기에 식별하고 해결할 수 있도록 기여하였으며, 시나리오를 통합하는데 기여하였다. 이는 소프트웨어 개발 프로젝트에서 구현 단계에서 발생할 수 있는 Aspect Conflict의 발생을 줄여 개발 비용과 시간이 증가하는 것은 방지하며, 개발자가 전체 시스템의 Behavior를 이해하는 데 도움이 된다.
