ГОСТ Р 59794— 2021
Рисунок F.5 — Утверждения о требующемся мосте
Эти утверждения могут быть преобразованы в определение класса, который является членом класса
«1-я версия требующегося моста в точке Р». Это делается при помощи конструкции owLRestriction средствами
OWL.
Запись утверждений — это более простой и естественный способ. Однако классам «функциональные тре
бования» могут быть присвоены обозначения (идентификаторы), и они могут быть использованы в качестве спе
цификации требующихся мостов для более чем одной версии.
F.3.2 Информационное содержание, определяющее функциональные требования
Определение класса «функциональные требования» может быть выполнено посредством представляющего
информационное содержание класса information content. Информационное содержание может быть доступным:
- для прочтения человеком файлом MS Word:
- программной обработки файлом TURTLE.
Это показано на рисунке F.6.
53