ГОСТ Р ИСО 10303-54—2011
П р и м е ч а н и е — Для того чтобы обеспечить уверенность в том. что для объектов, ссылающихся на пус
той расширяемый выбираемый (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, а
прикладных модулях, использующих этот тип данных, требуется его расширение.
Тип данных complete_membershlp_select отображает некоторый предмет, для которого задано
то. чтоон является членом множества, заданного явным перечислением.
EXPRESS-спецификация:
*)
TYPE complete_membership_se(ect =EXTENSIBLE SELECT;
END_TYPE;
(*
4.4Определения объектов схемы classification_schema
4.4.1 Объект class
Класс — это разновидность группы, являющейся множеством.
П р и м е ч а н и я
1 Определение термина «множество» приведено в 3.2.1. В настоящем стандарте термины «множество» и
«класс» являются синонимами.
2 Смысл этого объекта идентичен:
объекту class, специфицированному в ИСО 10303-214 (1]. и
объекту class, специфицированному в ИСО 15926-2 (2).
3 Класс может состоять из всех предметов, обладающих определенным набором свойств. Следовательно, с
классом может быть связана информация, необходимая для определения того, обладает ли предмет этим набором
свойств. Если предмет классифицируется как член такого класса, то может бытьвыведен набор свойств, которыми
обладает такой предмет.
4 Экземпляры этого объекта могут быть составными экземплярами, являющимися одновременно экземпля
рами других объектов, специфицированных в ИСО 10303.
5 Различие между объектами class_by_extenslon и class_by_lntension может быть нечетким Например,
множество изделий,образующих изготовленную партию изделий, может рассматриваться какпервый, так и второй
из упомянутых объектов. Объектный тип class не специфицирован какабстрактный, следовательно, при разработ ке
прикладного протокола или прикладного модуля может быть принято решение игнорировать это различие.
EXPRESS-спецификация:
*)
ENTITY class
SUBTYPE OF (group);
END_TYPE;
(*
4.4.2 Объект class_by_extension
Объект class_by_extonsion (класс, заданный экстенсионально) отображает класс, заданный
явным перечислением всехего элементов.
EXPRESS-спецификация:
*)
ENTITY class_by_extension
SUBTYPE OF (class);
END_TYPE;
(*
4.4.3 Объект class_by_lntension
Объектclass_by_intension (класс, заданный интенсионально)отображает разновидностькласса,
заданного с помощью набора свойств, которыми обладают его элементы. Предмет является членом
множества (класса), если этот предметудовлетворяет всем таким свойствам.
4