ГОСТ Р ИСО/ТС 10303-1019—2010
WR1: NOT (initial_context IN addilional_contoxts);
WR2: EXISTS(id) OR (TYPEOF(SELF\Product_view_definition) < > TYPEOF(SELF));
END_ENTITY;
(*
Опроделсния атрибутов
id — идентификатор, обозначающий объект Product_vlew_definition.
П р и м е ч а н и е — Значением данного атрибута может быть пустая строка;
пате — слова, определяющие имя объекта Product_vlew_definition. Значение данного атрибута
может быть не задано.
П р и м е ч а н и е — Данный атрибут отображается на атрибут description для обеспечения совместимости
с ранее существовавшими прикладными протоколами.
additional_charactorization — текст, содержащий дополнительную информацию об объекте
Product_view_definition. Значение данного атрибута может быть не задано.
П р и м е ч а н и е — Данный атрибут может использоваться для уточнения варианта определения.
Пример
—
Если объект Product_vlew_definltlon определяет соединение, то данный атрибут мо
жет идентифицировать тип этого соединения, например, ‘clipping’ (зажим), ’welding’ (сварка);
initial_context - объект View_definition_context. в котором атрибут defined_ version первона
чально определялся с помощью объекта Product_viow_definition;
additional_contexts - множество экземпляров объекта View_definition_context, к которым также
имеет отношение объект Product_view_definition;
dofmod_vorsion - объект Product_version. определение характеристик которого обеспечивает
объект Product_view_definition.
Формальные утверждения
WR1 — атрибутadditional_contextsнедолженсодержатьэкземпляробъекта
View_definition_context. на который имеется ссылка как на атрибут initial_context;
WR2 — если точный экземпляр объекта Product_view_definition задан посредством ключевого
слова SELF, то значение атрибута id должно быть задано.
4.2.2 Объект View_definition_context
Объект View_definition_context представляет совокупность области применения и стадии жиз
ненного цикла. Он определяет предметную область, подходящую для описания изделий.
П р и м е ч а н и е — Требования и терминология изменяются в зависимости от области производственной
деятельности. Данный объект позволяет идентифицировать эту область.
EXPRESS-спецификация.
*)
ENTITY View_definition_context;
app!ication_domain ; STRING;
life_cycle_stage ; STRING;
description ; OPTIONAL STRING;
WHERE
WR1; (SIZEOF (USEDIN(SELF. •PRODUCT.VIEW.DEFINITION.ARM.’ ♦
’PRODUCT_VIEW_DEFINITION.INITlAL_CONTEXT’)) > 0) OR
(SIZEOF (USEDIN(SELF, PRODUCT_VIEW_DEFINITION_ARM.’ +
,PRODUCT_VIEW_DEFINITlON.ADDITIONAL_CONTEXTS’)) > 0);
END_ENTITY;
r
Определения атрибутов
application_domain — текст, определяющий прикладной контекст, который ограничивает пред
метную область.
4