8 / 23
72
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. «Приборостроение». 2016. № 3
6)
в выходные каналы руководителя поступают сообщения об
ожидании выполнения заданий
Окончание
= (
РИ1
(
ожидание
),
И1Р
(
согласен
),
РИ2
(
ожидание
),
И2Р
(
согласен
));
7)
в выходные каналы исполнителей поступают сообщения о за-
вершении выполнения заданий
Завершение
= (
РИ1
(
ожидание
),
И1Р
(
завершено
),
РИ2
(
ожидание
),
И2Р
(
завершено
));
8)
во входные каналы исполнителей поступают сообщения о за-
крытии этих каналов
Закрытие
= (
РИ1
(
закрыт
),
И1Р
(
завершено
),
РИ2
(
закрыт
),
И2Р
(
завершено
)).
Руководитель выполняет следующие действия:
1)
поместить сообщения
сообщение1, сообщение2
в каналы
РИ1
,
РИ2
Поместить
(
РИ1
(
сообщение1
),
РИ2
(
сообщение2
));
2) получить сообщения
сообщение1, сообщение2
из каналов
И1Р
,
И2Р
Получить
(
И1Р
(
сообщение1
),
И2Р
(
сообщение2
)).
Используя введенные состояния каналов и действия руководителя,
его поведение может быть описано приведенными ниже секвентами.
Подготовка:
,
(
(
)
(
))
.
(
(
),
(
))
Получить
Помести
И1Р открыт И2Р открыт
РИ1 приглашение РИ2 пригла
т
шение
ь
Готовность
Приглашение
Воспринимая состояние каналов
Готовность
,
руководитель решает
поместить сообщение
приглашение
во все свои выходные каналы.
В результате состоянием каналов становится
Приглашение
.
Реакция:
(
(
)
(
))
(
(
)
(
)
,
,
)
РИ 1 приглашение РИ 2 приглашение
И 1Р приглашен
Поместит
И2Р приглашен
ь
.
Получить
Приглашение
Принятие
Воспринимая состояние каналов
Приглашение
,
руководитель ожидает
реакции исполнителей. После их реакции состоянием каналов стано-
вится
Принятие
.
Уведомление:
(
(
)
(
)
.
(
(
),
(
)
,
)
Получить
П
И1Р приглашен И2Р приглашен
РИ1 задание РИ2 задание
оместить
Принятие
Управление