Цифровая среда является средой описания логики обработки данных, алгоритмов этой обработки.
Время в логике моделируется как последовательность. Таким образом, последовательность состояний и переходы между ними моделируют динамический процесс как зафиксированные начальную и конечную точки некоторой фазы процесса.
Иначе говоря, алгоритм является точным предписанием, определяющим вычислительный процесс (последовательность преобразования данных), который ведет от варьируемых начальных (входных) данных к конечному результату (выходным данным).
Таким образом, алгоритмы (и протоколы) формально описывают динамические реализации. Иначе говоря, алгоритм - логическая модель динамической реализации в цифровой среде.
Любой протокол моделируется конечным автоматом. Следовательно, для динамической реализации ЭлД определено состояние и допустимые переходы.
Б.11 Подраздел 7.2
Требования к обработке
Требование фиксированности документа порождает формализованные требования сохранения некоторого инварианта для каждого отдельного преобразования (алгоритма) и, следовательно, сохранения этого инварианта для всей последовательности преобразований ЭлД. Фиксированность отдельной реализации может иметь только технологический смысл - ЭлД есть множество объектов (реализаций), и его мгновенное состояние есть объединение состояний всех текущих объектов этого множества (в т.ч. динамических реализаций, описываемых протоколами). Фиксированность документа означает, что для всех состояний этого множества сохраняется инвариант. (Атрибуты защиты предназначены, в частности, для проверки сохранения инварианта).
Для реализации ЭлД определены состояние (набор значений атрибутов) и поведение (правила преобразований этих значений). Таким образом, имея одну реализацию, можно вычислить допустимые последующие реализации. Тем самым обеспечивается вычислимое преобразование любой реализации ЭлД в любую последующую.
АЛФАВИТНЫЙ УКАЗАТЕЛЬ ТЕРМИНОВ
алгоритм | 7.1.2 |
аналоговый | 4.2.2 |
АнД | 4.2.5 |
аналоговая форма документа | 4.2.5 |
атрибут | 6.2.1 |
атрибут сервисный (ЭлД) | 6.2.3 |
атрибут справочный (документа) | 6.2.2 |
атрибуты защиты | 6.2.5 |
бит | 6.1.7 |
ввод данных | 7.2.2 |
воспроизведение ЭлД | 4.3.4 |
входной [прилагательное] | 7.2.4 |
вывод данных | 7.2.5 |
выходной [прилагательное] | 7.2.7 |
данные | 4.2.1 |
данные аналоговые | 4.2.4 |
данные входные | 7.2.3 |
данные выходные | 7.2.6 |
данные дискретные | 4.2.8 |
двоичная цифра | 6.1.7 |
демонстрация документа | 5.2.1 |
дискретный | 4.2.6 |
документ | 4.1.1 |
документ аналоговый | 4.2.5 |
документ дискретный | 4.2.9 |
документ электронный | 4.2.12 |
доступность (документа) | 5.1.2 |
класс документов | 5.2.3 |
класс ЭлД | 6.4.2 |
компоновка | 7.2.10 |
легитимность (документа) | 5.1.4 |
нотация | 6.3.4 |
обмен данными | 7.2.1 |
обработка данных | 7.1.1 |
оцифровка | 7.2.8 |
подэлемент данных | 6.1.4 |
представление дискретное | 4.2.7 |
программа вычислительной машины | 7.1.3 |
протокол (в ВОС) | 7.1.5 |
протокол (взаимодействия) | 7.1.4 |
процесс | 7.1.6 |
разметка [текст] | 6.4.6 |
разметка документа [операция] | 7.2.11 |
разметка описательная | 6.4.7 |
размещение | 7.2.10 |
реализация ЭлД | 4.3.1 |
редактирование (документа) | 7.2.9 |
реквизит документа | 6.2.4 |
сектор действенности документа | 4.1.2 |
сектор действенности реализации ЭлД | 4.3.2 |
сектор действенности ЭлД | 4.3.3 |
символьные данные | 4.2.8 |
синтаксис | 6.3.3 |
содержимое документа | 6.4.4 |
содержимое ЭлД | 6.4.5 |
сохранение | 7.2.12 |
среда аналоговая | 4.2.3 |
среда цифровая | 4.2.11 |
среда электронная | 4.2.10 |
текст | 6.1.8 |
текстовые данные | 6.1.8 |
тип данных | 6.1.6 |
тип данных | 6.1.5 |
тип документа | 5.2.2 |
тип ЭлД | 6.4.1 |
тип элемента данных | 6.1.5 |
фиксированность (документа) | 5.1.1 |
формат (данных) | 6.3.1 |
формат документа | 6.3.2 |
формат ЭлД | 6.4.3 |
форматирование (документа) | 7.2.10 |
хранение (данных) | 7.2.13 |
целостность (документа) | 5.1.3 |
элемент данных | 6.1.1 |
элемент данных простой | 6.1.2 |
элемент данных составной | 6.1.3 |
ЭлД | 4.2.12 |
язык | 6.1.9 |
язык естественный | 6.1.10 |
язык искусственный | 6.1.11 |
язык разметки | 6.4.8 |
Библиография
[1] | ИСО/МЭК 2382-1:1993 Информационная технология. Словарь. Часть 1. Основные термины |
[2] | ИСО/МЭК 2382-5:1999 Информационная технология. Словарь. Часть 5. Представление данных |
[3] | ИСО/МЭК 2382-15:1999 Информационная технология. Словарь. Часть 15. Языки программирования |
[4] | ИСО/МЭК 2382-7:2000 Информационная технология. Словарь. Часть 7. Программирование для цифровых вычислительных машин |
[5] | ИСО/МЭК 2382-26:1993 Информационная технология. Словарь. Часть 26. Взаимосвязь открытых систем |
[6] | ИСО 8613-1:1994 Информационная технология. Текстовые и учрежденческие системы. Архитектура учрежденческих документов (ODA) и формат обмена. Часть 1. Введение и общие принципы |
[7] | ИСО 8879:1986 Обработка информации. Текстовые и учрежденческие системы. Стандартный обобщенный язык разметки (SGML) |
[8] | Р 50.1.031-2001 Рекомендации по стандартизации. Информационные технологии поддержки жизненного цикла продукции. Терминологический словарь. Часть 1. Стадии жизненного цикла продукции |
[9] | ИСО 14662:1997 Информационная технология. Базовая модель Open-EDI |
[10] | ИСО 10746-1:1998 Информационная технология. Взаимосвязь открытых систем. Открытая распределенная обработка. Базовая модель. Часть 1. Основные положения |