2.
Конструкция
“
следование
”
подразумевает последовательное вы
-
полнение операций обработки данных
.
Моделью конструкции является
кусок управляющего графа
G
1
(
X
1
, U
1
) =
Ch
(
x
k
, x
k
+
n
)
,
где
Ch
—
про
-
стая цепь
,
в которой
x
k
—
вершина начала конструкции следования
,
а
x
k
+
n
—
вершина конца конструкции следования
(
см
.
рисунок
,
г
),
т
.
е
.
подмножество внешних ребер куска
G
1
(
X
1
, U
1
)
−
U
1
i,j
=
{
u
(
∅
, x
k
)
,
u
(
x
k
+
n
,
∅
)
}
.
Формальными признаками данной конструкции являются
P
(
X
1
) =
S
(
X
1
) = 1
,
(2
а
)
(
∀
x
l
∈
X
1
)(
p
(
x
l
) =
s
(
x
l
) = 1&
t
(
x
l
) =
“
обработка данных
”
)
,
(2
б
)
где
P
(
X
1
)
, S
(
X
1
)
—
полустепени исхода и захода куска
G
1
(
X
1
, U
1
)
;
p
(
x
l
)
,
s
(
x
l
)
—
полустепени исхода и захода вершины
x
l
,
t
(
x
k
)
—
тип
k
-
й вершины
.
3.
Конструкция
“
ветвление
”
подразумевает выполнение операций
вычисления условия
,
ветвления потоков управления
,
обработки дан
-
ных и слияния потоков управления
.
Моделью конструкции является ку
-
сокуправляющего графа
G
2
(
X
2
, U
2
)
(
см
.
рисунок
,
д
).
Подмножество внешних ребер куска
G
2
(
X
2
, U
2
)
−
U
2
i,j
=
{
u
(
∅
, x
k
)
,
u
(
x
k
+4
,
∅
)
}
,
где
x
k
—
вершина начала конструкции ветвления
,
x
k
+4
—
вершина конца конструкции ветвления
.
Формальные признаки данной конструкции
:
P
(
X
2
) =
S
(
X
2
) = 1
,
(3
а
)
t
(
x
k
) =
“
вычисление условия
”
,
(3
б
)
t
(
x
k
+4
) =
“
слияние
”
,
(3
в
)
(
F
+1
(
x
k
) =
x
k
+1
)&(
t
(
x
k
+1
) =
“
разветвление
”
)
,
(3
г
)
(
F
+1
(
x
k
+1
) =
{
x
k
+2
, x
k
+3
}
)&((
x
k
+2
=
x
f
&
x
k
+3
=
x
h
)
∨
∨
(
x
k
+2
=
x
k
+4
&
x
k
+3
=
x
h
)
∨
(
x
k
+2
=
x
f
&
x
k
+3
=
x
k
+4
))&
&(
t
(
x
h
) =
t
(
x
f
) =
“
обработка данных
”
)
.
(3
д
)
где
P
(
X
2
)
, S
(
X
2
)
—
полустепени исхода и захода куска
G
2
(
X
2
, U
2
)
,
t
(
x
k
)
—
тип
k
-
й вершины
.
Характеристики
(3
а
)–(3
д
)
образуют полный набор формальных
признаков
(
инвариантов
)
данной модели
.
4.
Конструкция
“
цикл
-
пока
”
подразумевает также выполнение опе
-
раций вычисления условия
,
ветвления потоков управления
,
обработ
-
ки данных и слияния потоков управления
,
но в другой последова
-
тельности
.
Моделью конструкции является кусок управляющего гра
-
фа
G
3
(
X
3
, U
3
)
(
см
.
рисунок
,
е
).
Подмножество внешних ребер куска
68 ISSN 0236-3933.
ВестникМГТУ им
.
Н
.
Э
.
Баумана
.
Сер
. “
Приборостроение
”. 2005.
№
3
