ГОСТ Р ИСО/ТС 10303-1032-2013
EXPRESS-спецификация:
*)
ENTITY Shape_element;
id :OPTIONAL STRING;
element_name :OPTIONAL STRING;
description :OPTIONAL STRING;
containing_shape : Item_shape;
WHERE
WR1: EXISTS(element_name) OR (TYPEOF(SELF\Shape_element) <>
TYPEOF(SELF));
END_ENTITY;
(*
Определения атрибутов
id - идентификатор, обозначающий объект Shape element. Значение данного
атрибута может быть не определено;
element_name -наименование объекта Shape_element. Значение данного
атрибута может быть не определено;
description -текст, содержащий дополнительную информацию об объекте
Shape_element. Значение данного атрибута может быть не определено;
containing_shape - объект ltem_shape. часть которого представляет объект
Shape_element.
Формальное утверждение
WR1-еслиключевоесловоSELFсоответствуетэкземпляруобъекта
Shape element, то значение атрибута element_name должно быть определено.
4.3.8 Объект Shape_element_relationship
Объект Shape_element_relationship представляет взаимосвязь между двумя
экземплярами объекта Shape_element.
EXPRESS-спеииФикаиия:
*)
ENTITY Shape_element_relationship;
relation_type :OPTIONAL STRING;
description :OPTIONAL STRING;
relating : Shape_element;
15