ГОСТ Р ИСО/МЭК 15408-3-2013
данных, диаграммы переходных состояний, диаграммы вида «объекты-отношения»,
схемы представления структур данных, процессов или программ). Независимо от
того, основывается ли представление на диаграммах и схемах или на средствах
естественного языка, при его составлении необходимо соблюдение определенных
правил. Приводимый глоссарий должен содержать полные, подробные, точные и
однозначные определения использованных в документе слов и словосочетаний;
стандартизованнаяструктурадокументадолжнаподразумевать,чтопри
методологическом составлении документа особое внимание было уделено тому,
чтобы он был максимально понятен. Следует отметить, что совершенно разные
частиФБОмогутописыватьсясиспользованиемразличныхправил
полуформального стиля изложения, касающихся оформления и систем обозначений
(по крайней мере, пока количество различных полуформальных систем обозначений
невелико), это не противоречит принципам полуформального изложения.
Формальнуюспецификациюизлагаютсиспользованиемобозначений,
основанных на известных математических понятиях, и обычно сопровождают
вспомогательным пояснительным (неформальным) текстом. Эти математические
понятияиспользуются дляопределениясинтаксисаи семантикисистемы
обозначений и правил доказательства, поддерживающих логическое обоснование.
Следует, чтобы в синтаксических и семантических правилах, регламентирующих
формальную нотацию, определялось, как однозначно распознавать конструкции и
определять их значение. Требуется свидетельство невозможности получения
противоречивых выводов, а все правила, регламентирующие систему обозначений,
необходимо определить или на них необходимо ссылаться.
На рисунке 11 показаны семейства данного класса и иерархия компонентов в
семействах.
79