기술 요약: ModARO - 분산 마이크로서비스 코드베이스의 아키텍처 재구성을 위한 모듈형 접근 방식

1. 문제 정의

마이크로서비스 아키텍처는 확장성과 독립적 개발 측면에서 이점을 제공하지만, 상당한 아키텍처 복잡성을 초래합니다. 개발자들은 개별 서비스에 대한 변경 사항이 전체 시스템에 어떤 영향을 미치는지 가시성을 유지하는 데 어려움을 겪습니다. 이러한 문제는 급격한 개발 속도가 문서화를 앞지르는 "아키텍처 드리프트(architectural drift)"와 서비스가 별도의 코드베이스로 나뉘어 있는 멀티 레포지토리 설정의 보편화로 인해 더욱 심화됩니다.

기존의 자동 아키텍처 재구성 방법은 두 가지 주요 한계에 직면해 있습니다:

1. 재사용성 부족: 재구성 코드가 특정 기술 스택(언어, 라이브러리, 배포 도구) 및 프로젝트 관례에 밀접하게 결합되어 있어, 다른 프로젝트로의 재사용이 어렵습니다.
2. 분산 시스템 처리 능력 부재: 대부분의 접근 방식은 단일 모놀리식 코드베이스에 대한 접근을 가정합니다. 마이크로서비스가 별도의 레포지토리로 나뉘어 있을 때, 단일 레포지토리에서 실행되는 재구성 도구는 전체 시스템을 볼 수 없으며, 결과를 중앙에서 집계하는 것은 분산된 CI/CD 파이프라인의 이점을 상쇄합니다.

2. 방법론: ModARO 접근 방식

저자들은 ModARO(MODular Architecture Reconstruction Orchestrator)를 제안합니다. 이는 모듈식의, 기술 중립적인 워크플로우를 사용하여 아티팩트(소스 코드, 설정 파일)로부터 아키텍처를 재구성하도록 설계된 정적 분석 프레임워크입니다.

핵심 구성 요소

• 공유 아키텍처 모델: ModARO는 시스템을 표현하기 위해 재귀적인 JSON 기반 모델을 사용합니다. 추출된 모든 정보는 이 공유 구조 내의 "모델 엔티티"(예: 마이크로서비스, HTTP 요청)로 저장됩니다. 추출기(Extractor)들은 서로 직접 통신하지 않으며, 이 모델을 읽고 쓰는 방식으로 작동합니다. 이는 추출기들을 디커플링하여, 정해진 스키마를 준수하는 한 서로 영향을 주지 않고 교체하거나 업데이트할 수 있게 합니다.
• 추출기(Extractors): 이들은 모듈형 코드 단위(본 연구에서는 JavaScript 함수로 구현됨)로, 모델 엔티티를 입력으로 받아 특정 아티팩트를 분석하고 추출된 데이터를 저장하기 위해 엔티티를 수정합니다.
  • 무상태 설계(Stateless Design): 추출기는 전역 상태를 가지지 않습니다. 그 동작은 오직 입력된 엔티티와 분석 대상인 코드 레포지토리에 의해 정의됩니다.
  • 스키마 등록: 각 추출기는 모델 엔티티가 수용하는 구조를 정의하는 JSON 스키마를 등록합니다(예: $path 필드 요구). 이를 통해 데이터가 추출기 실행 전에 채워지도록 보장합니다.
• 재구성 알고리즘: 실행 흐름을 관리하는 재귀적 오케스트레이터입니다:
  1. 최상위 모델 엔티티를 생성합니다.
  2. 스키마가 일치하는 추출기들에게 이 엔티티를 전달합니다.
  3. 추출기는 새로운 하위 엔티티를 생성할 수 있습니다(예: 마이크로서비스를 식별하고 이를 위한 새로운 엔티티 생성).
  4. 알고리즘은 이러한 새로운 엔티티들에 대해 추출기를 재귀적으로 트리거합니다.
  5. 한 추출기의 출력이 다른 추출기의 입력이 되는 의존성을 처리하기 위해 여러 번의 패스(pass)를 수행합니다.
  6. 데이터 무결성을 보장하기 위해 충돌하는 수정 사항을 감지하고 에러를 발생시킵니다.

분산 아키텍처 재구성

ModARO는 두 가지 메커니즘을 통해 멀티 레포지토리 문제를 해결합니다:

1. 독립적 실행: 각 마이크로서비스 레포지토리는 개별적으로 재구성될 수 있습니다. 출력값은 해당 서비스에 특화된 부분 모델(partial model)이 됩니다.
2. 모델 집계(Aggregation): 별도의 알고в리즘이 서로 다른 레포지토리에서 나온 부분 모델들을 하나의 아키텍처 뷰로 병합합니다. 이 과정에서 고유한 정보를 병합하고, 충돌(예: 동일한 필드에 대한 서로 다른 값)을 발견하면 에러로 표시합니다.
3. 소급적 연결(Retroactive Linking): 타겟의 상세 정보를 알지 못하는 상태에서도 관계(예: 서비스 A가 서비스 B를 호출함)를 정의하기 위해 ModARO는 "링크(link)"를 사용합니다. 링크는 타겟에 대한 스키마(예: 이름이 'X'인 마이크로서비스)를 정의합니다. 집계 후, 시스템은 결합된 모델 내에서 해당 스키마와 일치하는 엔티티를 검색하여 이 링크들을 해결합니다.

3. 주요 기여

