ГОСТР ИСОГГС 10303-1112—2012
-атрибута related
_
product
_
definition. который представлен объектом product
_
definition со значе
нием атрибута framo
_
of
_
roferonce ’alternative definition’ (альтернативное определение), ’functional definition’
(функциональное определение) или’conceptual definition’ (концептуальное определение).
EXPRESS-спецификация:
*)
RULE restrict
_
product
_
definitions
_
fof
_
design
_
constraint
_
assodation FOR
(product
_
definition
_
relationship);
WHERE
WR1: SIZEOF ( QUERY ( pdr <* product
_
definition
_
relationship |( pdr.
name = ’design constraint association’)AND ( (pdr.
relating
_
product
_
defmition.frame
_
of
_
reference.name<>’design constraint
definition’)OR NOT (
pdr.related
_
product
_
definition.frame
_
of
_
reference.name IN[alternative
definition’, ’functional definition’ .’conceptual definition’ ])))) =0;
END
_
RULE;
(*
Определение аргумента
product definition relationship— множество всехэкземпляровобъекта product
_
dofinition
_
relationship.
Формальноеутверждение
WR1 — не должно существовать ни одного экземпляра объекта product
_
definition
_
relationship,
имеющего наименование ’design constraint association’ (связь конструктивного ограничения), у которого
отсутствуют:
- атрибут relating
_
product
_
definition. который представлен объектом product
_
definition со значе
нием атрибута frame
_
of
_
reference ’design constraint definition’ (определение конструктивного ограничения),
или
-атрибут relatod
_
product
_
definition, который представлен объектом product
_
definition со значе
нием атрибута frame
_
of
_
reference ’alternative definition’(альтернативное определение), functional definition’
(функциональное определение) или’conceptual definition’ (концептуальное определение).
*)
END
_
SCHEMA; -- Specification
_
control
_
mim
Г
28