[論文レビュー] CLPGUI: a generic graphical user interface for constraint logic programming over finite domains

François Fages|ArXiv.org|Jul 11, 2002

Constraint Satisfaction and Optimization参考文献 17被引用数 6

ひとこと要約

CLPGUI は、有限領域上の制約論理プログラムの動的2Dおよび3Dの探索木と有限領域変数の可視化およびインタラクティブ制御を可能にする汎用のクライアント・サーバアーキテクチャを提示する。GNU-Prolog サーバと Java ベースの GUI の間でメッセージパッシング通信を採用しており、最小限のパフォーマンスオーバーヘッド（3905ノードの探索木に対して 470 ms）でリアルタイムのデバッグと教育が可能である。3D 探索木可視化の有効性が示された。

ABSTRACT

CLPGUI is a graphical user interface for visualizing and interacting with constraint logic programs over finite domains. In CLPGUI, the user can control the execution of a CLP program through several views of constraints, of finite domain variables and of the search tree. CLPGUI is intended to be used both for teaching purposes, and for debugging and improving complex programs of realworld scale. It is based on a client-server architecture for connecting the CLP process to a Java-based GUI process. Communication by message passing provides an open architecture which facilitates the reuse of graphical components and the porting to different constraint programming systems. Arbitrary constraints and goals can be posted incrementally from the GUI. We propose several dynamic 2D and 3D visualizations of the search tree and of the evolution of finite domain variables. We argue that the 3D representation of search trees proposed in this paper provides the most appropriate visualization of large search trees. We describe the current implementation of the annotations and of the interactive execution model in GNU-Prolog, and report some evaluation results.

研究の動機と目的

• 有限領域上の制約論理プログラムを可視化および操作するための再利用可能でオープンアーキテクチャの GUI を提供すること。
• プログラム実行中に動的かつリアルタイムに探索木と有限領域変数を可視化すること。
• 探索木の任意のノードから戻る・再実行が可能なナビゲーション機能を備え、インタラクティブなデバッグと教育を可能にすること。
• 最適化されたソケット通信とデータ圧縮によりパフォーマンスオーバーヘッドを最小限に抑えること。
• 外部のビューアや将来の制約伝播トレーサとの統合を可能にする拡張性を提供すること。

提案手法

• システムは、CLP プログラムをサーバとして実行し、Java ベースの GUI をクライアントとしてソケット通信で接続するクライアント・サーバモデルを採用する。
• 汎用のメッセージパッシングプロトコルにより双方向通信を実現：サーバは実行状態の更新を送信し、GUI は制御コマンドを送信する。
• CLP コード内に注釈（例：`<var>`、`<button>`、`<node>`）を挿入することで、変数の名前指定、GUI コントロールの作成、探索木の細分化を可能にする。
• GUI は、有限領域の変化と探索木の探索をリアルタイムで可視化するための動的 2D および 3D ビューアを実装する。
• 3D 探索木可視化は、大規模な探索空間をコンact に表現し、プログラム構造の理解を容易にする。
• パフォーマンス最適化には、ソケット呼び出しの削減と単純なデータ圧縮を用い、通信オーバーヘッドを最小限に抑える。

実験結果

リサーチクエスチョン

• RQ1 異なる制約プログラミングシステム間で、動的可視化とインタラクティブ制御をサポートする汎用的で拡張可能な GUI アーキテクチャを設計できるか？
• RQ2 3D 可視化は、制約論理プログラミングにおける大規模な探索木の理解をどの程度向上させるか？
• RQ3 リアルタイム可視化はどの程度のパフォーマンスオーバーヘッドを引き起こし、それが実世界のプログラムにおいて実用的であるか？
• RQ4 CLP エンジンと GUI 間のメッセージパッシング通信を、異なるシステム間で効率的かつ再利用可能にできるか？
• RQ5 ソースコード内の注釈をどのように活用すれば、コアの CLP エンジンを変更せずに細かく制御可能で可視化可能な構造を実現できるか？

主な発見

• 3D 探索木可視化は、大規模な探索空間を可視化する上で最も効果的かつコンact な方法であり、プログラム構造の理解を顕著に支援した。
• ブリッジ問題における 3905 ノードの探索木に対して、CLPGUI は合計 470 ms の実行時間と可視化時間を達成し、通信に起因するオーバーヘッドは 370 ms にとどまった。
• ソケット最適化とデータ圧縮により、オーバーヘッドは 2600 ms から 470 ms に削減され、実用的な実装の可能性が裏付けられた。
• リアルタイムの相互作用（戻り、再実行）が可能であり、効果的なデバッグと探索が可能となった。
• クライアント・サーバアーキテクチャは拡張性に優れており、外部ビューアとの統合や将来の制約伝播トレースのサポートが可能となった。
• ソースコード内の注釈の使用により、コアの CLP エンジンを変更せずに細かく制御可能で可視化可能な構造を実現できた。