ГОСТ Р ИСО/ТС 10303-1111-2013
характеристики)’ и пате со значением ’properly class (класс характеристики)’ и т.д. Возможные
значения ’М1,6’, ’М2’, .... ’М10’ для экземпляра 41 объекта Classification_attribute могут быть
определены как экземпляры подтипа объекта Measure_item. Наименование класса шага резьбы
(’М1,6’, ’М2’ и т.д.) представлено атрибутом пате соответствующих экземпляров объекта
Measurejtem.
4.3.3 Объект Classification_association
Объект Classification association является подтипом объекта Classification,
assignment, который связывает объект Class_with_attributes с данными об изделии или
действии.
EXPRESS-специФикация:
*)
ENTITY Classification_association
SUBTYPE OF (Classification_assignment);
SELF\Classification_assigr.ment.assigned_class :Class_with_attributes;
definitional :LOGICAL;
WHERE
WR1:NOT(definitional = TRUE) OR (SIZEOF(QUERY(it<*
SELF\Classification_assignment.items |
NOT(’CLASSIFICATION_WITH_ATTRIBUTES_ARM.DEFINABLEOBJECTS’ IN
TYPEOF (it)) )) = 0);
WR2: SIZEOF(QUERY(it<* SELF\Classification_assignment.items |
NOT(’CLASSIFICATION_WITH_ATTRIBUTES_ARM.CLASSIFIED_ELEMENT_SELECT’IN
TYPEOF(it)) )) =0;
END_ENTITY;
<*
Определения атрибутов
assigned.class-экземпляробъектаClass.with.attributes.содержащий
информацию о классификации;
definitional-логическоезначение,определяющееявляетсялиобъект
Class.with.attributes определением классифицируемого элемента. Значение ‘true
(истина)’ означает, что объект Class.with attributes является таким определением.
Формальные утверждения
WR1 -если значением атрибута definitional является’true’, то объект
12