계층적 상태를 활용한 CIF 모델링 혁신

초록

본 논문은 CIF(Compositional Interchange Format)의 부분 언어인 hCIF에 계층 구조를 도입하여 단계적 정제를 지원한다. 구조적 운영 의미론(SOS)을 이용해 기존 원자 규칙만 최소한으로 수정하고, 계층을 제거하는 변환 절차를 제시함으로써 기존 시뮬레이터와 도구를 그대로 활용할 수 있게 한다.

상세 분석

hCIF는 기존 CIF의 하이브리드 전이 시스템(Hybrid Transition System) 의미 체계를 그대로 유지하면서, 모델을 계층적으로 구성할 수 있는 메커니즘을 추가한다. 핵심은 ‘계층적 상태’라는 개념으로, 복합 자동자를 하위 자동자들의 집합으로 표현하고, 이들 하위 자동자는 독립적인 SOS 규칙을 갖는다. 논문은 먼저 CIF의 기본 SOS 규칙을 재검토하고, 계층을 도입하기 위해 필요한 최소한의 수정—즉, 원자 자동자에 대한 전이 규칙에 ‘진입’과 ‘탈출’ 라벨을 부여하는 단계—을 제시한다. 이러한 라벨링은 상위 자동자가 하위 자동자를 활성화하거나 비활성화할 때 발생하는 전이를 명시적으로 모델링한다.

특히, 계층적 전이 시스템은 ‘구조적 전이’와 ‘시간 전이’를 구분하여, 연속적인 동역학과 이산적인 제어 흐름을 동시에 다룰 수 있게 한다. 시간 전이는 하위 자동자들의 연속적 흐름을 상위 자동자가 감시하도록 설계되어, 시간 진화가 계층 전체에 일관되게 전파된다. 또한, ‘우선순위’와 ‘동기화’ 메커니즘을 SOS 규칙에 통합함으로써, 병렬 실행 중 발생할 수 있는 경쟁 조건을 명확히 정의한다.

계층 제거 절차는 hCIF 모델을 평면 자동자로 변환하는 알고리즘으로, 각 하위 자동자의 상태와 전이를 상위 자동자의 전이 규칙에 삽입한다. 이 과정에서 상태 공간 폭발을 최소화하기 위해 ‘전이 합성’과 ‘불변식 보존’ 기법을 적용한다. 결과적으로, 변환된 평면 모델은 기존 CIF 시뮬레이터와 검증 도구에 바로 입력 가능하며, 계층 구조가 제공하던 가독성 및 모듈화 이점을 손실 없이 유지한다.

논문은 또한 계층 도입이 모델링 생산성을 어떻게 향상시키는지 사례 연구를 통해 입증한다. 복잡한 하이브리드 시스템(예: 온도 제어와 기계적 움직임을 동시에 포함하는 공정 시스템)을 hCIF로 기술했을 때, 설계자는 각 서브시스템을 독립적으로 개발하고 검증한 뒤, 계층적 결합을 통해 전체 시스템을 구성할 수 있다. 이는 전통적인 평면 CIF 모델링에 비해 오류 발생 가능성을 크게 낮추고, 재사용성을 높인다.

전반적으로, 이 논문은 CIF의 확장성을 유지하면서도 계층적 모델링을 공식화한 최초의 시도 중 하나이며, SOS 기반 의미론과 변환 절차를 통해 기존 도구와의 호환성을 보장한다는 점에서 학술적·실용적 의의가 크다.