ГОСТ Р ИСО 10303-203-2003
’CONF1G_CONTROL_DES1GN.LOT_EFFECT1V1TY’ ,
,CONF!G_CONTROL_DESlGN.DATED_EFFECTiVITY*| •
TYPEOF (еП) ) = I ) AND
( ’CONFIG.CONTROL.DESIGN.CONFIGURATION.EFFECTIVITY’ IN
TYPEOF (eff))))) = 0;
END_RULE :
C
Определение аргумента
effectivity — идентифицирует набор всех экземпляров объектов efTectivity.
Формальное утверждение
WR1 — каждым экземпляром объектов effectivity должен быть экземпляр объектов serial_num-
bered_effectivity. Iot_effectivity или dated_effectivity и configuration_cffectivity.
5
.
2
.
5.66
Правило effectivity_requiresapproval
Правило effectivity_requires_approval определяет, что на каждый экземпляр объекта effectivity
должна быть дана ссылка только из одного объекта cc_design_approval. Это правило устанавливает,
что каждый объект effectivity должен быть утвержден.
EXPRESS-спеинфнкаиия
*)
RULE efTectivity requires, approval FOR
(efTectivity. cc_design approval);
WHERE
WR1: SIZEOF (QUERY (eft’ <* effectivity |
NOT (SIZEOF (QUERY (ccda <• cc_design_approval |
etT IN ccda. items )) = 1 ))) = 0;
END_RULE :
Г
Определения аргументов
effectivity — идентифицирует набор всех экземпляров объектов effectivity.
cc_design_approval — идентифицирует набор всех экземпляров объектов ccdesignapproval.
Формальное утверждение
WR1 — для каждого экземпляра объекта effectivityдолжен существовать только один экземпляр
объекта cc_design_approval. содержащий данный экземпляр объекта effectivity в соответствующем
наборе объектов items.
5
.
2
.
5.67
Правило configurationJtem_requires^approval
Правило configurationJtcm_rcquires_approval определяет, что на каждый экземпляр объекта
configuration_item должна быть дана ссылка только из одного объекта cc_design_approval. Это правило
устанавливает необходимость наличия утверждения каждого объекта configurationjtem.
EXPRESS-спецификания
*)
RULE configurationJtem_requires_approval FOR
(configuration item. cc_design_approval) :
WHERE
WRI: SIZEOF (QUERY (ci <• configurationJfem |
NOT (SIZEOF (QUERY (ccda <• cc_design_approval |
ci IN ccda.items )) = ! ) ) ) = 0:
END_RULE ;
Г
Определения аргументов
configurationJteni — идентифицирует набор всех экземпляров объектов configurationjtem.
cc_design_approval — идентифицирует набор всех экземпляров объектов cc_design_approvaL
Формальное утверждение
WR1 — для каждого экземпляра объекта configurationjtem должен существовать только один
экземпляр объекта cc_design_approval. содержащий экземпляр данного объекта configurationjtem в
соответствующем наборе объектов items.
95