ГОСТ Р ИСО/ТС 10303-1111-2013
Определение аргумента
aia - экземпляр объекта applied_classification_assignment. правильность которого
проверяется.
5.2.4 Определение правил ИММ
В данном пункте определены правила ИММ прикладного модуля «Классификация с
помощью атрибутов».
5.2.4.1 Правило restrict_classification_assignments
Правило restrict,classification assignments обеспечивает правильность экземпляров
объекта applied classification, assignment, которые задают объект characterized _class
или class_system.
EXPRESS-спеииФикаиия:
*>
RULE restrict_classification_assignments FOR
(applied_classification_assignment);
WHERE
WR1: SI2EOF(QUERY(aia <* applied_classification_assignment |NOT
class_assignment_is_valid(aia)))=0;
END_RULE;
(*
Определение аргумента
applied_classification_assignment-множествовсехэкземпляровобъекта
applied_classification_assignment.
Формальное утверждение
WR1 -не должно существовать ни одного экземпляра объекта applied_
classification assignment, задание которого является неправильным.
5.2.4.2 Правило restrict_group_relationship_for_classification_hierarchy
Правилоrestrict_group_relationship_for_classification hierarchyобеспечивает
существование экземпляров объекта class для родительского и дочернего элементов
классификационной иерархии.
34