[논문 리뷰] Dynamic System Adaptation by Constraint Orchestration

Lpj Groenewegen, de Ep Erik Vink|ArXiv.org|2008. 11. 21.

Model-Driven Software Engineering Techniques참고 문헌 27인용 수 4

한 줄 요약

이 논문은 Paradigm의 제약 조율 모델을 사용하여 실시간으로 동적으로 일致하는 소프트웨어 아키텍처 이행을 가능하게 하는 재사용 가능한 구성 요소인 McPal을 제안한다. McPal은 구성 요소 행동의 즉시 재구성(coordination)을 통해 정지 상태 없이 지속적인 실행을 보장하며, 예기치 않은 아키텍처 진화 동안 변화하는 시스템 상태 동안도 동적 일치성을 유지한다.

ABSTRACT

For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fly through Paradigm's constraint orchestration, also for originally unforeseen evolution. UML-like diagrams visually supplement such migration, as is illustrated for the case of a critical section solution evolving into a pipeline architecture.

연구 동기 및 목표

• 복잡하고 장기간 실행되는 시스템에서 예측 불가능한 실시간 소프트웨어 진화의 과제를 해결하기 위해.
• 이행 중 구성 요소, 포트, 링크, 협업 행동 간의 일관성을 유지함으로써 동적 일치성을 확보하기 위해.
• 실행을 멈추지 않고도 예측 불가능한 아키텍처 변경이 발생하더라도 원활한 진화를 가능하게 하기 위해.
• 즉시 재구성 가능한 이행 단계와 전환을 모델링할 수 있도록 지원하는 재사용 가능한 조율 메커니즘(McPal)을 제공하기 위해.
• 이전의 이행 조율 작업을 일반화하여 실시간 시스템에서 임의의 복잡한 이행 패턴을 지원하기 위해.

제안 방법

• 구성 요소, 포트, 링크, 협업의 동적 행동과 제약 조건을 지정하기 위해 Paradigm 조율 모델링 언어를 사용한다.
• 실행 중 제약 조건 변경을 동적으로 조율함으로써 이행을 관리하는 특수 구성 요소인 McPal을 도입한다.
• 상태 기계와 트리거를 사용하여 이행 단계(예: StartMigr, WhoFirst, Conf, Content, migrDone)의 시퀀스를 모델링한다.
• 제약 조율을 적용하여 구성 요소 행동을 점진적으로 재구성함으로써 이전 이행 및 이후 이행 상태와의 일관성을 보장한다.
• UML 스타일의 협업, 상태 기계, 활동 다이어그램을 사용하여 동적 일치성과 McPal의 조율 논리의 시각적 표현을 제공한다.
• ParADE 환경과 ACP 및 mCRL2로의 공식적 번역을 활용하여 이행 경로의 모델 검증 및 검증을 수행한다.

실험 결과

연구 질문

• RQ1 예기치 않은 변경이 발생하더라도 실행을 멈추지 않고 소프트웨어 시스템이 어떻게 실시간으로 동적으로 진화할 수 있는가?
• RQ2 이행 중 구성 요소, 포트, 링크, 협업 행동 간의 동적 일치성을 보장하기 위한 메커니즘은 무엇인가?
• RQ3 어떤 조율 모델이 시스템 행동의 즉시 재구성 가능한 실시간 재구성에 기여하는가?
• RQ4 McPal은 다양한 아키텍처 진화에 걸쳐 재사용 가능하고 일致하는 이행 조율을 어떻게 가능하게 하는가?
• RQ5 실시간 시스템에서 이행 프로세스의 정확성을 보장하기 위해 어떻게 형식적 모델링 및 검증 기법을 적용할 수 있는가?

주요 결과

• McPal은 실시간로 제약 조율을 동적으로 조율함으로써 실시간으로 정지 상태 없이 이행을 가능하게 한다.
• Paradigm에서 제약 조율를 사용함으로써 안정 상태와 변화 상태 모두에서 모든 동적 일치 문제 유형(T1–T7)에 대해 일관된 행동을 보장한다.
• UML 기반의 시각화(협업, 상태 기계, 활동 다이어그램)는 McPal의 조율 및 이행 단계 이해를 크게 향상시킨다.
• 이론적 접근은 이전에 고정된 조율 양식에 국한된 작업을 일반화하여 복잡하고 임의의 이행 패턴을 지원한다.
• ACP로의 번역 및 mCRL2와의 통합을 통한 형식적 검증을 통해 이행 경로의 모델 검증이 가능해져 정확성을 보장한다.
• McPal는 여러 개의 독립적인 이행 간에 재사용 가능하며, 이전 이행이 완료되기 전에 새로운 이행을 시작할 수 있어 동시 진화를 가능하게 한다.