진화형 소프트웨어 아키텍처를 위한 ArchWare ADL 지원

초록

이 논문은 실행 중에도 구조와 구성 요소를 동적으로 바꾸고, 업데이트·분해·반영(reflection)할 수 있는 ‘활성 아키텍처’를 정의하고, 이를 기술하기 위한 ArchWare ADL의 핵심 메커니즘을 제시한다. π-계산 기반 통신, 하이퍼코드, 분해 연산자, 구조적 반영을 결합해 실행 중인 시스템을 실시간으로 재구성하고 진화시킬 수 있다.

상세 분석

본 논문은 소프트웨어 진화의 필요성을 ‘활성 아키텍처(active architecture)’라는 개념으로 체계화한다. 활성 아키텍처는 네 가지 속성을 갖는다. 첫째, 동적(dynamic) – 실행 시점에 컴포넌트와 인터페이스의 수와 연결 구조를 자유롭게 변경한다. 둘째, 업데이트 가능(updatable) – 기존 컴포넌트를 새로운 구현으로 교체한다. 셋째, 분해가능(decomposable) – 실행 중인 시스템을 부분적으로 정지시키고, 개별 컴포넌트와 그 상호작용을 추출한다. 넷째, 반영(reflective) – 시스템 자체의 사양을 런타임에 수정하고, 수정된 사양을 즉시 적용한다.

이러한 속성을 구현하기 위해 ArchWare ADL은 π-계산을 기반으로 한 통신·표현 언어를 채택한다. π-계산은 채널을 통한 동적 프로세스 연결을 자연스럽게 모델링하므로, 실행 중에 새로운 채널을 생성하거나 기존 채널을 재배치하는 작업이 언어 수준에서 지원된다. 이는 전통적인 객체지향 ADL이 정적인 연결 구조에 머무는 한계를 극복한다.

또 다른 핵심은 하이퍼코드(hyper-code) 개념이다. 하이퍼코드는 실행 중인 프로그램의 상태와 구조를 일관된 고차원 코드 형태로 표현한다. 코드와 데이터가 동일한 주소 공간에 존재하므로, 런타임에 코드 자체를 검사·수정·재컴파일 없이 바로 적용할 수 있다. 이는 반영 메커니즘과 긴밀히 결합되어, 시스템 사양을 수정하면 하이퍼코드가 자동으로 업데이트되고, 변경된 사양이 즉시 실행 흐름에 반영된다.

**분해 연산자(decomposition operator)**는 실행 중인 복합 시스템을 구성 요소 단위로 점진적으로 분리한다. 기존 시스템을 완전히 중단하지 않고도, 특정 서브시스템을 추출해 교체하거나 재배치할 수 있다. 논문에서는 이 연산자를 이용해 복합 프로세스를 ‘프로세스 트리’를 따라 순차적으로 해체하고, 필요한 부분만 재구성하는 절차를 제시한다.

마지막으로 구조적 반영(structural reflection) 메커니즘은 새로운 컴포넌트를 런타임에 생성하고, 기존 시스템에 동적으로 바인딩한다. 반영은 메타-레벨(사양)과 베이스-레벨(실행) 사이의 쌍방향 매핑을 제공하며, 이를 통해 개발자는 시스템의 구조를 코드 수준에서 직접 조작한다.

이 네 가지 요소를 결합함으로써 ArchWare ADL은 기존 ADL이 제공하지 못했던 ‘실시간 진화’를 가능하게 한다. 특히 π-계산 기반 통신 모델과 하이퍼코드의 결합은 동적 재구성 시 발생할 수 있는 타입 불일치나 인터페이스 충돌을 언어 차원에서 방지한다. 다만, 논문은 구현 상세와 성능 평가가 제한적이며, 대규모 분산 환경에서의 스케일링 문제와 툴 체인 지원 부족이 향후 과제로 남는다.