[論文レビュー] Proceedings of the 12th International Workshop on Logic Programming Environments

Alexandre Tessier|ArXiv.org|Jul 12, 2002

Model-Driven Software Engineering Techniques被引用数 15

ひとこと要約

本論文は、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件の発表を通じて、制約論理プログラミングおよび環境設計分野における実践的および理論的進展が強調された。
• ソフトウェア開発ツール、実行可視化、ソフトウェア保守分野において、重要な貢献がなされた。
• 論理プログラミング環境へのオブジェクト指向プログラミングの概念の統合が検討され、実証された。
• 抽象解釈技術が、論理プログラミング環境におけるプログラム解析およびツール支援の向上に応用された。
• 本ワークショップでは、ユーザ中心設計およびツール相互運用性が、論理プログラミングシステムの発展において重要であることが強調された。