ГОСТ Р 55346—2012
4.3.281 Прикладной компонент single_cardinality
Прикладной компонент single_cardinality определяет единственное целое число, представляющее
численное ограничительное условие.
EXPRESS-олисание:
*>
ENTITY single_cardinalityyy;
defined_value: single_cardinality_select;
END_ENTITY;
(*
Определение атрибута:
Атрибут defined_value: Этот атрибут определяет численное ограничительное условие.
4.3.282 Прикладной компонент specific_requirement_allocation_relationship
Прикладной компонент specific_requirement_allocation_relationship принадлежит к тому же типу,
что и прикладной компонент requirement_allocation_relationship и служит в качестве способа распре
деления или отслеживания прикладного компонента requirementjnstance для элемента, который не
может быть неоднозначно идентифицирован в функциональной структуре разделения, например при
кладного компонента fsm_generic_state или cb_place.
Примечание 1 — Метод идентификации элементов в указанной структуре предназначен для иден
тификации прикладного компонента functionality_inslance_reference. наиболее близкого в структуре разделения к
прикладному компоненту fsm_generic_state или cb_place (посредством атрибута related_to). а также для специаль
ной идентификации отслеживаемого объекта (посредством атрибута specific_element).
Примечание 2 — Втехслучаях, когда прикладной компонент specific_requirement_allocation_relationship
указывает на отношение к прикладному компоненту fsm_generic_state. атрибут related_to должен идентифициро
вать прикладной компонент fsmjnodel. который определяется контекстом автомата с конечным числом состояний.
Примечание 3 — В тех случаях, когда прикладной компонент specific_requirement_a8ocation_relationship
указывает на требование, относящееся к прикладному компоненту cb_place. атрибут related_to должен идентифи
цировать прикладной компонент functionalcty_inslance_reference. который, в свою очередь, идентифицирует при
кладной компонент composite_function_definitkjn (посредством прикладного компонента functionjnstance), который
ограничивается прикладным компонентом functkHial_behavkxjr_model. Прикладной компонент cb_place, идентифи
цируемый с помощью атрибута specific_element. является элементом.
EXPRESS-описание:
*)
ENTITY specific_requirement_allocation_relationship
SUBTYPE OF (requiremcnt_allocation_relationship);
specific_element: specific_element_select,
WHERE
WR1:SYSTEMS_ENGINEERING_DATA_REPRESENTATION.FUNCTIONALITY_INSTANCE_
REFERENCE’ IN TYPEOF(SELR requirement_allocation_relationship.relation_to);
END_ENTITY;
Г
Определение атрибута:
Атрибут specific_element: Этот атрибут определяет компонент, чье требование распределяется
посредством прикладного компонента specific_requirement_allocation_relationship.
Формальные выражения:
WR1:
4.3.283 Прикладной компонент specification_state_assignment
Прикладной компонент specification_state_assignment определяет способ присвоения прикладно
го компонента textual_spedficatron прикладному компоненту fsm_state, при котором спецификация при
меняется с помощью данного присвоения.
EXPRESS-описание:
*>
ENTITY specification_state_assignment;
assigned_to: fsm_state;
147