[論文レビュー] CrocoPat 2.1 Introduction and Reference Manual

Dirk Beyer, Andreas Noack|ArXiv.org|Sep 7, 2004

Chemical synthesis and alkaloids参考文献 30被引用数 8

ひとこと要約

CrocoPat 2.1 は、二分決定図（BDD）を用いた任意のアリティを持つ関係の効率的かつスケーラブルな操作を可能にする、無料でオープンソースのツールである。これにより、複雑なソフトウェアモデルのスケーラブルな解析が可能になる。CrocoPat 2.1 は、述語論理に基づく高水準プログラミング言語（RML）を提供しており、ソフトウェアアーキテクチャにおける推移的閉包やパターン検出などの操作をサポートする。応用分野には、デザインパターン認識、クローン検出、影響解析が含まれる。

ABSTRACT

CrocoPat is an efficient, powerful and easy-to-use tool for manipulating relations of arbitrary arity, including directed graphs. This manual provides an introduction to and a reference for CrocoPat and its programming language RML. It includes several application examples, in particular from the analysis of structural models of software systems.

研究の動機と目的

• ソフトウェアシステムの構造的モデルを効率的かつスケーラブルに分析するためのツールを提供すること。特に、デザインパターンやアーキテクチャ上の問題の検出を目的とする。
• 従来のツールが二項関係に限定されていたり、高コストのメモリおよび時間的オーバーヘッドを伴っていたという制限を克服すること。
• 任意のアリティを持つ関係を、BDD を用いてコン pact かつ効率的に表現できるようにすること。
• 入出力の関係データとして Rigi Standard Format (RSF) を使用することで、他のツールとのシームレスな統合を可能にすること。
• 述語論理に基づく、使いやすく宣言的なプログラミング言語（RML）を提供し、複雑な関係クエリや変換を指定できるようにすること。

提案手法

• 時間的・メモリ的効率性を高めるために、関係を内部データ構造として二分決定図（BDD）として効率的に表現する。
• 一階述語論理に基づくドメイン特化言語、関係操作言語（RML）を採用し、関係演算を表現する。
• 最小固定点を用いて定義された形式的意味論により、和、積、補集合、推移的閉包などの演算をサポートする。
• 存在記号量化（EX）や全称記号量化（FA）などの構文的構成と関係代入を用いて、高度なプログラミング技法を可能にする。
• 入出力のための Rigi Standard Format (RSF) を使用することで、他のツールやシステムとの相互運用性を確保する。
• 実行制御、入出力処理、デバッグのためのオプションを備えたコマンドラインインターフェースを提供する。

実験結果

リサーチクエスチョン

• RQ1 大規模なモデルを扱う際、任意のアリティを持つ関係をソフトウェア解析タスクでどのように効率的に操作できるか。
• RQ2 従来のアプローチ（Prolog やデータベースなど）と比較して、BDD を用いた表現が、関係演算におけるメモリおよび時間的オーバーヘッドをどの程度低減できるか。
• RQ3 RML のような高水準で宣言的な言語が、ソフトウェアアーキテクチャにおける複雑なパターン検出や変換タスクを効果的に表現できるか。
• RQ4 CrocoPat は、実世界のソフトウェアシステムにおいて、デザインパターン、コードクローン、アーキテクチャの不整合をどの程度効果的に検出できるか。
• RQ5 ソフトウェアモデル解析の文脈において、Grok や RPA や RelView といった既存のツールと比較して、CrocoPat が示すパフォーマンスおよびスケーラビリティ上の利点は何か。

主な発見

• CrocoPat は、ソフトウェアシステムにおける到達可能性や影響伝播の検出に不可欠な推移的閉包の計算を効率的に行える。
• BDD の使用により、CrocoPat は極めて少ないメモリ使用量で大規模な関係を処理でき、複雑なソフトウェアモデル解析に適している。
• RML が述語論理と関係演算を統合しているため、複雑なクエリや変換を簡潔かつ表現力豊かに記述できる。
• CrocoPat は、デザインパターンの検出、コードクローンの特定、設計時アーキテクチャと実装時アーキテクチャの比較といった高度な解析タスクを効果的にサポートする。
• 実世界の応用において実用的であることが実証されており、不要コードの検出、変更影響解析、ソースコードモデルからのシナリオ抽出が可能である。
• CrocoPat は、二項関係に限定されない（例：三項以上）関係のサポートを備えているため、二項グラフに限定されたツールに比べ、ソフトウェア構造のより豊かなモデル化が可能である。