층위구조 아키텍처의 복구 및 일치성 검사를 위한 프로그램 분석 방법 = A Program Analysis Technique for Recovery of Layered Architecture and Conformance Checking

국문 초록 (Abstract)

층위 구조 아키텍처는 프로그램을 일반성에 따라 분할하는 모듈 구성의 방법이다. 본 논문은 객체지향 프로그램으로부터 층위 구조 아키텍처를 복구하고 아키텍처 문서와의 일치성을 검사하는 방법을 제시한다. 객체지향 프로그램에서의 층위구조 스타일 규칙을 기술하기 위해, 모듈 간 사용 관계에 기반한 모듈들의 부분 순서 집합을 구성하며, 재정의 관계를 통해 모듈 간 층위 관계를 정의한다. 또한, 층위 관계의 의미를 설계 패턴에서의 예를 통해 설명한다. 프로그램으로부터 층위 구조 아키텍처를 복구하기 위한 절차를 기술하며, 복구를 위한 메타 모델을 제시한다. 이를 기반으로 공개 소스 프로젝트를 통해 개발된 소프트웨어의 소스코드들로부터 층위 구조 아키텍처를 복구하고, 복구된 아키텍처로부터 발견된 층위 관계의 의미와 아키텍처 문서와의 불일치 부분들에 대해 논의한다. 검사를 통해 아키텍처 문서와 일치하지 않는 부분들이 발견하였고, 이를 조사한 결과 이들이 층위 구조 아키텍처에서 허용 가능한 예외로 여겨지지만 아키텍트가 이들 부분에 대한 변경을 주의 깊게 관리할 필요가 있다는 것을 지적하였다.

다국어 초록 (Multilingual Abstract)

Layered Architecture is a kind of module decomposition techniques, which decomposes a program by generality. This paper proposes a layer based method for recovering layered architecture from object-oriented program and checking conformance against architectural document. To specify the rules for layered style in object-oriented program, we define a partially ordered set on modules by module use relationship and module layer relationship by module override relationship. The meaning of module layer relationship is explained with an example from design patterns. Steps to recover layered architecture from program are described and a metamodel for the recovery is proposed. Architecture recovery is performed on source codes from open-source software project, and the implication of parts that do not conform to its architectural document is discussed. As a result of checking, it is pointed out that, although the parts are considered allowable exceptions of layered architecture, their modifications should be controlled carefully.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 관련 연구
• 3. 모듈들의 부분 순서 집합과 층위 관계 정의
• 4. 아키텍처 복구 절차 및 층위 구조 아키텍처 메타 모델
• 5. 소스코드로부터 층위 추출 및 아키텍처 일치성 검사
• 6. 토론
• 7. 결론 및 향후 연구
• 참고문헌
• 저자소개

참고문헌 (Reference)

1 "bridging the gap between design and implementation" 27 (27): 364-380, 2001.

2 "Using Automatic Clustering to Produce High-Level System Organizations of Source Code" 1998.

3 "The structuring of systems using upcalls" 1985.

4 "The Java Parser Generator"

5 "Software Architecture" Prentice Hall 1996.

6 "Proceedings of the 7th Working Conference on Reverse Engineering" 2000.

7 "Practice Patterns for Architecture Reconstruction" 2002.

8 "Pattern Oriented Software Architecture" me 1 : 1996.

9 "On the criteria to be used in decomposing systems into modules" 15 issues 12 : 1972.

10 "Moving Towards Quality Attribute Driven Software Architecture Reconstruction" 2003.

11 "Modernizing Legacy Systems" Addison Wesley 2003.

12 "MAP-Mining Architectures for Product Line Evaluations" 2001.

13 "Linux as a Case Study: Its Extracted Software Architecture" 555-563, 1999.

14 "Improving the Design of Existing Code" Addison Wesley 1999.

15 "Hierarchical Reflexion Models" 2003.

16 "Establishing a Software Architecting Environment" 2004.

17 "Elements of Reusable Object Oriented Software" 1994.

18 "Documenting Software Architecture" Addison Wesley 2003.

19 "Creating Architectures with Building Blocks" 1995.

20 "Component Software" 2002.

21 "Architectural Tradeoffs for a Meaning-Preserving Program Restructuring Tool" 21 : -4, 1995.

22 "Architectural Repair of Open Source Software" 48-59, 2000.

23 "Applying Spectral Methods to Software Clustering" 2002.