구문과 의미론 — UML을 중심으로 한 통합 접근법

초록

본 논문은 구문(syntax)과 의미론(semantics)의 개념을 명확히 구분하고, 텍스트와 다이어그램 모두에 적용 가능한 의미론 정의 방법을 제시한다. 계층적 Mealy 자동기를 예제로 삼아 입력·출력 행동을 통한 사양 의미와 구현 의미를 구분하고, 다양한 의미론 정의 방식을 분류한다. 새로운 언어의 의미론을 설계할 때 이 프레임워크를 활용할 수 있다.

상세 분석

논문은 먼저 “구문”과 “의미론”이라는 용어가 학계와 산업 현장에서 혼용되어 발생하는 오해를 지적한다. 구문은 언어의 형식적 구조, 즉 토큰화, 파싱 규칙, 문법 트리 등을 의미하고, 의미론은 그 구조에 부여된 해석 규칙으로서 모델의 동작이나 의미적 관계를 규정한다는 점을 명확히 구분한다. 특히, 의미론이 “정적 의미”(type system, well‑formedness)와 “동적 의미”(execution, I/O behavior)로 나뉘는 점을 강조한다.

다음으로 저자는 텍스트 기반 언어와 UML 같은 다이어그램 언어 모두에 적용 가능한 의미론 정의 프레임워크를 제시한다. 핵심 아이디어는 시스템 모델 → 의미론 매핑 → 행동(behavior) 집합이라는 3단계 구조이다. 모델은 구문 트리 혹은 그래프 형태로 표현되고, 의미론 매핑은 이 모델을 수학적 객체(예: 상태 전이 시스템, 함수, 관계)로 변환한다. 마지막 단계에서 얻어진 행동 집합은 시스템이 외부와 교류할 때 관찰 가능한 입력·출력 시퀀스로 정의된다.

이 프레임워크를 구체화하기 위해 논문은 계층적 Mealy 자동기(Hierarchical Mealy Automaton, HMA) 를 선택한다. HMA는 상태가 다른 자동기들을 포함할 수 있는 구조로, 복잡한 시스템을 모듈화하여 표현한다. 저자는 HMA의 구문을 정의하고, 두 종류의 의미론을 제시한다. 첫 번째는 사양 의미(specification semantics)로, HMA를 입력·출력 함수의 집합으로 매핑한다. 이때 각 상태와 전이의 계층 구조는 평탄화(flattening) 과정을 거쳐 단일 Mealy 자동기로 변환되며, 그 결과는 모든 가능한 입력 시퀀스에 대한 출력 시퀀스의 관계로 표현된다. 두 번째는 구현 의미(implementation semantics)로, HMA를 실제 실행 가능한 상태 머신으로 해석한다. 여기서는 비결정성, 동시성, 은닉 상태 등을 고려해 실행 정책을 정의하고, 그 정책에 따라 관찰 가능한 행동을 추출한다.

의미론 정의 방법을 분류하는 부분에서는 구조적 의미론, 동작 의미론, 추상 의미론, 구현 의미론 네 가지 카테고리를 제시한다. 구조적 의미론은 모델의 구성 요소와 그 관계를 직접 수학적 구조(예: 카테고리, 알제브라)로 매핑한다. 동작 의미론은 시스템의 실행 흐름을 시뮬레이션하거나 트레이스 형태로 기술한다. 추상 의미론은 모델을 보다 높은 수준의 논리적 특성(예: 불변식, 안전성)으로 요약한다. 구현 의미론은 실제 코드나 하드웨어 구현과 직접 연결되는 구체적 동작을 기술한다. 이러한 분류는 새로운 언어 설계 시 어떤 의미론이 필요한지 판단하는 가이드라인으로 활용될 수 있다.

마지막으로 논문은 의미론 정의가 정형 검증, 자동 코드 생성, 시스템 통합 등 실무에 미치는 영향을 논의한다. 의미론이 명확히 정의될수록 모델 기반 개발(MBD) 파이프라인에서 오류 전파를 최소화하고, 도구 간 호환성을 확보할 수 있다. 전체적으로 이 연구는 구문·의미론의 체계적 구분과 통합적 의미론 정의 프레임워크를 제시함으로써, UML과 같은 시각적 언어뿐 아니라 전통적인 프로그래밍 언어에도 적용 가능한 일반화된 접근법을 제공한다.