Common_Algebraic_Specification_Language
コンパクトアプリケーションソリューション言語
と混同しないでください 一般的な代数的仕様言語（CASLは）汎用ある仕様言語に基づいて、一階述語論理と誘導。部分関数とサブソートもサポートされています。
概要
CASLは、多くの既存の仕様言語を包含することを目的として、共通フレームワークイニシアチブ（CoFI）であるCoFIによって設計されました。
CASLは4つのレベルで構成されています。
基本仕様、単一ソフトウェアモジュールの仕様にモジュールのモジュラー仕様の構造化仕様、
実装の構造の処方のためのアーキテクチャ仕様、
インターネット上で配布された仕様を保存するための仕様ライブラリ。
4つのレベルは互いに直交しています。特に、CASL以外のロジックでCASLの構造化およびアーキテクチャ 仕様とライブラリを使用することができます。この目的のために、論理は制度として形式化されなければなりません。この機能は、CASL拡張機能でも使用されます。
拡張機能
CASLのいくつかの拡張機能が設計されています。
HasCASL、高次拡張
CoCASL、coalgebraic拡張
CspCASL、CSPに基づく並行拡張
ModalCASL、様相論理拡張
CASL-LTL、時相論理拡張
HetCASL、異種仕様の拡張
外部リンク
CoFIの公式ウェブサイト CASL CASLの主要な分析ツールである異種ツールセットHets
このプログラミング言語関連
「https://en.wikipedia.org/w/index.php?title=Common_Algebraic_Specification_Language&oldid=1024380339」
から取得”