ГОСТ Р ИСО 13584-42—2012
Дополнительные пояснения:
1Р1: все ограничения, представленные идентификаторами constraint_identifiers в наборе referenced_
constraints, должны соответствовать требованиям ограничений свойств property_constraints. наложенных
на одно из ссылочных свойств referenced_properties в одном из рассматриваемых ссылочных классов ге-
ferenced_classes. Такие ограничения не могут быть представлены (в том же наборе ссылочных ограничений
referenced_constraint) одновременно и как ограничение свойства property_constraint, и как идентификатор
ограничения constraint_identifier.
П р и м е ч а н и е 8 — Ограничение, представленное как ограничение свойства property_constraint в од
ном из ссылочных классов referenced_classes. может быть представлено в наборе ссылочных ограничений
referenced_constraints либо какограничение свойства property_constraint. либо как идентификатор ограничения
constraintjdentifier.
IP2: все ограничения, представленные идентификатором ограничения constraint_identifier в одном
из рассматриваемых ссылочных классов referenced_classes (с соответствующим ограничением свойства рго-
perty_constraint, наложенным на одно из свойств, импортированных с помощью атрибута referenced_prop-
erties), должны быть представлены идентификатором ограничения constraintjdentifier в наборе ссылочных
ограничений referenced_constraints.
П р и м е ч а н и е 9—Эти два неформальных правилагарантируют, что рассматриваемый наборссылочных
ограничений referenced_constraints является объединением наборов ограничений свойств property_constraint.
определенных в различных ссылочных классах referenced_classes с ограниченными свойствами constrained_
property, принадлежащими набору ссылочных свойств referenced_properties. даже если контекст обмена не со
держит определений всех классов, привлеченных к априорномусемантическому соотношению a_priori_semantic_
relationship, и если некоторые ограничения представлены только их идентификаторами constraintjdentifier.
F.6.2.2 Условный класс предметов (ltem_class_case_of)
Сущность item_class_case_of дает описание класса предметов, определенного как условную комбинацию
некоторых других классов предметов.
П р и м е ч а н и е 1— Сущность item_class_case_of определяет априорное семантическое соотношение.
Пример представления на языке EXPRESS:
*)
ENTITY item_class_case_of
SUBTYPE OF(item_dass. a_priori_semantic_relationship);
is_case_of: SET [1:?JOF class_BSU;
imporled_properties: LIST [0:?] OF propertyJJSU;
importedjypes; SET [0:?]OF dataJype_BSU;
importedJables: SET [0:?] OF table_BSU:
imported_documents: SET [0:?] OF document_BSU:
imported_constraints: SET [0:?JOF constraint_or_constraintJd:
DERIVE
SELF\a_priori_semantic_relationship.referenced_classes:
SET [1:?J OF class_BSU:= SELF.is_case_of:
SELF\a_priori_semantic_relationship.referenced_properties:
LIST [0:?] OF property_BSU:= SELF.imported_properties;
SELF\a_priori_semantic_reIationship.referenced_dataJypes:
SET [0:?] OF data_type_BSU:= SELF.importedjypes;
SELF\a_priori_semantic_relationship.referencedJables:
SET [0:?] OF tableJ3SU:= SELF.importedJables;
SELF\a_priori_semantic_relationship.referenced_documents:
SET [0:?] OF document_BSU:= SELF.imported_documents;
SELF\a_priori_semantic_relationship.referenced_constraints:
SET [0:?] OF property_constraint
:= SELF.imported_constraints;
WHERE
WR1: superdass_of Jtem_is_item(SELF);
WR2; checkJs_case_of_referenced_classes_definitk>n(SELF):
WR3; QUERY(p <* SELF\dass.sub_class_properties
I NOT((p IN SELF.descnbed_by)
OR (p IN SELF.imported_properties))) = (];
WR4: QUERY(p <* SELF\dass.sub_class_properties
I (p IN SELF.imported_properties)
AND (QUERY(cl<’SELF.is_case_of
I all_dass_descriptions_reachable<d) AND
147