методичка (811291), страница 15
Текст из файла (страница 15)
Классификация функций модели на генераторы, модификаторы и обсерверы 36
Методика построения алгебраической спецификации 36
RAISE метод разработки программ. Понятие уточнения моделей 37
Проверка согласованности моделей 38
Упражнения 39
ГЛАВА 7. ВАРИАНТНЫЕ ОПРЕДЕЛЕНИЯ 41
Понятие вариантного определения 41
Виды вариантных определений. Конструкторы, деструкторы и реконструкторы 41
Конструкторы-константы 41
Конструкторы записей 42
Деструкторы 42
Реконструкторы 43
Упражнения 44
ГЛАВА 8. ИМПЕРАТИВНЫЙ СТИЛЬ СПЕЦИФИКАЦИЙ 45
Понятие императивного стиля спецификаций 45
Описание переменных 45
Выражение присваивания 46
Функции с доступом к переменным 46
Императивные конструкции RSL 46
Последовательность выражений 46
Выражение if 47
Конструкции циклов 47
Цикл while 47
Цикл until 48
Цикл for 48
Описание локальных переменных 48
Явные и неявные спецификации в императивном стиле 49
Упражнения 49
ГЛАВА 9. СПЕЦИФИКАЦИЯ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ 51
Каналы и взаимодействие процессов 51
Функции с доступом к каналам 51
Выражения взаимодействия 52
Композиция параллельных выражений 53
Параллельная композиция 53
Внешний выбор 53
Внутренний выбор 54
Взаимная блокировка (interlock) 55
Упрощение параллельных выражений 56
Упражнения 56
ГЛАВА 10. Недетерминизм и неполные спецификации 58
Понятие недетерминизма и неполной спецификации 58
Источники недетерминизма в спецификациях 60
Недетерминизм в case- и let-выражениях 61
Упражнения 62
Глава 11. Задание практикума 63
Постановка задачи 63
Варианты заданий 63
Методические рекомендации 67
Глава 12. ПРИМЕРЫ ЭКЗАМЕНАЦИОННЫХ БИЛЕТОВ 70
ОТВЕТЫ И РЕШЕНИЯ К УПРАЖНЕНИЯМ 76
ЛИТЕРАТУРА 86
88