ГОСТ Р 55346—2012
UNIQUE
UR1: index. system_view;
END_ENTITY;
C
Определения атрибутов
Атрибут index: Этот атрибут определяет идентификатор для представления прикладного компо
нента requirementjnstance, идентифицируемого с помощью атрибута requirement, который наследуется
из прикладного компонента requirement_system„v»ew_assignment в контексте прикладного компонента
system_view. определяемого с помощью атрибута system_view.
Пример 28 — Индекс для конкретного, например, присвоенного требования не должен
быть дочерним в структуре требований, может быть равным 5 и указывать на то, что
идентифицированный с помощью атрибута requirement (наследуемый из прикладного ком•
понента requirement_system_view_assignment) прикладной компонент requirem entjnstance
будет пятым требованием к прикладному компоненту system_view, идентифицированно му
с помощью атрибута system_view (подобно наследуемому из прикладного компонента
requirement_system_view_assignment).
Примечание — Индексация является способом представления идентификатора, часто используемого
для идентификации требования в средствах управления изменениями. В настоящем стандарте данный идентифи
катор формируется поэтапно, по одному этапув каждый момент времени для каждого уровня в составе. Например,
при использовании цифровой индексации и конкретного атрибута child_requirement. являющегося третьим всоста ве
и определенным с помощью атрибута system_view. индекс атрибута должен быть равен «3».
Последующее разделение требования должно в каждый момент времени добавлять информацию
на одну позицию индекса. Например, если основное требование разделяется на четыре частичных тре
бования. то последние могут снабжаться индексами 1..4 с использованием атрибута index прикладного
компонента requirement_composition_relationship.
Индекс требования в составной структуре требований реконструируется путем включения атри
бутов index обнаруживаемого прикладного компонента requirement_composition_relationship при пере
мещении разделенного требования от наивысшего требования к наиниэшему.
Формальные выражения:
UR1:
4.3.280 Прикладной компонент selection_package
Прикладной компонент selection_package принадлежит к тому же типу, что и прикладной компо
нент package, с дискриминатором того, что ряд элементов, который может быть выбран из прикладного
компонента package для конкретной системы, является ограниченным.
Примечание 1 — Атрибут setectionjyреопределяет семантикуприкпадногокомпонента5е1ес1юп_раскадв.
Примечание 2 — Прикладной компонент selection_package предоставляет спецификацию на ограни
чительные условия, в которых только один из элементов может выбираться из элементов, содержащихся в при
кладном компоненте package.
EXPRESS-описание:
*>
ENTITY selection_package
SUBTYPE OF (package);
selection_type : label:
END_ENTITY;
C
Определения атрибутов:
Атрибут se!ection_type: Этот атрибут определяет выбранное ограничительное условие. Там. где
это применимо, должны использоваться следующие состояния (значения) этого атрибута:
- Состояние and: Один элемент в прикладном компоненте package может выбираться для кон
кретной системы.
- Состояние or: Любое число элементов в прикладном компоненте package может выбираться
для конкретной системы.
146