3 / 10
работы [2]. Опишем их поведение на языке процессных графов. Аген-
ты
UAC
и
UAS
взаимодействуют по 10 каналам, имена которых
ackc
,
brpc
,
irpc
,
reqc
,
sakc
,
acks
,
brps
,
irps
,
reqs
,
saks
. Каналы
ackc
,
brpc
,
irpc
,
reqc, sakc
являются входными для процесса
UAС
и выходными для
процесса
UAS
, а каналы
acks
,
brps, irps, reqs, saks
наоборот — выход-
ными для процесса
UAC
и входными для процесса
UAS
. Каждый из
агентов
UAC
и
UAS
имеет вешний канал запуска и окончания соот-
ветственно
uac
и
uas.
Кроме того, каждый из агентов имеет внешние
каналы для сообщения об ошибках взаимодействия
invalidc
и
invalids
.
Полагаем, что каждый из процессов может выполнять только шесть
типов действий (помимо действий запуска и окончания):
invite
,
invsucc
(любой из 2nn ответов на действие
invite
),
invfail
(любой из 3nn–6nn от-
ветов на действие
invite
),
ack
,
bye
,
byeRsp
(любой из 200 OK ответов на
действие
buy
). Если какое-либо действие
a
берется из канала с именем
c
, то оно является восприятием и записывается как
c
?
a
, если же оно
выдается в канал
c
, то оно является внешней реакцией и записывается
как
c
!
a
.
Пара
c
1
?
a
и
c
2
!
a
, записанная в виде
c
1
?
a.c
2
!
a
или
c
2
!
a
.
c
1
?
a
, называ-
ется условием перехода.
Примеры процессных графов переходов агента
UAC
представлен
на рис. 1, а агента
UAS
— на рис. 2. До начала работы процессный
граф переходов агента
UAC
находится в начальном состоянии, кото-
рое обозначено
Uас
. Из начального состояния
Uас
процессный граф
переходов переходит в состояние
Inviting
в результате выдачи реакции
Рис. 1. Процессный граф переходов процесса
UAC
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 2 109