ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
55
яния, отображающих входную переменную
x
в выходную перемен-
ную
y
(
y = f
Оk
(
x
),
f
Оk
(
x
)
∈
O
)
и переменную
x
в модель
F
(
f
cur
= f
Sk
(
x
),
f
Sk
(
x
)
∈
F
).
При данном представлении нет причин жестко привязывать
функции состояния к уникальным переменным, как в модели конеч-
ного автомата. Переменные для каждой функции состояния могут
быть уникальными. Таким образом, переменные могут привязываться
исключительно к функции состояния.
С учетом изложенного выше можно ввести понятие «процесс».
Процесс
—
полиморфная функция, совокупность альтернативных
функций состояния,
представляемых в программе как единая неде-
лимая сущность. При вызове этого процесса
выполняется только од-
на из составляющих его функций состояния — текущая функция со-
стояние. Дополнительно к этому любой процесс снабжен индивиду-
альными часами — счетчиком времени, который работает постоянно
и обнуляется только при смене текущей функции состояния.
Следовательно, процесс
p
i
задается четверкой элементов [2],
ко-
торые отражают статическую и динамическую информацию о про-
цессе:
p
i
=
(
F
i
,
1
,
i
f
f
i cur
,
),
p
i
T
где
F
i
—
множество функций состояния процесса
(
как активных, так
и пассивных);
1
i
f
—
начальная функция состояния (активная функ-
ция),
1
i
f
∈
F
i
;
f
i cur
—
текущая функция состояния,
f
i cur
∈
F
i
;
p
i
T
—
те-
кущее время нахождения процесса в текущей функции состояния,
или текущее время отсутствия переходов.
Статика процесса определяется элементами
F
i
и
1
,
i
f
причем для
рассмотрения процесса в динамике дополнительно могут использо-
ваться элементы
f
i cur
и
.
p
i
T
Функция-состояние. События и реакция на событие.
В свою
очередь,
j
-
я функция состояния произвольного
i
-
го процесса описы-
вается парой элементов:
(
)
,
,
j
j
j
i
i
i
f
X Y
=
где
{
}
, ...,
j
jl
jL
i
i
i
X x
x
=
—
множество событий
{
}
;
, ...,
j
j
jl
jL
i
i
i
i
f Y y
y
=
—
множество реакций
f
i
j
.
В качестве события функции состояния может рассматриваться
произвольная суперпозиция фактов: значение текущей функции со-
стояния некоторого процесса; некоторое определенное значение пе-
ременной; некоторое определенное значение текущего времени от-
сутствия переходов процесса (в виде оператора
timeout
).
Реакция
—
произвольная суперпозиция действий по изменению
значений переменных и текущих функций состояния процессов,
определяемая на основе событий текущей функции.