[논문 리뷰] Proceedings of the 12th International Workshop on Logic Programming Environments

Alexandre Tessier|ArXiv.org|2002. 07. 12.

Model-Driven Software Engineering Techniques인용 수 15

한 줄 요약

이 논문은 2002년 코펜하겐에서 ICLP 2002의 워크숍로 개최된 제12회 국제 논리 프로그래밍 환경 워크숍(WLPE 2002)의 회의록을 제시한다. 이 회의록은 제약 논리 프로그래밍, 객체 지향 통합, 추상 해석을 다루는 10개의 발표를 통해 논리 프로그래밍 환경의 발전에 초점을 맞추고 있으며, 소프트웨어 개발 도구, 실행 시각화, 유지보수 보조 기능 분야에서 기여를 이룬다.

ABSTRACT

The twelfth Workshop on Logic Programming Environments, WLPE 2002, is one in a series of international workshops held in the topic area. The workshops facilitate the exchange ideas and results among researchers and system developers on all aspects of environments for logic programming. Relevant topics for these workshops include user interfaces, human engineering, execution visualization, development tools, providing for new paradigms, and interfacing to language system tools and external systems. This twelfth workshop held in Copenhaguen. It follows the successful eleventh Workshop on Logic Programming Environments held in Cyprus in December, 2001. WLPE 2002 features ten presentations. The presentations involve, in some way, constraint logic programming, object-oriented programming and abstract interpretation. Topics areas addressed include tools for software development, execution visualization, software maintenance, instructional aids. This workshop was a post-conference workshop at ICLP 2002. Alexandre Tessier, Program Chair, WLPE 2002, June 2002.

연구 동기 및 목표

• 논리 프로그래밍 환경 분야의 연구자들과 개발자들 간의 협업을 촉진하기 위해.
• 논리 프로그래밍을 위한 사용자 인터페이스, 인간 공학, 시스템 통합과 관련된 과제를 해결하기 위해.
• 실행 시각화, 소프트웨어 유지보수, 지도 지원을 위한 도구 및 기법을 탐색하기 위해.
• 제약 논리 프로그래밍 및 객체 지향 프로그래밍과 같은 새로운 프로그래밍 패러다임을 개발 환경에 통합하기 위해.
• 논리 프로그래밍 시스템과 외부 도구 및 환경 간의 상호운용성을 향상시키기 위해.

제안 방법

• ICLP 2002의 워크숍로 후행 이벤트로 개최된 워크숍을 통해 연구자들과 전문가들을 모으기 위해.
• 논리 프로그래밍 환경 분야에서의 실용적이고 이론적인 발전에 중점을 둔 10개의 발표를 진행하기 위해.
• 제약 논리 프로그래밍과 추상 해석을 통해 소프트웨어 개발, 실행 시각화, 유지보수를 위한 도구에 중점을 두기 위해.
• 논리 프로그래밍 환경에 객체 지향 프로그래밍 개념을 통합하여 표현력과 사용성을 향상시키기 위해.
• 사용자 중심 설계를 촉진하기 위해 사용자 인터페이스 개선과 지도 보조 도구를 통해 인간 공학을 강조하기 위해.
• 논리 프로그래밍 도구를 외부 시스템 및 언어 도구와 연결함으로써 시스템 간 상호운용성을 촉진하기 위해.

실험 결과

연구 질문

• RQ1 어떻게 하면 제약 논리 프로그래밍을 효과적으로 지원할 수 있도록 논리 프로그래밍 환경을 향상시킬 수 있는가?
• RQ2 논리 프로그래밍 개발 도구에서의 사용성과 인간 공학을 향상시키는 설계 원칙은 무엇인가?
• RQ3 실행 시각화가 논리 프로그램의 디버깅과 이해도 향상에 어떻게 기여할 수 있는가?
• RQ4 어떤 방식으로 객체 지향 프로그래밍 개념을 논리 프로그래밍 환경에 의미 있게 통합할 수 있는가?
• RQ5 논리 프로그래밍 시스템과 외부 도구 또는 외부 시스템 간의 통합을 가능하게 하는 메커니즘은 무엇인가?

주요 결과

• 워크숍은 논리 프로그래밍 환경에 관해 아이디어를 교환하기 위해 연구자들과 개발자들을 성공적으로 모았다.
• 10개의 발표는 제약 논리 프로그래밍과 환경 설계 분야에서의 실용적이고 이론적인 발전을 강조했다.
• 소프트웨어 개발 도구, 실행 시각화, 소프트웨어 유지보수 분야에서 핵심 기여가 이루어졌다.
• 논리 프로그래밍 환경에 객체 지향 프로그래밍 개념의 통합이 탐색되고 시연되었다.
• 추상 해석 기법이 논리 프로그래밍 환경에서 프로그램 분석 및 도구 지원을 향상시키기 위해 적용되었다.
• 워크숍은 사용자 중심 설계와 도구 간 상호운용성이 논리 프로그래밍 시스템 발전에 있어 중요시됨을 강조했다.