[논문 리뷰] A web-based IDE for IDP

Ingmar Dasseville, Gerda Janssens|arXiv (Cornell University)|2015. 11. 03.

Logic, Reasoning, and Knowledge참고 문헌 11인용 수 8

한 줄 요약

이 논문은 일阶논리에 근간을 두고 인도적 정의와 타입을 확장한 지식기반 시스템인 IDP를 위한 웹 기반 통합개발환경(IDE)을 제시한다. 현대 웹 기술을 기반으로 제작된 이 IDE는 온라인 및 오프라인 사용을 모두 가능하게 하며, 문법 강조, 오류 시각화, 자동 들여쓰기, 불만족가능 핵심(unsat core) 시각화와 같은 특수 디버깅 기능을 제공하여 세금 행정과 같은 분야에서 교육 및 응용 개발의 사용성과 향상된다.

ABSTRACT

IDP is a knowledge base system based on first order logic. It is finding its way to a larger public but is still facing practical challenges. Adoption of new languages requires a newcomer-friendly way for users to interact with it. Both an online presence to try to convince potential users to download the system and offline availability to develop larger applications are essential. We developed an IDE which can serve both purposes through the use of web technology. It enables us to provide the user with a modern IDE with relatively little effort.

연구 동기 및 목표

• IDP, 즉 확장된 일阶논리 기반 지식기반 시스템을 위한 사용자 우호적이고 접근 가능한 IDE의 부족을 해결하기 위해.
• 더 넓은 보급과 교육 및 산업 현장에서의 실용적 활용을 지원하기 위해 온라인 시범 사용과 오프라인 개발을 모두 가능하게 하기 위해.
• 기존의 Eclipse 기반 IDE와 비교해 유지보수 부담을 줄이기 위해 성숙한 웹 기술을 활용하기 위해.
• 불만족가능 핵심 시각화와 같은 IDP 전용 디버깅 기능을 지원하는 경량이고 확장 가능한 IDE를 제공하기 위해.
• REST API와 모듈러 설계를 통해 다른 웹 애플리케이션에 IDE를 쉽게 통합할 수 있도록 하기 위해.

제안 방법

• IDE는 CodeMirror 에디터를 사용해 문법 강조 및 코드 편집을 수행하는 웹 기술로 개발되었다.
• 가벼운 서버 사이드 컴포넌트가 파일 작업과 실행을 처리하여 온라인 및 오프라인 모드를 모두 지원한다.
• 모델 생성, 불만족가능 핵심 추출, 구조 전파를 지원하기 위해 IDP 시스템의 추론 엔진과 REST API를 통합하였다.
• 인터페이스는 모듈러 아키텍처를 사용하여 에디터 및 콘솔과 같은 컴포넌트를 외부 웹 애플리케이션에 통합할 수 있도록 하였다.
• 자동 완성은 의미 분석이 아닌 사전 정의된 코드 스니펫과 토큰 기반 단어 매칭을 사용하여 구현하였다.
• 로컬 웹 서버와 설정 파일을 통해 오프라인 사용을 지원하며, 온라인 버전은 보안을 위해 파일 시스템 접근을 제한한다.

실험 결과

연구 질문

• RQ1 어떻게 현대적이고 접근 가능한 IDE를 IDP를 위해 구축할 수 있을까? 이는 신규 사용자들이 접근 장벽을 줄일 수 있도록 하기 위함이다.
• RQ2 웹 기반 접근 방식이 논리 기반 프로그래밍 시스템을 위한 온라인 실험과 오프라인 개발을 효과적으로 지원할 수 있는가?
• RQ3 IDP 프로그램 디버깅에 가장 효과적인 기능는 무엇인가? 특히 이론 구성 요소의 모순을 식별하는 데에 초점하여.
• RQ4 기능을 유지하면서도 다른 웹 애플리케이션에 쉽게 통합될 수 있도록 IDE를 설계하는 방법은 무엇인가?
• RQ5 도메인 특화 언어인 IDP와 같은 시스템에 대해 웹 기술을 사용하는 것과 전통적인 桌면 IDE 프레임워크를 사용하는 것 사이의 상충 관계는 무엇인가?

주요 결과

• 웹 기반 IDE는 온라인 및 오프라인 사용을 성공적으로 지원하여 사용자가 설치 없이 IDP를 실험할 수 있고, 더 큰 애플리케이션을 로컬에서 개발할 수 있도록 하였다.
• 불만족가능 핵심 시각화와 같은 특수 디버깅 기능을 포함하여, 사용자가 이론의 모순 부분을 더 효율적으로 식별할 수 있도록 하였다.
• 이전의 Eclipse 기반 IDE와 비교해 웹 기술을 사용함으로써 개발 및 유지보수 부담이 감소하였으며, 호환성 업데이트를 자주 수행할 필요가 없어졌다.
• 이 시스템은 쿠 루벤 대학교의 수업에서 성공적으로 사용되어 교육적 가치를 입증하였다.
• 실제 응용 분야에서 새로운 사용자가 이미 유입되고 있으며, 세제 행정 분야에서의 실제 적용 가능성을 보여주고 있다.
• 모듈러 설계 덕분에 에디터를 외부 웹 애플리케이션에 통합할 수 있었으며, 수강 선택 및 PC 구성에 대한 두 가지 실시간 데모를 통해 이를 입증하였다.