8 / 17
Рис. 3. Декомпозиция информационного графа программы на граф алгоритма
арифметико-логической обработки данных примитивного типа
G
AI
(
а
) и ин-
формационный граф алгоритма обработки структур данных
G
AS
(
б
):
— передача данных другому процессу;
— получение данных от другого
процесса;
— данные примитивного типа;
— структуры данных;
— тег
(примитивный тип);
— временн ´ые данные примитивного типа (СП)
По аналогии также должны быть удалены все вершины графа
Y
S
,
представляющие собой отображение структур данных на множество
вершин. Определим критерии, позволяющие отличить указанные типы
вершин графа от остальных.
Критерий 1.
Вершина информационного графа алгоритма
y
i
∈
Y
является отображением структуры данных
d
i
на множество вер-
шин данных
Y
S
тогда и только тогда, когда
d
i
= (
DE
i
, R
i
)
, при-
чем
|
DE
i
|
>
1
,
|
R
i
|
>
0
, или более формально:
y
i
∈
Y
S
:
y
i
↔
d
i
,
d
i
= (
DE
i
, R
i
)
,
|
DE
i
|
>
1
,
|
R
i
|
>
0
.
Критерий 2.
Вершина информационного графа алгоритма
x
i
∈
X
принадлежит множеству вершин-операторов
X
S
, отвечающих за об-
работку структур данных, тогда и только тогда, когда хотя бы одна
из смежных ей вершин принадлежит множеству вершин
Y
S
, т.е. на
вход оператора, соответствующего
x
i
, должна подаваться хотя бы од-
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2016. № 1 119