[논문 리뷰] Computer Program Decomposition and Dynamic/Behavioral Modeling

Sabah Al‐Fedaghi|arXiv (Cornell University)|2020. 09. 05.

Parallel Computing and Optimization Techniques참고 문헌 22인용 수 7

한 줄 요약

이 논문은 동적 이벤트 스트림을 기반으로 순차 프로그램을 구성요소로 분해하기 위한 도식적 방법론을 제안한다. 세 가지 수준—정적 기술, 동적 표현, 행동 모델—으로 프로그램을 모델링함으로써 기존의 C++ 기반 방법에 비해 명확성과 실현 가능성을 향상시키는 체계적인 분해를 가능하게 한다. 특히 본질적으로 순차적인 알고리즘에 대해 유의미한 성과를 보인다.

ABSTRACT

Decomposition, statically dividing a program into multiple units, is a common programming technique for realizing parallelism and refining programs. The decomposition of a sequential program into components is tedious, due to the limitations of program analysis and because sequential programs frequently employ inherently sequential algorithms. This paper contributes to this area of study by proposing a diagrammatic methodology to decompose a sequential program. The methodology involves visualizing the program in terms of a conceptual model called the thinging machine (TM) model. The TM diagram-based model establishes three levels of representation (1) a static description; (2) a dynamic representation; and (3) a behavioral model. The decomposition is performed in the last phase of modeling, according to the streams of events. This method is contrasted with formal decomposition specifications and compared with the typical decomposition of a C++ program. The results point to the viability of using TM for decomposing programs.

연구 동기 및 목표

• 본질적인 순차성로 인해 프로그램 분해가 어려운 점과 프로그램 분석의 한계를 해결하기 위해.
• 시각적이고 세 단계의 모델링 접근법(정적, 동적, 행동)을 도입하여 프로그램 분해를 수행하기 위해.
• 이벤트 기반 분해를 통해 프로그램의 모듈성 향상과 병렬 처리 지원을 향상시키기 위해.
• TM 기반 방법을 공식적 분해 명세와 대비하여 분석하기 위해.
• 실제 프로그램 분해 시나리오에서 TM 모델의 타당성과 효율성을 검증하기 위해.

제안 방법

• Thinging Machine(TM) 모델을 사용하여 세 가지 추상화 수준—정적 기술, 동적 표현, 행동 모델—을 갖춘 개념적 프레임워크로 프로그램을 표현한다.
• 동적 표현은 이벤트 스트림에서 유도되며, 이로 인해 순차 프로그램의 이벤트 기반 분해가 가능해진다.
• 분해 과정은 모델링의 최종 단계에서 이뤄지며, 이는 이벤트 흐름과 행동 패턴에 기반한다.
• 이 방법은 공식적 분해 기법과 대비되며, 일반적인 C++ 프로그램 분해와 비교 평가된다.
• 시각적 다이어그램(21장의 그림)을 사용하여 TM 모델과 프로그램 분해에의 응용을 설명한다.
• 이 접근법은 순차 알고리즘의 정적 프로그램 분석의 한계를 극복하기 위해 개념적 모델링을 활용한다.

실험 결과

연구 질문

• RQ1 본질적으로 순차적인 알고리즘으로 인해 프로그램 분해가 어려운 상황에서 어떻게 효과적으로 순차 프로그램을 분해할 수 있는가?
• RQ2 이벤트 스트림 분석은 프로그램의 동적 분해를 어떻게 가능하게 하는가?
• RQ3 명확성과 실용성 측면에서 TM 모델는 공식적 분해 명세와 비교해 어떻게 다를 수 있는가?
• RQ4 TM 기반 접근법은 순차 프로그램의 모듈성 향상과 병렬 처리 지원에 기여할 수 있는가?
• RQ5 전통적인 C++ 분해 방식에 비해 도식적이고 이벤트 기반 모델링 기법은 어떤 실용적 이점이 있는가?

주요 결과

• TM 모델은 동적 이벤트 스트림 분석을 통해 순차 프로그램 분해에 실현 가능하고 체계적인 접근법을 제공한다.
• 정적, 동적, 행동 모델의 세 단계 표현 방식은 명확성을 향상시키고 체계적인 분해를 지원한다.
• 특히 본질적으로 순차적인 알고리즘에 대해 기존의 C++ 기반 분해 방식에 비해 타당성이 높아 보인다.
• 시각적 도식적 접근법은 복잡한 프로그램 동작을 이해하는 데 도움이 되며 모듈화를 촉진한다.
• 결과적으로 TM 모델는 공식 명세 기반 분해의 실용적 대안으로 기능할 수 있음을 시사한다.
• 연구는 TM 모델을 통한 이벤트 기반 분해가 소프트웨어 공학 과제에 대해 효과적이고 확장 가능하다는 점을 확인한다.