Общий язык алгебраической спецификации - Common Algebraic Specification Language
В Общий язык алгебраической спецификации (CASL) является универсальным язык спецификации на основе логика первого порядка с индукция. Частичные функции и подсортировка также поддерживаются.
Обзор
CASL был разработан CoFI, Общая рамочная инициатива (CoFI), с целью относить многие существующие языки спецификации.
CASL состоит из четырех уровней:
- базовые спецификации для спецификации отдельных программных модулей,
- структурированные спецификации для модульной спецификации модулей,
- архитектурные спецификации, для предписания структуры реализации,
- библиотеки спецификаций, для хранения спецификаций, распределенных по Интернет.
Четыре уровня ортогональны друг другу. В частности, можно использовать CASL структурированный и архитектурный технические характеристики и библиотеки с логикой, отличной от CASL. Для этого необходимо формализовать логику в виде учреждение. Эта функция также используется расширениями CASL.
Расширения
Было разработано несколько расширений CASL:
- HasCASL, a более высокого порядка расширение
- CoCASL, а коалгебраический расширение
- CspCASL, а одновременный расширение на основе CSP
- ModalCASL, a модальная логика расширение
- CASL-LTL, а темпоральная логика расширение
- HetCASL, расширение для неоднородный Технические характеристики
внешняя ссылка
 | Этот язык программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |