6 / 23
70
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. «Приборостроение». 2016. № 3
:
:
:
,
,
.
;
;
i
i
i
i
i
o
i
o o
i
o
o
i
o
o
o
?a
?a s
s
!a
!a
?a ?a
s
!a !a
?s
!
?s
! !s ?s
?s
!
Операцию параллельной композиции (рис. 4) обозначают симво-
лом «
».
Рис. 4.
Параллельная композиция тайлов
Параллельная композиция двух тайлов
и
возможна только при
условии параллельного выполнения соответственно пар восприятий
?a
o
,
?a
i
, реакций
!a
o
,
!a
i
, начальных конфигураций
?s
i
,
?s
i
,
конеч-
ных конфигураций
!s
o
,
!s
o
.
Параллельную композицию двух секвентов
и
представляют
правилом
:
:
:
,
.
i
i
i
i
i
o
i
o
o
o
i
i
o
o
o
o
?a
?a s
s
!a
!a
?a ?a
s
s
!a !a
?s
!
?s
!
?s ?s
!
!
Та или иная логика тайлов получается в результате введения мно-
жества базовых тайлов и некоторой совокупности вспомогательных
тайлов, над которыми могут совершаться введенные выше операции,
приводящие к различным преобразованиям
тайлов, в частности, в целях доказательства
свойств интеллектуальных интерфейсов.
Принципы секвентного описания
поведения взаимодействующих агентов.
Для демонстрации принципов секвентного
описания поведения взаимодействующих
агентов воспользуемся простой архитекту-
рой, состоящей из агента-руководителя и
двух агентов-исполнителей (рис. 5), кото-
рые назовем руководителем и исполните-
Рис. 5.
Простая архитек-
тура, состоящая из руко-
водителя и исполнителей