초록 ▼

웹 기반 서비스에서 XML의 영향력이 커지면서 프로그래밍언어 학계에서는 XML 문서 변환의 안전성을 정적으로 보장하기 위한 연구를 시작했다. 본 연구에서는 XML 타입 체계에 이용할 새로운 구문 서브타이핑(syntactic subtyping) 이론을 연구하고 완성한 타입 체계를 이용하여 타입 오류 없는 안전한 XML 변환 언어를 개발하는 것을 목표로 하였다. 이론 연구에서는 XML 문서를 표현하는 타입 체계에서 지금까지 사용되어온 의미론 기반 서브타이핑(semantic subtyping)과는 본질적으로 다른 구문 서브타이핑 이론 개

웹 기반 서비스에서 XML의 영향력이 커지면서 프로그래밍언어 학계에서는 XML 문서 변환의 안전성을 정적으로 보장하기 위한 연구를 시작했다. 본 연구에서는 XML 타입 체계에 이용할 새로운 구문 서브타이핑(syntactic subtyping) 이론을 연구하고 완성한 타입 체계를 이용하여 타입 오류 없는 안전한 XML 변환 언어를 개발하는 것을 목표로 하였다. 이론 연구에서는 XML 문서를 표현하는 타입 체계에서 지금까지 사용되어온 의미론 기반 서브타이핑(semantic subtyping)과는 본질적으로 다른 구문 서브타이핑 이론 개발을 목표로 하였다. 구현 연구에서는 완성한 타입 체계에 기초한 XML 변환 언어를 정의한 후 타입 검사기와 컴파일러 개발을 목표로 하였다.

본 연구에서는 XML 타입 체계에 이용할 새로운 구문 서브타이핑 이론을 연구하고 XML 변환 언어를 개발한다는 목표를 달성하였다. 또한 구현 연구에서는 완성한 타입 체계에 기초한 XML 변환 언어를 정의한 후 타입 검사기와 컴파일러를 개발하는 목표를 달성하였다.

이론 연구에서는 구문 서브타이핑 시스템을 증명과 함께 완성하였다. 함수타입, 순서쌍 타입, 교집합 타입, 합집합 타입을 지원하는 람다계산식에 기초하였다. 그리고 부정 타입과 다형성을 지원하도록 확장하였다. 중요한 연구 결과로 모든 타입 구조간의 상호 작용을 고려하여 기본 타입과 교집합 등의 확장 타입을 처리하는 추론 규칙을 완성하였다. 다음으로 서브타이핑 체계와 타입 결정식을 위한 추론 규칙을 완성하였다. 서브 타이핑 체계를 이용하여 변수를 다루는 타입 결정식을 위한 추론 규칙을 완성하였다. 추론 규칙을 모두 완성한뒤 서브타이핑 관계의 성질을 증명하였다. 최종적으로 완성한 구문 서브타이핑 시스템으로부터 이행성을 표현하는 추론 규칙을 포함하는 전통적 스타일의 서브타입핑 시스템을 유도하였다. 완성한 구문 서브타이핑 시스템은 Coq 증명보조기로 검증하였다.

구현 연구에서는 기본적인 XML 변환 언어 정의를 완료한 후 구문 분석기, 타입 검사기, 인터프리터를 구현하였다. 인터프리터는 성능과는 무관하게 구현하며 타입 검사기의 구현이 올바른지 확인하기 위한 보조적인 도구로 이용하였다. 본 연구에서는 함수형 언어 Objective CAML을 이용하여 구문 분석기, 타입 검사기, 인터프리터를 모두 구현하였다. 기본적인 XML 변환 언어에 다형성과 기타 범용적인 프로그래밍 구조를 추가하여 실용성 있는 XML 변환 언어를 설계하였다. 그리고 실제 XML 문서를 변환하는 프로그램을 작성해서 완성한 XML 변환 언어를 시험하였다.

본 연구에서는 XML 타입 체계에 이용할 새로운 구문 서브타이핑 이론을 연구하고 XML 변환 언어를 개발한다는 목표를 달성하였다. 또한 구현 연구에서는 완성한 타입 체계에 기초한 XML 변환 언어를 정의한 후 타입 검사기와 컴파일러를 개발하는 목표를 달성하였다. 이를 통해서 학문적인 측면에서 XML 변환 언어에 부적합한 의미론 기반 서브타이핑의 약점을 극복하는 새로운 구문 서브타이핑 이론을 제시하였다는 점에서 의의가 있다고 판단된다. 또한 구문 서브타이핑을 채용한 XML 변환 언어를 정의하고 구현하는 것 자체가 학문적인 의의를 가진다.
(출처:요약문 3p)

목차 Contents

• 표지 ... 1
• 목차 ... 2
• Ⅰ. 연구결과 요약문 ... 3
• Ⅱ. 연구내용 및 결과 ... 4
• 1. 연구과제의 개요 ... 4
• 2. 국내외 기술개발 현황 ... 4
• 3. 연구수행 내용 및 결과 ... 4
• 4. 목표 달성도 및 관련 분야에의 기여도 ... 6
• 5. 연구결과의 활용계획 ... 6
• 6. 연구과정에서 수집한 해외과학기술정보 ... 6
• Ⅲ. 연구성과 ... 7
• 끝페이지 ... 7