[논문 리뷰] Attempto Controlled English (ACE)

Norbert E. Fuchs, Rolf Schwitter|ArXiv.org|1996. 03. 13.

Model-Driven Software Engineering Techniques참고 문헌 12인용 수 138

한 줄 요약

이 논문은 도메인 전문가가 익숙한 문법 구조를 사용하여 모순이 없고 기계로 처리할 수 있는 요구사항을 작성할 수 있도록 해주는 형식적이지만 자연어에 가까운 사양 언어인 Attempto Controlled English(ACE)를 소개한다. ACE는 사양을 논리적 구조와 Prolog로 번역하여 검증, 시뮬레이션, 검증이 가능하게 하며, 자동화된 통장 기계를 사양하는 데 있어 전체 일관성과 실행 가능성의 가능성을 입증한다.

ABSTRACT

Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specification texts are incrementally added to a knowledge base. This knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.

연구 동기 및 목표

• 소프트웨어 공학 분야에서 모호하고 일관되지 않으며 불완전한 자연어 요구사항 문제를 해결하기 위해.
• 일致한 용어와 문법을 강제하여 도메인 전문가와 개발자 간의 오해를 줄이기 위해.
• 인간이 읽을 수 있고 기계로 처리할 수 있는 사양 언어를 만들기 위해, 형식적 추론과 실행을 가능하게 하기 위해.
• 비전문가가 익숙한 언어적 형태를 사용하여 요구사항을 작성하고 검증하며 시뮬레이션할 수 있도록 하기 위해.
• 논리나 프로그래밍 전문 지식 없이도 초기 소프트웨어 개발 단계에 형식적 방법을 통합하기 위해.

제안 방법

• 문법과 어휘를 제한하여 문법적·의미적 명확성을 확보하고, 모호성을 최소화한다.
• Attempto 시스템은 ACE 텍스트를 제1차 논리 기반의 논리적 구조인 논의 표현 구조(DRS)로 분석한다.
• 지문 해석은 성별과 수의 일치를 기반으로 상위 DRS 내에서 가장 가까운 대응 참조어를 선택하여 자동으로 처리된다.
• DRS는 Prolog 문장으로 번역되어 실행이 가능하고 논리 프로그래밍 환경과 통합된다.
• 지식 기반의 점진적 구축을 지원하여 사양에 대한 동적 질의와 시뮬레이션을 가능하게 한다.
• 사용자는 ACE로 지식 기반을 질의하여 일관성 검증과 사용자 제공 이벤트 데이터를 기반으로 한 시스템 동작 시뮬레이션을 수행할 수 있다.

실험 결과

연구 질문

• RQ1 제어된 자연어를 설계하여 인간이 읽을 수 있고 소프트웨어 요구사항에 대해 충분히 형식적인 정밀도를 확보할 수 있는가?
• RQ2 제어된 자연어에서 지문 해석과 참조 해석을 자동화하여 의미 일관성을 유지할 수 있는가?
• RQ3 이러한 언어로 작성된 요구사항을 실행 가능한 논리로 번역할 수 있는가? 시뮬레이션과 검증에 활용할 수 있는가?
• RQ4 비전문가가 형식적 훈련 없이도 일관되고 완전한 사양을 작성할 수 있는 정도는 어느 정도인가?
• RQ5 결과적으로 도출된 형식적 표현이 시스템 동작의 자동 검증과 실행을 지원할 수 있는가?

주요 결과

• Attempto 시스템은 의미적으로 모호하지 않고 논리적으로 일관된 DRS로 ACE 사양을 성공적으로 번역한다.
• 지식 기반의 점진적 구축을 지원하여 시스템 동작의 동적 질의와 시뮬레이션을 가능하게 한다.
• 예를 들어 '누가 카드를 삽입하는가?'와 같은 ACE 질의는 적절한 치환을 통해 정확히 응답되며, 효과적인 의미 해석이 이루어짐을 보여준다.
• 사용자에게 상황에 맞는 데이터를 입력받고 실행 추적을 출력함으로써, 카드 삽입 및 검증 절차와 같은 실제 이벤트를 시뮬레이션할 수 있다.
• ACE를 Prolog로 번역함으로써 사양의 실행이 가능해지며, 이는 형식적 표현이 검증 가능한 것뿐만 아니라 실행 가능한 것임을 보여준다.
• 이러한 접근은 응용 분야의 개념어휘를 사용하여 요구사항의 검증과 프로토타이핑을 가능하게 하여 이해관계자 간 오해를 줄인다.