ГОСТ Р ИСО 10303-54—2011
4.4.7 Объект complete_membership_of_non_empty_set
Объектcomplete_membership_of_non_empty_set(полноечленствонепустогомножества) — это
такой подтип объекта complete_mombership, для которого множество, играющее роль атрибута
containing_set. не является пустым.
EXPRESS-спецификация:
*)
ENTITY complete_membership_of_non_empty_set
SUBTYPE OF (complete_membership);
members:SET[1:?] OF complete_membership_select:
END_TYPE;
r
Определение атрибута:
members: члены множества, играющего рольатрибута containing_set.
4.5 Определение ограничений подтипов схемы classification_schema
4.5.1 Ограничение на подтипы classification_or_complete_membership
Ограничение на подтипы classification_or_complete_membership специфицирует то. что экзем
пляр объекта classification_assignmentдолжен или задавать некоторое количество элементов класса
без утверждения о его полноте, или все элементы класса с утверждением о полноте.
EXPRESS-спецификация:
*)
SUBTYPE_CONSTRAINT classification_or_complete_membership FOR
classification_assignment;
ONEOF (classification. complete_membership);
END_SUBTYPE_CONSTRAINT;
r
*)
END_SCHEMA: - - classification_schema
Г
5 Схема теории множеств
Далее представлен фрагмент EXPRESS-спецификации. с которого начинается описание схемы
set_theory_schema. В нем определены необходимые внешние ссылки.
EXPRESS-спеииФикаиия:
*>
SCHEMA set_theory_schema;
REFERENCE FROM classification_schema - - ISO 10303-41
(class);
REFERENCE FROM support_resource_schema - - ISO 10303-41
(identifier, label, text);
Г
П р и м е ч а н и я
1 Схемы, ссылки на которыеданы выше, можно найти в следующих стандартах комплекса ИСО 10303:
classification_schema в ИСО 10303-41;
support_resource_schema в ИСО 10303-41.
2 Графическое представление данных схем приведено на рисунках D.1 и 0.2 приложения О.
6