논리적 구문에 대한 규칙기반 프로그램 구성 = Rule-Based Program Construction for Logical Constructs

국문 초록 (Abstract)

본 논문에서는 논리적 구문으로 작성된 프로그램 사양을 절차적 구문으로 변형하는 자동 프로그래밍 시스템을 구성한 기법을 제시한다. 프로그램 구성의 과정은 주어진 프로그램 사양으로부터 지식 베이스에 있는 변형규칙을 적용하여 부분 프로그램을 구성한다. 이 부분 프로그램은 다시 변형 규칙을 계속 적용하여 목적 프로그램이 생성될 때까지 이 과정을 반복 적용한다.
따라서 논리적 구문을 자동 프로그래밍 함에 있어 프로그램 변형기법을 사용함으로써 종전의 연역적 기법만을 사용함으로써 어려웠던 절차적 구문과 논리적 구문의 혼용을 가능하게 한다. 또한 본 자동 프로그래밍 시스템은 전문가 시스템 기술을 이용하여 구성되며 지식베이스에 있는 지식을 표현하기 위하여 객체기반 표현기법을 이용한다.

다국어 초록 (Multilingual Abstract)

In this paper, we present a method for designing and implementing an automatic programming system which transforms logical constructs in the program specification into the corresponding procedural code. The transformation process consists of repeated applications of the transformation rules to rewrite a segment of the developing program into a procedural code. This method allows us to intermix logical and procedural constructs for program specification. Such intermixing is very difficult for the deductive method of automatic programming.
Based on this method, an automatic programming system has been implemented by employing the expert system technology and adopting the object-based representation for programming knowledge.

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 자동 프로그래밍 시스템
• 3. 프로그램 사양
• 4. 자동 프로그래밍 방법
• 5. 지식 베이스
• 6. 설계 및 구현
• 7. 결론
• 참고문헌
• 저자소개