[论文解读] Proceedings of the 12th International Workshop on Logic Programming Environments

Alexandre Tessier|ArXiv.org|Jul 12, 2002

Model-Driven Software Engineering Techniques被引用 15

一句话总结

本文介绍了在哥本哈根举行的第12届国际逻辑编程环境研讨会（WLPE 2002）的会议论文集，该研讨会作为ICLP 2002的会后活动举行。会议聚焦于通过十场报告推进逻辑编程环境的发展，内容涵盖约束逻辑编程、面向对象集成以及抽象解释，涉及软件开发工具、执行可视化和维护辅助工具方面的贡献。

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 会后组织研讨会，汇聚研究人员与实践者。
• 举办十场报告，聚焦于逻辑编程环境在实践与理论上的进展。
• 通过约束逻辑编程与抽象解释，强调软件开发、执行可视化和维护工具的改进。
• 将面向对象编程概念整合到逻辑编程环境中，以增强表达力与可用性。
• 通过用户界面改进与教学辅助工具，推动以人为本的设计。
• 通过将逻辑编程工具与外部系统及语言工具连接，促进系统互操作性。

实验结果

研究问题

• RQ1 如何增强逻辑编程环境以有效支持约束逻辑编程？
• RQ2 哪些设计原则能提升逻辑编程开发工具的可用性与人机工程学性能？
• RQ3 执行可视化在哪些方面能改善逻辑程序的调试与理解？
• RQ4 面向对象编程概念如何被有意义地整合到逻辑编程环境中？
• RQ5 哪些机制能够实现逻辑编程系统与外部工具或外部系统之间的更好集成？

主要发现

• 研讨会成功汇聚了研究人员与开发人员，就逻辑编程环境展开思想交流。
• 十场报告突出了在约束逻辑编程与环境设计方面的实践与理论进展。
• 在软件开发工具、执行可视化与软件维护方面取得了重要贡献。
• 探索并展示了将面向对象编程概念整合到逻辑编程环境中的方法。
• 应用了抽象解释技术，以改善逻辑编程环境中的程序分析与工具支持。
• 研讨会强调了以人为本设计与工具互操作性在推动逻辑编程系统发展中的重要性。