[논문 리뷰] Constructing Active Architectures in the ArchWare ADL

Ronald Morrison, Graham Kirby외 7명|arXiv (Cornell University)|2010. 06. 24.

Advanced Software Engineering Methodologies참고 문헌 17인용 수 5

한 줄 요약

이 논문은 ArchWare ADL를 사용하여 동적 구조적 진화를 가능하게 하는 활성 소프트웨어 아키텍처를 구축하는 새로운 접근법을 제시한다. π-계산기 기반 언어, 하이퍼코드 실행 모델, 구조적 반사, 분해 연산자 등을 통해 실현된다. 주요 기여는 런타임 재구성, 컴포넌트 교체, 명세 진화를 지원하는 통합 프레임워크를 제공함으로써 복잡하고 변화하는 환경에서 진정으로 적응형이며 자가적응형 시스템을 가능하게 한다.

ABSTRACT

Software that cannot change is condemned to atrophy: it cannot accommodate the constant revision and re-negotiation of its business goals nor intercept the potential of new technology. To accommodate change in such systems we have defined an active software architecture to be: dynamic in that the structure and cardinality of the components and interactions are not statically known; updatable in that components can be replaced dynamically; and evolvable in that it permits its executing specification to be changed. Here we describe the facilities of the ArchWare architecture description language (ADL) for specifying active architectures. The contribution of the work is the unique combination of concepts including: a π-calculus based communication and expression language for specifying executable architectures; hyper-code as an underlying representation of system execution; a decomposition operator to break up and introspect on executing systems; and structural reflection for creating new components and binding them into running systems.

연구 동기 및 목표

• 변경하는 비즈니스 목표나 기술적 발전에 대응하지 못하는 정적 소프트웨어 아키텍처의 한계를 해결하기 위해.
• 런타임에서 동적이고, 업데이트 가능하며, 진화 가능한 활성 아키텍처 모델을 정의하고 구현하기 위해.
• 런타임 내부 관찰과 구조적 수정을 지원하는 형식적이고 실행 가능한 기술 기술 언어를 제공하기 위해.
• 시스템을 종료하지 않고도 런타임에서 컴포넌트 교체와 시스템 재구성 기능을 가능하게 하기 위해.
• 구조적 반사와 분해 메커니즘을 통합하여 활성 시스템 진화를 위한 유기적인 ADL를 제공하기 위해.

제안 방법

• ArchWare ADL는 실행 가능한 시스템 행동과 상호작용을 모델링하기 위해 π-계산기 기반의 통신 및 표현 언어를 사용한다.
• 하이퍼코드는 시스템 실행의 기초 런타임 표현으로, 활성 컴포넌트의 내부 관찰과 조작을 가능하게 한다.
• 분해 연산자는 실행 중인 시스템을 구성 요소로 분석하거나 수정하기 위해 런타임에서의 점검과 분해를 가능하게 한다.
• 구조적 반사 메커니즘은 런타임 중에 새로운 컴포넌트를 생성하고 실행 중인 시스템에 동적으로 바인딩할 수 있도록 한다.
• ADL는 이러한 기능들을 하나의 실행 가능한 아키텍처 기술 언어로 통합하여 런타임 진화를 지원한다.
• 시스템은 ArchWare 프레임워크 내에서 형식적 명세와 실행을 통해 구현되고 평가된다.

실험 결과

연구 질문

• RQ1 소프트웨어 아키텍처는 어떻게 런타임에서 동적 구조적 변화를 지원하도록 설계할 수 있는가?
• RQ2 진화하는 시스템 아키텍처를 표현하고 실행하기 위해 필요한 언어 구조는 무엇인가?
• RQ3 시스템이 실행 중일 때 컴포넌트는 어떻게 내부 관찰, 수정, 재구성할 수 있는가?
• RQ4 새로운 컴포넌트를 라이브 시스템에 생성하고 통합하기 위한 메커니즘은 무엇인가?
• RQ5 통신 모델, 실행 표현, 반사의 조합은 진정으로 아키텍처 진화를 어떻게 지원하는가?

주요 결과

• ArchWare ADL는 동적 구조, 업데이트 가능한 컴포넌트, 진화 가능한 행동을 지원하는 활성 아키텍처의 명세를 성공적으로 구현한다.
• π-계산기 의미 체계의 통합은 활성 시스템 내에서 동시성과 이동성을 정밀하게 모델링할 수 있도록 한다.
• 하이퍼코드는 시스템 상태와 실행의 균일하고 내부 관찰이 가능한 표현을 제공하여 런타임 조작을 가능하게 한다.
• 분해 연산자는 실행을 중단하지 않고도 활성 시스템 컴포넌트의 런타임 분석과 수정을 가능하게 한다.
• 구조적 반사는 새로운 컴포넌트의 생성과 실행 중 시스템에의 동적 바인딩을 가능하게 하여 런타임 진화를 지원한다.
• 프레임워크는 형식적이고 실행 가능한 아키텍처 기술을 통해 자가적응형 시스템 구축의 가능성을 입증한다.