CREOLE: 자원 조작을 위한 범용 언어

초록

본 논문은 REST 기반 서비스에서 CRUD 작업을 표준화하기 위해 CREOLE이라는 범용 언어를 제안한다. 기존 SQL·SPARQL·OData 등 다양한 CRUD 언어를 CREOLE로 컴파일하고, 이를 통해 서로 다른 서비스 간 적응·통합·조정을 수행한다. Flickr와 Picasa를 활용한 사례를 통해 설계 목표와 구현 방식을 검증한다.

상세 분석

CREOLE가 제시하는 핵심 아이디어는 “피벗 아키텍처”이다. 서비스 제공자는 자신이 지원하는 CRUD 인터페이스를 그대로 유지하면서, 클라이언트는 자신이 익숙한 언어(SQL, OData 등)로 스크립트를 작성한다. 이 스크립트는 사전 정의된 컴파일러에 의해 CREOLE 중간 표현으로 변환되고, CREOLE 엔진이 다양한 백엔드에 매핑된다. 논문은 먼저 범용 언어가 가져야 할 네 가지 요구사항을 정의한다. (1) 표현력 – 관계형, 트리형, 그래프형 데이터 모델을 모두 다룰 수 있어야 한다. (2) 조합성 – 여러 CRUD 연산을 순차·병렬·조건부로 결합할 수 있어야 한다. (3) 확장성 – 새로운 프로토콜이나 인증 메커니즘을 플러그인 형태로 추가할 수 있어야 한다. (4) 정형성 – 형식 검증과 실행 시 오류 검출이 가능하도록 정형 문법을 제공해야 한다.

언어 설계는 핵심 연산자와 스코프 개념을 중심으로 전개된다. 연산자는 CREATE, READ, UPDATE, DELETE 네 가지 기본 형태와, JOIN, FILTER, AGGREGATE 같은 집합 연산을 포함한다. 스코프는 리소스 컬렉션을 논리적으로 구분하고, 변수 바인딩을 통해 다중 단계 트랜잭션을 지원한다. 이러한 설계는 기존 SQL의 SELECT … FROM … WHERE … 구문을 그대로 매핑하면서도, RESTful URI 기반 접근 방식과 자연스럽게 결합한다.

형식 시스템은 정적 타입 검사와 리소스 스키마 추론을 제공한다. 타입은 기본 스칼라 타입(문자열, 정수, 부동소수점)과 복합 타입(레코드, 리스트, 맵)으로 구성되며, 리소스 스키마는 런타임에 메타데이터 API를 통해 자동 수집한다. 이를 통해 컴파일 단계에서 잘못된 필드 접근이나 타입 불일치를 사전에 차단한다.

컴파일 파이프라인은 프론트엔드 파서 → 중간 IR 생성 → 최적화 → 백엔드 코드 생성 순으로 진행된다. 프론트엔드 파서는 기존 CRUD 언어의 구문을 AST로 변환하고, IR 단계에서 공통 연산자 집합으로 정규화한다. 최적화 단계에서는 불필요한 READ 연산 제거, 조인 순서 재배치, 배치 실행 계획 수립 등을 수행한다. 백엔드 코드는 HTTP/REST, gRPC, SOAP 등 다양한 프로토콜에 맞춰 자동 생성된다.

사례 연구에서는 Flickr와 Picasa 두 사진 관리 서비스의 API 차이를 분석한다. Flickr는 태그 기반 검색과 메타데이터를 JSON 형태로 반환하고, Picasa는 앨범 구조와 XML 피드를 제공한다. 두 서비스에 대해 동일한 사진 업로드·검색·삭제 워크플로우를 SQL‑like 스크립트로 기술하고, 이를 CREOLE로 컴파일한 뒤 각각의 백엔드 어댑터에 전달한다. 결과적으로 개발자는 하나의 스크립트만 유지하면 두 서비스에 동시에 동작하는 애플리케이션을 구현할 수 있다.

논문의 강점은 표현력과 확장성을 동시에 만족한다는 점이다. 특히, 기존 CRUD 언어와의 양방향 매핑을 제공함으로써 레거시 시스템과의 마이그레이션 비용을 크게 낮춘다. 그러나 현재 구현은 성능 최적화가 제한적이며, 복잡한 트랜잭션(예: ACID 보장)이 필요한 경우 백엔드 의존성이 높아진다. 또한, 보안 정책(OAuth, API 키) 관리가 어댑터 수준에서 분산되어 있어 중앙 집중식 정책 적용이 어려운 점도 있다. 향후 연구에서는 분산 실행 엔진과 정책 기반 접근 제어를 통합함으로써 이러한 한계를 보완하고자 한다.