Hnd_SearchText = (searchText,
λ
search - text
).Hnd_SearchText;
Hnd_Search = (search,
λ
search
).Hnd_Search;
SearchDef
= (
N
1
Search
L
1
Search . . . Search
)
,
где
L
1
=
{
beginSearch, lockR, prepareResult, endSearch, unlockR
}
,
SearchT extDef
= (
N
1
SearchT ext
L
2
SearchT ext . . . Search T ext
)
,
где
L
2
=
{
beginSearch, lockR, prepareResult, endSearch, unlockR
}
.
Уравнение системы
Sys
= (
N
c
ln
t
Client
||
...
||
Client
)
L
3
(
(
N
par
SearchT extDef
||
. . .
||
SearchT extDef
)
⇒
⇒ ||
(
N
par
SearchT ext
||
. . .
||
SearchT ext
)
||
(
N
par
Clear
||
. . .
||
Clear
)
||
(
N
par
AddT rQueue
||
. . .
||
AddT rQueue
)
||
(
N
par
Add
||
. . .
||
Add
)
||
(
N
par
Change
||
. . .
||
Change
)
||
(
N
par
Del
||
. . .
||
Del
)
||
(
N
par
2
Hnd
_
SearchT ext
||
. . .
||
HndSearchT ext
)
⇒
⇒ ||
(
N
par
2
Hnd
_
Search
||
. . .
||
HndSearch
))
L
4
Sem
)
L
3
=
⎧⎪⎪⎨
⎪⎪⎩
beginSearch, beginSearchT ext, beginLock, beginAdd,
beginChange, beginDel, beginAddT rQueue,
endSearch, endSearchT ext, endLock, endAdd, endChange,
endDel, endAddT rQueue.
⎫⎪⎪⎪⎬
⎪⎪⎭
Полученная модель описывает верхний уровень представления,
включающий в себя внутренние алгоритмы обработки на концептуаль-
ном уровне. Возможна дальнейшая детализация модели. Модель по-
зволяет оценить как предельные характеристики производительности
ИС по каждому типу запросов, так и их влияние на общую произво-
дительность. Главный недостаток такой модели — сложность решения
марковской цепи, полученной на ее основе, поскольку ее размерность
будет достаточно большой.
Моделиподсистем сервера СУБД.
Для устранения проблем раз-
мерности в ряде случаев применимо моделирование отдельных под-
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 3 105