[論文レビュー] Visualization of Constraint Handling Rules

Nada Sharaf, Slim Abdennadher+1 more|arXiv (Cornell University)|May 15, 2014

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

ひとこと要約

この論文では、外部の可視化モジュールへの通信ルールを挿入することで、Constraint Handling Rules (CHR) プログラムに可視化機能を自動で組み込む汎用的なソース・ツー・ソース変換フレームワークを提示する。このアプローチにより、CHRランタイムを変更せずに動的でアルゴリズム固有のアニメーションが可能となり、Jawaa可視化ツールを用いたソート処理やリスト操作の例で実証された。

ABSTRACT

Constraint Handling Rules (CHR) has matured into a general purpose language over the past two decades. Any general purpose language requires its own development tools. Visualization tools, in particular, facilitate many tasks for programmers as well as beginners to the language. The article presents on-going work towards the visualization of CHR programs. The process is done through source-to-source transformation. It aims towards reaching a generic transformer to visualize different algorithms implemented in CHR. Note: An extended abstract / full version of a paper accepted to be presented at the Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna, Austria.

研究の動機と目的

• CHRプログラム向けの汎用可視化ツールの不足、特に複雑なアルゴリズムに対する課題に対処すること。
• 可視化ツールにハードコードされた入力や一時的な入力を排除し、再利用性を向上させること。
• ソース変換を通じて、多様なCHR実装アルゴリズムの自動的かつ汎用的な可視化を可能にすること。
• 可視化ロジックをCHRランタイムシステムから分離し、ポータビリティと拡張性を向上させること。
• 複数の可視化バックエンドと意味論をサポートする再利用可能な変換ワークベンチを開発すること。

提案手法

• ソース・ツー・ソース変換を適用し、可視化イベントをトリガーするプロパゲーションルールを挿入することでCHRプログラムを変更する。
• `communicate/1`述語を介した通信メカニズムを導入し、外部可視化モジュールに制約の追加または削除を通知する。
• アノテーションファイルを用いて、制約がアニメーション内の視覚的対象（例：ノード、色、位置）にどのようにマッピングされるかを定義する。
• 通信されたイベントに基づいてアニメーションファイルを動的に構築する可視化エンジン（例：Jawaa）と変換済みCHRプログラムを統合する。
• 簡略化とプロパゲーションの両方の意味論を処理するルールを設計し、制約の変更の正しい可視化を保証する。
• 実行中に制約ストアの更新をリアルタイムで処理することで、動的で段階的なアニメーションを可能にする。

実験結果

リサーチクエスチョン

• RQ1 CHRプログラムをランタイムシステムを変更せずに、自動的に可視化をサポートするための方法は何か？
• RQ2 汎用的な変換アプローチは、ソート処理やリスト処理のような多様なアルゴリズムをCHRで実装した場合に可視化可能か？
• RQ3 可視化をCHR実装から分離することで、複数の可視化バックエンドをサポートできるか？
• RQ4 ソース・ツー・ソース変換を用いることで、可視化拡張の保守性と再利用性にどのような影響があるか？
• RQ5 制約の作成、削除、再順序付けを含む複雑な可視化を、動的で段階的な方法でサポートできるか？

主な発見

• システムは、Jawaaにおけるノードのアニメーションにリスト制約をマッピングすることで、CHRベースのソートアルゴリズムを正しく可視化した。ノードの作成と削除のタイミングも正確に制御された。
• 変換により、簡略化ルールが正しく処理され、制約が置き換えられると視覚的対象の削除がトリガーされた。
• 変換によって挿入されたプロパゲーションルールにより、制約の追加と同時に可視化イベントが即座に発火され、リアルタイムアニメーションが可能になった。
• ハードウェアに依存する入力や手動設定の必要性が排除され、異なるCHRプログラム間での汎用的再利用が可能になった。
• Jawaaを用いた実装の妥当性が示され、今後のポータビリティとモularityを考慮したOpenSCADなど他のツールへの拡張も可能である。
• 変換ワークベンチにより、アノテーションベースの可視化が可能になり、制約を位置、色、ラベルなどの視覚的属性に関連付けることができるようになった。