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