共通代数仕様言語

共通代数仕様言語（CASL ）は、帰納法を用いた一階述語論理に基づく汎用仕様言語です。部分関数と部分ソートもサポートされています。^{[ 1 ]}

既存の仕様言語を統合することを目的として、共通フレームワークイニシアチブ（CoFI）によって設計され、4つの直交レベルで実装されています。

基本仕様

単一ソフトウェアモジュールの仕様については、

構造化仕様

モジュールのモジュール仕様については、

建築仕様書

実装構造の規定のために、

仕様ライブラリ

インターネット経由で配布される仕様を保存するため。

構造的、アーキテクチャ的、および代数的な仕様記述のインフラストラクチャは、CASLを超えて拡張することができる。この目的のために、それは論理的制度として形式化されている。

CASLの拡張版がいくつか設計されている。

• HasCASL、高次拡張機能
• CoCASL、共代数拡張
• CspCASLは、CSPに基づく並行拡張である。
• ModalCASL、モーダル論理の拡張
• CASL-LTL、時間論理拡張
• HetCASLは、異種仕様のための拡張機能です。

• CoFI公式サイト（ Wayback Machineアーカイブ、2006年8月21日保存）
• Wayback Machineに保存されているCASL （2022年2月1日アーカイブ）
• CASLの主要分析ツールである異種ツールセットHets （ Wayback Machineにアーカイブ済み、2016年4月12日）