Составители:
Рубрика:
BYTE c1, c2, dummy:
SEQ
West?c1
WHILE TRUE
ALT
West?c2
SEQ
East!c1
c1:=c2
Ask?dummy # процессу East нужен байт
SEQ
East!c1
West?c1
§ 2. О языке CSP
Современные версии языка CSP позволяют его использовать в
различных аспектах моделирования приложений:
– протоколов взаимодействия;
– протоколов безопасности;
– протоколов отказоустойчивых систем.
Все взаимодействия происходят в результате событий. Основ-
ными являются операторы:
– присоединения (префиксации — последовательного выполне-
ния);
– рекурсии (повторения);
– защищенного выбора (недетерминированног о выбора).
Оператор присоединения используется для задания последова-
тельного порядка событий.
Пример 1. Если red и green — события, то светофор, который
один раз включает green, а потом red, задается так
green --> red --> STOP
Здесь STOP — простейший процесс в CSP, который не нуждается
во взаимодействии.
Пример 2. Для описания повторения используется рекурсия; в
частности, циклическое включение green и red имеет вид
LIGHT=green --> red --> LIGHT
62
Страницы
- « первая
- ‹ предыдущая
- …
- 59
- 60
- 61
- 62
- 63
- …
- следующая ›
- последняя »
