BIP 연결자를 위한 심볼릭 구현

초록

본 논문은 BIP 프레임워크의 실행 엔진에서 발생하는 인터랙션 탐색 비용을 줄이기 위해, 연결자와 우선순위 모델을 부울식으로 변환하고 BDD(바이너리 결정 다이어그램)를 이용한 심볼릭 구현 방식을 제안한다.

상세 분석

BIP는 행동·상호작용·우선순위라는 세 층 구조를 갖는 컴포넌트 기반 모델링 프레임워크이며, 각 원자 컴포넌트는 포트 집합을 라벨로 하는 전이 시스템으로 표현된다. 전통적인 엔진은 현재 전역 상태에서 활성 포트를 수집한 뒤, 모든 정의된 연결자를 열거하여 가능한 인터랙션을 찾고, 그 중 우선순위에 따라 최대(interaction)만을 선택한다. 이 과정은 연결자 수가 많아질수록 선형적으로 비용이 증가하며, 특히 복합적인 동기화·브로드캐스트·체인 형태의 연결자는 인터랙션 집합이 기하급수적으로 늘어나 실행 시간을 크게 좌우한다.

논문은 이러한 병목을 해소하기 위해 세 가지 핵심 아이디어를 제시한다. 첫째, 포트를 불리언 변수로 보고 인터랙션 집합을 자유 불리언 대수 B