Construction and Analysis of Distributed Processes とは

CADP(分散プロセスの構築と分析)は、通信プロトコルと分散システムの設計のためのツールボックスです。 CADPは、INRIA Rhone-AlpesのCONVECSチーム(以前はVASYチームによって開発された)によって開発され、さまざまな補完的なツールに接続されていました。 CADPは、維持され、定期的に改善され、多くの産業プロジェクトで使用されます。
CADPツールキットの目的は、シミュレーション、迅速なアプリケーション開発、検証、およびテスト生成のためのソフトウェアツールとともに、正式な記述技術を使用して信頼性の高いシステムの設計を容易にすることです。
CADPは、非同期並行性、すなわち、インタリーブセマンティクスによって管理される一組の並列プロセスとして挙動をモデル化することができる任意のシステムに適用することができる。したがって、CADPは、ハードウェアアーキテクチャ、分散アルゴリズム、電気通信プロトコルなどの設計に使用できます。CADPで実装されている列挙型検証(明示的な状態検証とも呼ばれます)技術は、理論の証明はあまり一般的ではありませんが、複雑なシステムでの設計ミス
CADPには、フォーマルメソッドでの2つのアプローチの使用をサポートするツールが含まれています。どちらも信頼できるシステム設計に必要です。
 モデルは、並列プログラムと関連する検証問題の数学的表現を提供します。モデルの例は、オートマトン、通信オートマトンのネットワーク、ペトリネット、バイナリ決定図、ブール方程式系などである。理論的な観点から、モデルに関する研究は、特定の記述言語とは無関係の一般的な結果を求めている。実際には、モデルは複雑なシステムを直接記述するにはあまりにも基本的すぎる(これは退屈でエラーが起こりやすい)。高水準の記述を検証アルゴリズムに適したモデルに変換するコンパイラと同様に、プロセス代数またはプロセス計算と呼ばれるより高いレベルの形式が必要です。