• 모듈형 추출 프레임워크: 주변 스택과 독립적으로, 특정 기술에 대한 추출기를 작성하고 프로젝트 간에 재사용할 수 있는 설계를 제공합니다.
• 분산 재구성 워크플로우: 여러 레포지토리에 걸친 재구성을 가능하게 하여, 나중에 모델을 집계하는 방식을 통해 마이크로서비스의 "느슨한 결합(loose coupling)" 원칙을 지원합니다.
• 소급적 연결: 하드코딩된 식별자가 아닌 스키마 매칭을 기반으로 서비스 간 관계를 정의함으로써, 비동기적인 코드 변경에 대응할 수 있는 메커니즘을 제공합니다.
• 경험적 검증:
  • 사례 연구: 다양한 언어(Java, Python, Go 등)와 기술(Docker, Kubernetes, Spring 등)을 사용하는 10개의 오픈 소스 마이크소서비스 프로젝트(2만~110만 LOC 규모)에 적용되었습니다.
  • 사용자 연구: 최신 기술 수준의 베이스라인인 ReSSA와 비교하여 8명의 산업 종사자를 대상으로 평가되었습니다.

4. 결과

사례 연구 결과 (RQ1-RQ3)

• 재구성 능력: ModARO는 10개 프로젝트 모두에서 광범위한 아키텍처 정보(서비스 이름, 의존성, 언어, 엔드포인트 등)를 성공적으로 추출했습니다. 특정 데이터 추출 실패는 ModARO 방식의 결함이 아니라, 정적 분석의 본질적인 한계(예: 동적 문자열 생성)나 불분명한 문서화 때문이었습니다.
• 재사용성: 개발된 71개의 추출기 중 44개(62%)가 프로젝트 간 재사용 가능했습니다. 27개의 프로젝트 특화 추출기는 고유한 프로젝트 관례, 커스텀 디렉토리 구조 또는 프로젝트 특정 메타데이터 수집 필요성 때문에 필요했습니다. 저자들은 이러한 커스텀 추출기를 쉽게 만들 수 있는 능력이 약점이 아닌 강점이라고 언급했습니다.
• 분산 지원: 추출기들은 수정 없이 모노 레포와 멀티 레포 컨텍스트 모두에서 성공적으로 재사용되었습니다. 집계 알고리즘은 별도 레포지토리의 모델들을 성공적으로 병합했으며, 소급적 링크 또한 올바르게 해결되었습니다. 다만, 복잡한 시나리오(예: 원격 레포의 환경 변수에 저장된 도메인)에서 링크 스키마가 소급적으로 해결 가능해야 한다는 점이 지적되었습니다.

사용자 연구 결과 (RQ4)

• 유용성 및 사용성 인지: 실무자들은 ModARO를 ReSSA 베이스라인보다 더 유용하고 사용하기 쉽다고 평가했습니다.
• 주요 장점: 참가자들은 ReSSA의 설정 중심 방식(문자열 콜백이 포함된 JSON)보다 ModARO의 코드 기반 워크플로우(JavaScript)를 선호했습니다. 참가자들은 구문 강조(syntax highlighting), 타입 힌트와 같은 더 나은 도구 지원과 "실제 코드" 내에서 데이터를 처리할 수 있는 능력을 주요 사용성 요인으로 꼽았습니다.
• 과제: 데이터 필터링 및 코드에서의 추출 측면에서 두 방식 모두 유사하게 어렵다는 평가를 받았습니다. 참가자들은 정규 표현식보다 더 발전된 파싱 기능을 원했으며, 이는 구조화된 파서를 ReSSA의 방식처럼 ModARO의 모듈형 프레임워크에 통합하는 것이 유익할 것임을 시사합니다.
• 하이브리드 접근 방식: ModARO가 ReSSA 분석기를 오케스트레이션하는 하이브리드 버전이 가장 높은 평가를 받았으며, 이는 ModARO의 모듈성과 고급 파싱 능력을 결합하는 것이 유망한 방향임을 보여줍니다.

5. 의의 및 주장

본 논문은 ModARO가 모듈식 및 분산 아키텍처 재구성을 향한 실행 가능한 경로를 성공적으로 입증했다고 주장합니다. 이 연구의 의의는 다음과 같습니다:

• 기술과 로직의 분리: 공유 모델과 스키마 기반 등록을 사용함으로써, 개발자가 핵심 로직을 다시 작성하지 않고도 자신의 특정 기술 스택에 맞춤화된 추출기를 구성할 수 있게 합니다.
• 현대적 워크플로우 지원: 개별 마이크로서비스 레포지토리의 CI/CD 파이프라인에 아키텍처 재구성을 통합할 수 있게 하여, 전체 시스템에 대한 모놀리식 뷰 없이도 "지속적 문서화"와 적합성 검사를 용이하게 합니다.
• 실용적 유용성: 사용자 연구는 이 접근 방식이 이론적으로 타당할 뿐만 아니라, 기존 정적 분석 도구보다 더 직관적인 인터페이스를 제공하여 산업 실무자들에게 실제로 사용 가능하다는 것을 보여줍니다.

저자들은 이 방식이 광범위한 기술을 지원하지만, 모델에 사용된 특정 스키마는 테스트를 위한 프로토타입이며 광범위한 산업 적용을 위해서는 추가 개발이 필요하다는 점을 겸허히 인정했습니다. 또한, 현재의 정규 표현식 기반 코드 파싱에 대한 의존도는 향후 더 정교한 파싱 API를 통합함으로써 해결해야 할 과제라고 언급했습니다.