19 / 23
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. «Приборостроение». 2016. № 3
83
живание к серверу задержек или нет. Пример архитектуры клиент-
серверной системы
S
верхнего уровня представлен на рис. 6,
а
.
Согласно приведенным выше определениям, для клиент-серверной
системы первого уровня, представленной на рис. 6,
б
, имеем
P ={Г, ГС, СС, СЗ}
;
L
={
Клиент_в_ГС
,
Клиент_из_ГС
,
Такт, Отказ, Клиент_из_СС
};
I=
{
I
(
ГС
),
I
(
CС
),
I
(
СЗ
)},
o
I
(
Г
)=
,
o
I
(
ГС
)={
Клиент_в_ГС
,
Такт
},
o
I
(
CС
)={
Клиент_из_ГС
,
Клиент_из_СС
},
o
I
(
СЗ
)={
Такт, Отказ
};
O
={
O
(
Г
),
O
(
ГС
),
O
(
СЗ
)},
o
O
(
Г
)={
Клиент_в_ГС
,
Такт
},
o
O
(
ГС
)={
Клиент_из_ГС, Отказ
},
o
O
(
CС
)=
,
o
O
(
СЗ
)
=
{
Клиент_из_СЗ
}.
Пример архитектуры второго уровня для главного сервера, пред-
ставленного на рис. 6,
а
, показан на рис. 6,
б
.
Для архитектуры главного сервера (см. рис. 6,
б
) будем иметь
P
(
ГС
)={
С, K
};
L
(
ГС
)={
Старт
,
Конец
,
Удалить
);
I
(
ГС
)={
I
(
C
),
I
(
К
)},
o
I
(
C
)={
Клиент_в_ГС
,
Конец
}
o
I
(
К
)={
Такт
,
Старт
,
Удалить
};
O
(
ГС
)={
O
(
C
),
O
(
К
)},
o
O
(
C
)={
Клиент_из_ГС
,
Отказ
}
o
O
(
К
)={
Конец
};
ei
(
ГС
)=
I
(
ГС
)={
Клиент_в_ГС
,
Такт
};
eo
(
ГС
)=
O
(
ГС
)={
Клиент_в_ГС, Отказ
}.
Для простоты тайлы будем именовать индексированными именами
процессов, конфигурации тайлов обозначим подмножествами их кана-
лов, а действия над ними по помещению и получению конкретных со-
общений в каналы, — подмножествами имен каналов с указанием дей-
ствий поместить (
put
) или получить (
receive
), совершаемых над ними.
Множество тайлов, задающих локальное поведение процессов пер-
вого уровня системы
S
, показано на рис. 7,
а
.
Композиция тайлов, задающая общее поведение процессов первого
уровня системы
S
, приведена на рис. 7,
б
.