Е.А. Кузьменкова, А.К. Петренко - практикум на языке RSL (1185142), страница 16
Текст из файла (страница 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.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
