ГОСТ Р ИСО/ТС 10303-1111-2013
EXPRESS-спецификация:
*>
RULE restrict_group_relationship_for_classification_hierarchy FOR
(group_relationship);
WHERE
WR1: SIZEOF( QUERY(gr <* group_relationship |
(gr\group_relationship.name = ’class hierarchy’) AND
{NOT(’CLASSIFICATION_WITH_ATTRIBUTES_MIM.CLASS’ IN
TYPEOF(gr\group_relationship.related_group)) OR
NOT(’CLASSIFICATION_WITH_ATTRIBUTES_MIM.CLASS’ IN
TYPEOF(gr\group_relationship.relating_group))) )) = 0;
END_RULE;
(*
Определение аргумента
group relationship - множество всех экземпляров объекта group_relationship.
Формальное утверждение
WR1 - не должно существовать ни одного экземпляра объекта group_relationship,
родительский или дочерний элемент которого не связан с экземпляром объекта class.
*)
END_SCHEMA; -- Classification_with_attributes_mim
(*
35