Государственный стандарт РФ ГОСТ Р ИСО/МЭК 8631-94 "Информационная технология. Программные конструктивы и условные обозначения для их представления" (принят и введен в действие постановлением Госстандарта России от 10 октября 1994 г. N 242)

Дата введения 1 июля 1995 г.

Введен впервые

Предисловие

Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Госстандарта России.

Введение

Признано, что ограниченного числа определенных конструктивов, сочетаемых надлежащим способом, достаточно для описания любого процесса. Программа считается хорошо структурированной, если она построена из конструктивов, содержащихся в данном стандарте, и следует правилам их взаимодействия.

Программа может быть рассмотрена на нескольких концептуальных уровнях. На любом вышележащем уровне один конструктив может быть представлен как набор конструктивов нижнего уровня.

1. Область применения

Настоящий стандарт посвящен представлению процедурных алгоритмов. Стандарт:

a) определяет основное свойство программных конструктивов;

b) указывает способ объединения конструктивов;

c) устанавливает требования к набору конструктивов;

d) допускает описание различных подмножеств установленных конструктивов.

Графические представления конструктивов приведены в приложении А.

2. Нормативные ссылки

В настоящем стандарте использованы ссылки на следующие стандарты:

ГОСТ 19.005-85 Единая система программной документации. P-схемы алгоритмов и программ. Обозначения условные графические и правила выполнения

ГОСТ 19.701-90 (ИСО 5807-85) Единая система программной документации. Схемы алгоритмов, программ, данных и систем. Обозначения условные и правила выполнения

3. Определение программного конструктива

Программный конструктив состоит из набора одной или более процедурных частей и управляющей части, которая может быть задана неявно.

Каждая процедурная часть состоит из одной или более операций, которые могут исполняться или быть пустыми (нулевыми).

Управляющая часть определяет способ выполнения процедурных частей. Она может состоять из управляющей команды или набора условий. Управляющая часть инициирует или дезактивирует процедурную часть(и) в зависимости от характера управляющей команды или значений условий. Если нет ни управляющей команды, ни условия, то управляющая часть называется неявной.

4. Как объединять конструктивы

Единственным способом, по которому конструктивы могут быть объединены при создании правильно структурированной программы, является замена процедурной части одного конструктива целым конструктивом.

5. Спецификация конструктивов

5.1 Исполняемый конструктив

Данный конструктив содержит одну процедурную часть и неявную управляющую часть, которая определяет, что процедурная часть выполняется только один раз.

5.2 Последовательный конструктив

Данный конструктив содержит две или более процедурные части и неявную управляющую часть, которая определяет, что процедурные части выполняются только один раз в установленном порядке.

5.3 Параллельный конструктив

Данный конструктив состоит из двух или более процедурных частей и управляющей части, которая инициирует данные процедурные части. Выполнение конструктива завершается тогда, когда полностью выполнены все инициированные процедурные части.

5.4. Итерационный конструктив

а) Итерация с входной проверкой

Данный конструктив состоит из процедурной части и управляющей части с одним условием, значение которого определяет, будет ли процедурная часть выполнена один и более раз или вообще не выполнена.

b) Итерация с выходной проверкой

Данный конструктив состоит из процедурной части и управляющей части с одним условием, значение которого определяет, будет ли процедурная часть выполнена более одного раза.

с) Непрерывная итерация

Данный конструктив состоит из процедурной части и управляющей части с неявно заданным условием, которое определяет, что процедурная часть может повторяться неограниченно.

5.5 Условный конструктив

a) Унарно выбирающий

Данный конструктив состоит из единственной процедурной части и управляющей части с одним условием, значение которого определяет, будет или нет процедурная часть выполнена.

b) Бинарно выбирающий

Данный конструктив состоит из двух процедурных частей и управляющей части с одним условием, значение которого определяет, какая из двух процедурных частей выполняется.

c) Выбирающий с взаимоисключением

Данный конструктив состоит из ряда процедурных частей и управляющей части с набором условий, значения которых определяют, какая из процедурных частей выполняется.

d) Выбирающий с взаимовключением

Данный конструктив состоит из ряда процедурных частей и управляющей части с набором условий, значение(я) которых выбирают одну и более (или ни одной) процедурных частей, выполняемых в произвольной последовательности.

6. Прерывание

Помимо прерывания конструктива, определяемого его управляющей частью, выполнение конструктива может быть прервано операцией прерывание, размещаемой в одной или более процедурных частях конструктива. Операция прерывание должна определять, который из конструктивов прерывается. Если выполняется операция прерывание, выполнение определенного конструктива и всех вложенных в него конструктивов немедленно прекращается.

Операция прерывание, которая прерывает параллельный конструктив или конструктив выбирающий с взаимовключением, не определена.

Операция прерывание, которая прерывает внешний конструктив, не соответствует настоящему стандарту.

7. Определение подмножеств

Применение соответствующего подмножества конструктивов, определенных в настоящем стандарте, и их объединение согласно данному стандарту должны быть предусмотрены в соответствии с настоящим стандартом.

Применение конструктива, отличающегося от конструктивов, определенных в настоящем стандарте, но функционально эквивалентного правильному сочетанию конструктивов, определенных в настоящем стандарте, соответствует настоящему стандарту.