분산 상호작용을 위한 모듈형 툴킷

초록

본 논문은 세션 타입 기반의 분산 상호작용 이론을 실용적인 워크벤치로 구현한 모듈형 툴킷을 제안한다. 설계 목표는 유연성과 확장성을 확보하여 기존 알고리즘과 향후 이론을 손쉽게 통합할 수 있게 하는 것이다. 전역 프로토콜 파싱·검증·투영, 로컬 프로세스 타입 검사, Haskell 코드 생성 등 두 개의 스트림으로 구성된 파이프라인을 제공한다.

상세 분석

이 툴킷은 세션 타입 이론, 특히 dyadic 및 multiparty 세션 타입과 전역 어설션을 지원하도록 설계되었다. 핵심 설계 원칙은 ‘유연성’과 ‘모듈성’으로, 각각은 (1) 다양한 이론적 프레임워크를 플러그인 형태로 교체 가능하게 하고, (2) 각 기능을 독립적인 Haskell 모듈로 구현함으로써 구현·테스트·확장이 용이하도록 한다. 아키텍처는 두 개의 독립 스트림(STREAM 1, 2)으로 나뉘어 전역 프로토콜과 로컬 구현을 각각 처리한다. STREAM 1에서는 전역 서술을 파싱해 추상 구문 트리를 만든 뒤, 일회성 언폴딩, 선형성 검사, 어설션의 well‑assertedness 검증을 순차적으로 수행한다. 이 단계에서 실패하면 즉시 사용자에게 피드백을 제공하고 파이프라인을 중단한다. 검증이 통과하면 기존 연구