[논문 리뷰] Issues of Architectural Description Languages for Handling Dynamic Reconfiguration

Leonardo Minora, Jérémy Buisson외 2명|arXiv (Cornell University)|2012. 05. 21.

Advanced Software Engineering Methodologies참고 문헌 26인용 수 4

한 줄 요약

이 논문은 소프트웨어 아키텍처에서 런타임 동적 재구성 기능을 지원하는 데 네 가지 주요 아키텍처 기술언어(ADL) — $π$-ADL, ACME, C2SADL, Dynamic Wright — 를 평가한다. 연구 결과, 이들 ADL 중 어느 것도 유형 및 인스턴스 수준에서 일관된 재구성을 완전히 지원하지 못하며, 재구성 중 행동 모델링이 부재하고, 재구성 정확성 검증을 위한 공식적 평가 메커니즘이 제공되지 않는다는 점을 확인하였다.

ABSTRACT

Dynamic reconfiguration is the action of modifying a software system at runtime. Several works have been using architectural specification as the basis for dynamic reconfiguration. Indeed ADLs (architecture description languages) let architects describe the elements that could be reconfigured as well as the set of constraints to which the system must conform during reconfiguration. In this work, we investigate the ADL literature in order to illustrate how reconfiguration is supported in four well-known ADLs: pi-ADL, ACME, C2SADL and Dynamic Wright. From this review, we conclude that none of these ADLs: (i) addresses the issue of consistently reconfiguring both instances and types; (ii) takes into account the behaviour of architectural elements during reconfiguration; and (iii) provides support for assessing reconfiguration, e.g., verifying the transition against properties.

연구 동기 및 목표

• 기존 아키텍처 기술언어(ADL)가 런타임에서 동적 재구성을 어떻게 지원하는지 조사하기 위해.
• ADL가 아키텍처 유형과 인스턴스의 일관된 재구성을 얼마나 잘 처리하는지 분석하기 위해.
• ADL가 재구성 중 구성 요소와 연결 요소의 행동을 어떻게 모델링하는지 평가하기 위해.
• ADL가 재구성 정확성 검증 또는 분석을 위한 메커니즘을 제공하는지 평가하기 위해.
• 동적 재구성에 대한 아키텍처적 지원을 위한 열린 연구 과제를 특정하기 위해.

제안 방법

• 네 가지 잘 알려진 ADL — $π$-ADL, ACME, C2SADL, Dynamic Wright — 를 대상으로 비교 분석을 수행하였다.
• 재구성 시나리오를 설명하기 위해 단순화된 TCP/IP 스택을 사례로 활용하였으며, 구성 요소 전환, 유형 삽입(예: IPv6가 IPv4를 대체), 행동 업데이트(예: 전송 계층에서 오류 제어 향상) 등의 세 가지 재구성 시나리오를 제시하였다.
• 각 재구성 시나리오를 각 ADL에서 이용 가능한 언어 구조에 매핑하였으며, 문법, 의미론, 도구 지원을 중심으로 분석하였다.
• 세 가지 핵심 요소에 대한 ADL 지원을 평가하였다: (1) 유형 및 인스턴스 수준에서의 일관된 재구성, (2) 재구성 중 행동 모델링, (3) 재구성 성질의 공식적 평가.
• 기존 도구 및 공식적 형식화 방법(예: $π$-AAL, Armani, AML, CSP 변종)을 활용하여 검증 능력을 평가하였다.
• 언어 간 기능과 차원을 비교하기 위해 표 형식의 요약을 활용하여 ADL 지원 수준을 분류하였다.

실험 결과

연구 질문

• RQ1 ADL는 아키텍처 유형과 인스턴스를 동시에 일관성 있게 동적 재구성하는 데 어떻게 지원하는가?
• RQ2 ADL는 런타임 재구성 중 아키텍처 요소의 행동을 어느 정도 모델링하는가?
• RQ3 ADL는 동적 재구성 전이의 정확성을 공식적으로 평가하거나 검증하기 위해 어떤 메커니즘을 제공하는가?
• RQ4 $π$-ADL, ACME, C2SADL, Dynamic Wright의 언어 패러다임은 동적 재구성 지원에 어떻게 영향을 미치는가?
• RQ5 현재 ADL에서 안전하고 행동 인식형이며 분석 가능한 런타임 재구성 지원을 완전히 달성하지 못하는 주요 제약은 무엇인가?

주요 결과

• 네 ADL — $π$-ADL, ACME, C2SADL, Dynamic Wright — 중 어느 것도 동시에 아키텍처 유형과 그 인스턴스를 일관되게 재구성하는 내장된 지원을 제공하지 못한다.
• $π$-ADL와 ACME는 두 수준에서 재구성을 지원하지만, 유형 수준의 변경을 기술하기 위해 외부 도구나 언어(예: $π$-AAL, CSP, Plastik)가 필요하다.
• C2SADL는 AML로 정의된 연산을 통해 인스턴스 수준 재구성을 지원하지만, 내장된 유형 수준 재구성 지원이 없다.
• Dynamic Wright는 유형 수준 재구성에 대한 언어 구조를 제공하지 않으며, 인스턴스 수준 변경을 위해 확장 기능에 의존한다.
• 어느 ADL도 동적 재구성 행동을 명시적이고 분리된 방식으로 모델링하지 못한다. $π$-ADL와 Dynamic Wright에서는 재구성 로직이 일반 행동과 뒤섞여 있다.
• 다른 도구(예: Armani, $π$-AAL)가 부분적인 분석 지원을 제공하지만, 어느 ADL도 재구성 정확성 평가를 위한 내장된 공식적 메커니즘을 제공하지 않는다.