ГОСТ Р ИСО/ТС 10303-1233—2014
П р и м е ч а н и е-Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой
расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в
прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-слецификация:
*)
TYPE requiremer.t_source_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
(*
5.2.2 Определение объектов ИММ
В настоящем пункте определены объекты ИММ для прикладного модуля, рассматриваемого в
настоящем стандарте. Ниже специфицированы объекты ИММ и их определения.
5.2.2.1 Объект assigned_requirement
Объект assigned_requirement является таким подтипом объекта group_assignment, с
помощью которого обозначается связь между заданием требования и определением изделия,
представленным объектом product_definition.
EXPRESS-слецификация:
*)
ENTITY assigned_requirement
SUBTYPE OF (group_assigr.ment);
SELF\group_assignment.assigned_group : requirement_assignment;
items : SET[1:1I OF product_definition;
END_ENTITY;
(*
Определения атрибутов
assigned_group - представленное объектом requirement_assignment требо-вание. которое
задается посредством объекта assigned_requirement;
items - объект product_dofinition, представляющий определение изделия, для которого
посредством объекта assigned_requirement задаются требования.
5.2 2.2 Объект requirement_assigned_object
Объект requirement_assigned_objoct - это такой подтип объекта group_ assignment.
посредством которого обозначается связь между заданием требования и объектами, к которым эти
требования применяются.
EXPRESS-спецификация:
ENTITY requiremer.t_assigr.ed_object
SUBTYPE OF (group_assigr.ment);
SELF\group_assignment.assigned_group : requirement_assigr.ment;
items : SET[1:1] OF requirement_assigned_item;
END_ENTITY;
(*
Определения атрибутов
assigned_group - объект requirement_assignment, представляющий требование, которое
задается с помощью объекта requirement_assigned_object:
items - объект, для которого с помощью объекта requirement_assigned_object задаются
требования.
5.2.2.3 Объект requirement_assignment
Объектroquirement_assignmontявляетсятакимподтипомобъектовgroupи
characterized_object, который обеспечивает задание требования другому объекту.
11