ГОСТ Р ИСО 10303-203-2003
1
Описания аргумеитон
certification — иде
1
тифипирует набор всех экземпляров объектов certification.
cc_design_approval — идентифицирует набор всех экземпляров объектов cc_design_approval.
Формальное утверждение
WR1 —для каждого экземпляра объекта certification должен существовать только один экзем
пляр объекта cc_design_approval. содержащий данный экземпляр объекта certification в соответству
ющем наборе объектов items.
5.2.5.29 Правша restrict_certificalion_type
Правило restrict_certir»cation_type определяет, что объект certification может быть связан только
с типом "part .supplier” или “design_supplier”.
EXPRESS-спеиификаиня
*)
RULE restrict certification type FOR (certificationjype);
WHERE
WR1: SIZEOF (QUERY (ct <• certification..type |
NOT (ct.description IN |’designj»upplier\ ’part_supplier*|))) = 0:
END_RULE;
Описание аргумента
certification_type — идентифицирует набор всех экземпляров объектов certification_type.
Формальное утверждение
WR1 — для каждого экземпляра объекта certification_type значением атрибута kind должно быть
“design_supplier" или “part_supplier”.
Определения значений атрибугоп
design_supplier — идентифицирует поставщика части проекта.
part_supplier —идентифицирует поставщика детали.
5.2.5.30 Правило certification_requires^dQte_time
Правило certification_requires_date_time определяет, что на каждый экземпляр объекта certifi
cation должна быть дана ссылка только из одного объекта cc_design_date_and_time_assignment. Это
правило устанавливает необходимость наличия даты, показывающей начало действия объекта
certification.
П р и м е ч а н и е —Допустимость использования различных значений ролей при связывании объекта
date_timc_assignmcnt с разными объектами определяется функцией cc_dcsign_date_and_timc_corrdation. Эту
функцию используют локально для объекта cc_desigii_dalc_and_timc_assignmenf. Определение функции приве
дено в 5.2.6.3
EXPRESS-спеиификаиня
*)
RULE certification_requires_date_time FOR
(certification, cc_design_date_and .time_assignntent);
WHERE
WR1: SIZEOF (QUERY (cen <• certification |
NOT (SIZEOF (QUERY (ccdta <* cc_design_date_and_time_assignment |
cert IN ccdta.items )) = I ))) = 0;
END_RULE;
Г
Описания аргументов
certification —идентифицирует набор всех эк земпляров объектов certification.
cc_design_datc_and_time_assignnient —идентифицирует набор всех экземпляров объектов
cc_design_date_and_time_assignment.
Формальное утверждение
WR1 — для каждого экземпляра объекта certification должен существовать только один экзем
пляр объекта cc_design_date_and_time_assignment. содержащий данный экземпляр объекта certifica
tion в соответствующем наборе объектов items.
79