ГОСТ Р 52292—2004
На уровне представления реализация ЭлД выглядит как набор атрибутов: содержимое плюс сервисные
атрибуты уровня представления. Само содержимое является элементом данных (уровня представления) и ничем не
отличается от других атрибутов, т. е. содержимое является атрибутом ЭлД уровня представления.
Следовательно, формат ЭлД следует определять только на уровне представления — форматы реализаций
нижележащих уровней получаются из формата реализации ЭлД на уровне представления на основе формальных
преобразований.
Формат ЭлД (следовательно, форматы и последовательность его атрибутов) определяется его типом и не
зависит от его содержания.
Б.10 Подраздел 7.1
Активизированный электронный документ является динамическим процессом последовательных преобразо
ваний некоторого множества сигналов.
Цифровая среда является средой описания логики обработки данных, алгоритмов этой обработки.
Время в логике моделируется как последовательность. Таким образом, последовательность состояний и
переходы между ними моделируют динамический процесс как зафиксированные начальную и конечную точки
некоторой фазы процесса.
Иначе говоря, алгоритм является точным предписанием, определяющим вычислительный процесс (последо
вательность преобразования данных), который ведет от варьируемых начальных (входных) данных к конечному
результату (выходным данным).
Таким образом, алгоритмы (и протоколы) формально описывают динамические реализации. Иначе говоря,
алгоритм — логическая модель динамической реализации в цифровой среде.
Любой протокол моделируется конечным автоматом. Следовательно, для динамической реализации ЭлД
определено состояние и допустимые переходы.
Б.11 Подраздел 7.2
Т р е б о в а н и я к о б р а б о т к е
Требование фиксированности документа порождает формализованные требования сохранения некоторого
инварианта для каждого отдельного преобразования (алгоритма) и. следовательно, сохранения этого инварианта
для всей последовательности преобразований ЭлД. Фиксированнссть отдельной реализации может иметь только
технологический смысл — ЭлД есть множество объектов (реализаций), и его мгновенное состояние есть объеди
нение состояний всех текущих объектов этого множества (в т. ч. динамических реализаций, описываемых протоко
лами). Фиксированность документа означает, что для всех состояний этого множества сохраняется инвариант.
(Атрибуты защиты предназначены, в частности, для проверки сохранения инварианта).
Для реализации ЭлД определены состояние (набор значений атрибутов) и поведение (правила преобразова
ний этих значений). Таким образом, имея одну реализацию, можно вычислитьдопустимые последующие реализа
ции. Тем самым обеспечивается вычислимое преобразование любой реализации ЭлД в любую последующую.
12