ГОСТ Р ИСО 10303-505—2006
4.3.2 Объект draughting_contract_assignmont представляет привязку к контракту объекта
drawing_revision с целью идентификации объекта drawing_revision как относящегося к данному кон
тракту.
EXPRESS-спеииФикация
*)
ENTITY draughting_contract_assignment
SUBTYPE OF (contract_assignment);
items : SET [1:?J OF contracted_item;
END_ENTITY:
Г
Определение атрибута
items — объекты drawing_revision. которые относятся к данному контракту.
4.3.3 Объект draughting_drawing_revision представляет собой объект drawing_revision. кото
рый определяет ограничения в рамках контекста изготовленияданного чертежа. Прикладной протокол,
который используетэту ПИК. должен обеспечивать реализацию объекта drawing_revision как объекта
draughting_drawing_revision.
EXPRESS-спеииФикация
*)
ENTITY draughting_drawing_revision
SUBTYPE OF (drawing_revision);
WHERE
WR1:- чертеж состоит из листов:
(SIZEOF (USEDIN (SELF.
,AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET‘)) >= 1)
AND
(SIZEOF (QUERY (ais <* USEDIN (SELF.
,AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET4) |
NOT (,AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.DRAWING_SHEET REVISION1
IN TYPEOF (ais.area))
)) = 0);
WR2:- утверждение чертежа имеет дату:
SIZEOF (QUERY (app_ass <* USEDIN (SELF.
’AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.’ +
’DRAUGHTING_APPROVAL_ASSIGNMENT.APPROVEDJTEMS’) |
NOT (SIZEOF (USEDIN (app_ass.assigned_approval,
,AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.’ +
,APPROVAL_DATE_TIME.DATED_APPROVAL1)) = 1)
)) =
0
:
WR3:- утверждение листа имеет дату:
SIZEOF (QUERY (ais <* USEDIN (SELF.
,AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.AREA_IN_SET.IN_SET’)|
NOT (SIZEOF (QUERY (app_ass <* USEDIN (ais.area,
1AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION., +
•DRAUGHTING,APPROVAL_ASSIGNMENT.APPROVEDJTEMS’) |
NOT (SIZEOF (USEDIN (app_ass.assigned_approval,
•AIC_DRAWING_STRUCTURE_AND_ADMINISTRATION.’ +
’APPROVAL_DATE_TIME.DATED_APPROVAL’)) = 1)
)) =
0
)
)) =
0
;
6