Общий язык алгебраической спецификации

Общий язык алгебраической спецификации (CASL ) является универсальным языком спецификации, основанным на логике первого порядка с индукцией. Также поддерживаются частичные функции и подсортировка.

CASL был разработан CoFI, (CoFI), с целью включить многие существующие языки спецификации.

CASL состоит из четырех уровней:

• базовые спецификации для спецификации отдельных программных модулей,
• структурированные спецификации для модульной спецификации модулей,
• архитектурные спецификации, для предписания структуры реализаций,
• библиотек спецификаций, для хранения спецификаций, распределенных по Интернету.

Эти четыре уровня ортогональны друг другу. В частности, можно использовать структурированные CASL и архитектурные спецификации и библиотеки с логикой, отличной от CASL. Для этого логика должна быть оформлена как учреждение. Эта функция также используется расширениями CASL.

Было разработано несколько расширений CASL:

• HasCASL, higher-order extension
• CoCASL, коалгебраический extension
• CspCASL, одновременное расширение на основе CSP
• ModalCASL, модальная логика расширение
• CASL- LTL, темпоральная логика расширение
• HetCASL, расширение для гетерогенной спецификации

• Официальный сайт CoFI
• CASL
• разнородный набор инструментов Hets, основной инструмент анализа для CASL

.