ГОСТ Р ИСО/МЭК 10165-6-2003
М.4 Условные утверждения
Условия в таблицах относятся к обозначениям (уп), таким как yl, у2 и т.д., где «я» — уникальное целое число, а за меткой условия следует двоеточие «:». За условием должен следовать предикат (if then else). Например:
yl: if предикат then о else —
В данном случае если предикат имеет значение «истина», статусом является то, что следует за «then» (в данном случае «о»); если предикат имеет значение «ложь», статусом является то, что следует за «else» (в данном случае «—»).
Предикатом может быть одно из следующих:
а) явная ссылка на ответ об обеспечении (в колонке «Обеспечение»); если ответ «Д», то предикат равен «истина», иначе — «ложь»;
б) булевское выражение, содержащее другие предикаты, например р1 AND NOT р2.
Условия могут находиться в начале формы ЗСУО, если используются по всему тексту. В таком случае рекомендуется следующая форма:
х.х Обозначения, сокращения и термины
Следующие требования являются общими во всей форме ЗСУО:
у1: if А/10а then о else —
у2: if В/3 then о else —
Если условия используются только в одной таблице, то они располагаются в конце ее. Например:
|
Таблица М.5 — Пример условий |
|
Индекс |
Статус |
Обеспечение |
|
1 |
у1 |
|
|
2 |
у2 |
|
|
у1: if D/Юа then о else — у2: if В/3 then о else — |
|
Примечание 1 — Если в колонке статуса «у», «о», «ф» или «х» имеют префикс «у:», то это означает, что статус является вложенным для условного или факультативного элемента в той же самой таблице. Например:
|
ТаблицаМ.6 — Пример вложенных условий |
|
Индекс |
Статус |
|
1 |
ф |
|
1.1 |
у : о |
|
1.2 |
у : ф |
|
1.2.1 |
у : ф |
|
Примечание2 — В колонке статуса «ф» может иметь суффикс «. я» (где «я» — уникальное целое число) для взаимоисключающих или выборочных возможностей из набора значений статуса. Требования для этого перенумерованного набора должны быть установлены явно, желательно в сноске к той же самой таблице. Например, в следующей таблице описан набор взаимосвязанных возможностей:
|
ТаблицаМ.7 — Пример группы взаимосвязанных возможностей |
|
Индекс |
Статус |
|
1 |
ф.5 |
|
2 |
ф.5 |
|
3 |
ф.5 |
|
4 |
ф.5 |
|
ф.5: должна обеспечиваться по крайней мере одна из возможностей |
|
27