ГОСТ Р ИСО 10303-203-2003
Формальное утверждение
WR1
— на каждый экземпляр объекта namedunit должна быть дана ссылка из атрибута другого
объекта.
5
.
2
.
5
.
54
Прашю dependent
_
lnstantiabte_representaiion_item
Правило dependentinstantiablerepresentationitem определяет, что все экземпляры объекта
representationjtem зависят от использования определений других объектов.
EXFRESS-специфнкаиия
*)
RULE dependent_instantiable_representation_item FOR (represeniationjtem);
WHERE
WR1: SIZEOF (QUERY (ri <• representationjtem |
NOT (SIZEOF (USEDIN (ri, ’ ’)) >= 1 ))) = 0;
END_RULE;
Г
Описание аргумента
representationjtem —идентифицирует набор всех экземпляров объектов representationjtem.
Формальное утверждение
WRI — на каждый экземпляр объекта representationjtem должна быть дана ссылка из атрибута
другого объекта.
5
.
2
.
5
.
55
Upaeiuo dependent_instantiable_dareJime_role
Правило dependentJnstantiable_dateJime_role устанавливает, что все экземпляры объектов
da(e_lime_roIc зависят от определения других объектов.
EXPRESS-спеиифнкаиия
5
•>
RULE dependentJnstantiable_date_nme_ role FOR (date_time_nole);
WHERE
WRI: SIZEOF (QUERY (dtr <♦ datejim ejole |
NOT (SIZEOF (USEDIN (dtr, ’ ’ ))>= I ))) = 0;
END_RULE;
C
Описание аргумента
date_time_role — идентифицирует набор всех экземпляров объектов date_time_role.
Формальное утверждение
WRI
— на каждый экземпляр объекта date_time_role должна быть дана ссылка из атрибута
другого объекта.
.
2
.
5
.
5
6
Правило dependentJnsrantloble_person_and_organlzation_role
Правило dependent Jnstantiable_pcrson_and_organization_role устанавливает, что использование
всех экземпляров объекта person_and_organization_role зависит от определения других объектов.
EXPRESS-спецификаиия
*)
RULE dependentJnstantiable_person.and. organization_role FOR
(person_and_organization_role);
WHERE
WRI: SIZEOF (QUERY (poar <4 penion_and_organization_role |
NOT (SIZEOF (USEDIN (poar, ’ *) ) >=! ))) = 0;
END_RULE;
C
Описание аргумента
person_and_organization_role — идентифицирует набор всех экземпляров объектов рег-
son_and_organization_role.
Формальное утверждение
WR1 — на каждый экземпляр объекта person_and_organteation_role должна быть дана ссылка
из атрибута другого объекта.
91