Существуют различные методы описания семантики функций:
1) Табличный (Какие переменные – состояние среды).
2) алгебраический – с помощью функциональных зависимостей.
3) Логический- с помощью логических соотношений
4) Графический
5) С помощью языка спецификаций — специальные формальные языки, к ним создаются интерпретаторы, поэтому эти спецификации можно выполнить для уяснения работы спецификации.
Спецификация функции:
Имя_функции = proc(имя переменной: тип,….)
Return(имя, тип);
(исклучит ситуац)-signals(….)
requires –ограничения на входные данные.
Modifies – какие входные данные изменяются
Effects- что делает функция
Свои типы данных:
Имя типа data type is [список операций связаных с этим типом]
Описание даннныйх состояния типа (к классам)
Описание операций(спецификация функций)
End data