Е.А. Кузьменкова, А.К. Петренко - практикум на языке RSL (Е.А. Кузьменкова, А.К. Петренко - практикум на языке RSL.pdf), страница 16

АЛГЕБРАИЧЕСКИЕ СПЕЦИФИКАЦИИ..............................................................35Понятие алгебраической спецификации...............................................................................35Классификация функций модели на генераторы, модификаторы и обсерверы ...............36Методика построения алгебраической спецификации .......................................................36RAISE метод разработки программ. Понятие уточнения моделей.....................................37Проверка согласованности моделей......................................................................................

38Упражнения..............................................................................................................................39ГЛАВА 7. ВАРИАНТНЫЕ ОПРЕДЕЛЕНИЯ...........................................................................41Понятие вариантного определения........................................................................................41Виды вариантных определений. Конструкторы, деструкторы и реконструкторы ...........41Конструкторы-константы...................................................................................................

41Конструкторы записей........................................................................................................ 4288Деструкторы.........................................................................................................................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ОТВЕТЫ И РЕШЕНИЯ К УПРАЖНЕНИЯМ..........................................................................77ЛИТЕРАТУРА............................................................................................................................. 8789.