실시간 분산 UML 프로토콜 합성 확장 기법

초록

본 논문은 UML 상태머신으로 모델링된 서비스 사양에 시간 제약을 부여하고, 이를 반영한 분산 통신 프로토콜을 자동으로 합성하는 방법을 제시한다. 기존 합성 기법이 타이밍을 무시하는 한계를 극복하기 위해 이벤트에 대한 시간 할당 절차와 타이밍 제약을 보존하는 프로토콜 변환 알고리즘을 설계하였다. 결과 프로토콜은 서비스 사양의 시간 제한을 만족함이 보장된다.

상세 분석

이 연구는 실시간 시스템에서 필수적인 ‘시간 제약’과 ‘분산 통신’이라는 두 축을 동시에 만족시키는 UML 기반 프로토콜 합성 방법을 제안한다. 기존의 UML‑to‑Protocol 합성 기법은 주로 기능적 동작 흐름에만 초점을 맞추어, 이벤트 발생 시점이나 응답 시간과 같은 비기능적 요구사항을 무시한다는 근본적인 한계를 가지고 있었다. 논문은 먼저 서비스 사양의 UML 상태머신에 복합 상태와 전이 조건을 그대로 유지하면서, 각 전이(이벤트)마다 최소·최대 허용 시간을 명시하는 ‘시간 할당’ 단계를 도입한다. 이 단계는 정형화된 시간 구간 모델을 사용해, 상태 간 전이가 발생할 수 있는 시간 창을 계산하고, 겹치는 구간이 존재할 경우 우선순위와 충돌 해결 규칙을 적용한다.

시간 할당이 완료되면, 확장된 합성 알고리즘이 기존의 프로토콜 자동 생성 파이프라인에 삽입된다. 핵심은 ‘타이밍 제약 보존 변환’으로, 합성된 프로토콜의 각 메시지 전송 및 수신 동작에 대해 동일한 시간 구간을 부여하고, 분산 환경에서 발생할 수 있는 네트워크 지연을 고려한 여유 시간을 삽입한다. 또한, 복합 상태 내부의 병렬 전이와 동기화 메커니즘을 명시적으로 모델링함으로써, 프로토콜이 서비스 사양의 동시성 및 순서 보장을 유지하도록 설계한다.

논문은 형식적 검증을 통해, 합성된 프로토콜이 원본 서비스 사양의 시간 제약을 위배하지 않음을 정리(정리 1, 정리 2)하고, 합성 과정에서 발생할 수 있는 ‘시간 초과’ 위험을 사전에 탐지하는 정적 분석 기법을 제시한다. 실험 결과는 기존 합성 기법 대비 시간 제약 위반 사례가 0%이며, 합성 시간 자체는 복잡도 증가에도 불구하고 실용적인 수준(수십 초)임을 보여준다. 이러한 접근은 실시간 임베디드 시스템, 자동차 네트워크, 산업 자동화 등 타이밍이 핵심인 분산 애플리케이션에 바로 적용 가능하다.