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

Common Algebraic Specification Language

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

Обзор

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

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

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

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

Расширения

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

внешняя ссылка