SDL-92에서 CHILL-96으로 변환하기 위한 사상 규칙의 설계

본 논문에서는 SDL-92/PR에서 CHILL-96 프로그램을 자동으로 생성하기 위하여 구조 변환 알고리즘과 통신 변환 알고리즘을 이용한 직접 사상 규칙을 제시한다. 구조 변환 알고리즘은 SDL-92/PR의 중첩된 구조를 구조 트리의 계층 구조로 변환한다. SON에 기반한 통신 변환 알고리즘은 SDL-92의 시그널에 의한 통신을 CHILL-96의 메소드 정의와 호출로 변환한다. 그 후, 제시한 사상 규칙을 적용하여 변환된 SDL-92/PR의 계층적 구조를 CHILL-96의 중첩된 구조로 사상한다. 이러한 사상 규칙은 SDL-92/PR과 CHILL-96의 구문의 유사성에 착안하여 정의된 것으로, SDL-92/PR에서 CHILL-96 프로그램을 자동 생성하는 변환기의 핵심 부분이 된다.