로봇 소프트웨어를 위한 코드 생성기 조합 모델

초록

본 논문은 로봇 애플리케이션 개발에 필요한 다중 도메인 모델링과 코드 생성기의 통합을 위한 개념 모델을 제시한다. MontiArc‑Automaton 프레임워크를 활용해 컴포넌트‑커넥터 기반 아키텍처와 다양한 행동 모델링 언어를 결합하고, 이를 통해 플랫폼 독립적인 모델을 로봇 전용 실행 코드로 변환하는 방법을 설명한다.

상세 분석

이 연구는 로봇 소프트웨어 개발이 직면한 복합적인 도메인 요구와 애플리케이션 특수성을 해결하기 위해 모델‑드리븐 엔지니어링(MDE)의 확장성을 강조한다. 기존 MDE 접근법은 주로 단일 도메인에 초점을 맞추어, 로봇 시스템처럼 센서, 제어, 통신 등 여러 분야가 얽힌 환경에서는 모델 간 일관성 유지와 코드 생성기의 호환성이 큰 과제로 남는다. 논문은 이러한 문제를 ‘코드 생성기 조합(Generator Composition)’이라는 개념으로 재구성한다. 핵심 아이디어는 각 도메인별 모델링 언어와 그에 대응하는 코드 생성기를 독립적인 플러그인으로 구현하고, 메타 모델 수준에서 이들 플러그인을 조합해 하나의 파이프라인을 구성한다는 것이다.

MontiArc‑Automaton 프레임워크는 컴포넌트‑커넥터(C&C) 구조를 기반으로 하며, 컴포넌트 내부 행동을 상태 머신, 데이터 흐름, 혹은 DSL 등 다양한 언어로 기술할 수 있다. 이를 위해 프레임워크는 ‘언어 통합(Language Integration)’ 메커니즘을 제공하고, 각 언어에 대한 ‘검증(Validation)’과 ‘코드 생성(Generation)’ 모듈을 별도로 정의한다. 논문은 이러한 모듈을 ‘Generator Interface’와 ‘Generator Composition Model’에 매핑함으로써, 새로운 행동 언어가 추가될 때 기존 파이프라인을 재작성하지 않고도 자동으로 통합될 수 있음을 입증한다.

또한, 코드 생성기 조합 과정에서 발생할 수 있는 의존성 충돌과 순서 문제를 해결하기 위해 ‘의존성 그래프(Dependency Graph)’와 ‘위상 정렬(Topological Sorting)’을 적용한다. 이는 각 생성기가 요구하는 입력 모델과 출력 아티팩트를 명시적으로 선언하게 하여, 실행 시점에 자동으로 올바른 순서를 도출한다. 결과적으로, 로봇 플랫폼별(예: ROS, OROCOS) 코드 생성기가 동일한 C&C 모델에 대해 독립적으로 동작하면서도, 다중 행동 언어가 혼합된 복합 모델을 일관되게 처리할 수 있다.

이러한 접근은 로봇 시스템 개발에서 ‘포스트 호크(Post‑hoc)’로 새로운 도메인 언어를 삽입하거나, 기존 코드 생성기를 교체하는 작업을 크게 단순화한다. 특히, 실시간 제어와 시뮬레이션, 하드웨어 추상화 계층을 동시에 다루는 복합 프로젝트에서, 개발자는 모델 수준에서 아키텍처와 행동을 설계하고, 코드 생성기 조합 프레임워크가 자동으로 타깃 플랫폼에 맞는 구현을 제공하도록 할 수 있다. 이는 재사용성, 유지보수성, 그리고 빠른 프로토타이핑을 동시에 달성하게 한다.