Vega 데이터 변환을 위한 형식 의미론(Formal Semantics) 및 타입 시스템(Type System)

요약

본 논문은 대화형 데이터 시각화 언어인 Vega의 모호한 의미론을 해결하기 위해 그래프 기반의 운영 의미론과 타입 시스템을 제안합니다. 이를 통해 Vega의 스트리밍 데이터플로우 아키텍처를 정밀하게 모델링하고, 정적 분석을 통해 데이터 변환 과정의 오류를 사전에 방지할 수 있는 체커를 구현했습니다.

핵심 포인트

• Vega의 스트리밍 데이터플로우를 위한 그래프 기반 운영 의미론 정의
• 데이터 변환 오류 방지를 위한 정밀한 타입 시스템 제시
• 함수형 반응형 프로그래밍 모델과의 차이점 규명
• 실제 환경의 오류를 탐지할 수 있는 Vega용 정적 분석 체커 구현