Статус документа
Статус документа

ГОСТ Р ИСО 10303-11-2009 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS

     9.2 Объявление объекта


Объявление объекта ENTITY создает объектный тип данных и задает идентификатор для ссылок на него.

Каждый атрибут представляет свойство объекта и может быть ассоциирован со значением в каждом экземпляре объекта. Тип данных атрибута устанавливает область определения его возможных значений.

Каждое ограничение представляет одно из следующих свойств объекта:

a) Ограничения на число, вид и структуру значений атрибутов, задаваемые в объявлениях атрибутов.

b) Необходимые взаимосвязи между значениями атрибута или ограничения на допустимые значения атрибута для данного экземпляра, задаваемые условием WHERE и рассматриваемые как правила области определения.

c) Необходимые взаимосвязи между значениями атрибута для всех экземпляров объектного типа данных, задаваемые в следующих конструкциях:

1) в условии уникальности, где они рассматриваются как ограничения на уникальность;

2) в условии инверсии, где они рассматриваются как ограничения на мощность множества;

3) в глобальных правилах (см. 9.6).

d) Необходимые взаимосвязи между экземплярами нескольких объектных типов, задаваемые не в самом объявлении объекта, а в форме глобальных правил (см. 9.6).

Экземпляр объекта в языке EXPRESS может быть создан только посредством конструктора объекта (см. 9.2.6) или оператора построения сложного объекта (см. 12.10).

   Синтаксис:

     206 entity_decl = entity_head entity_body END_ENTITY ' ; ' .
     207 entity_head = ENTITY entity_id subsuper ' ; ' .
     204 entity_body = { explicit_attr } [ derive_clause ] [ inverse_clause ] [ unique_clause ] [ where_clause ] .


Правила и ограничения:

a) Каждый идентификатор атрибута и метка, указанная в объявлении объекта, должны быть уникальными в рамках объявления.

b) Подтип не должен объявлять атрибут, имеющий такой же идентификатор, что и атрибут одного из супертипов, за исключением случая, когда подтип повторно объявляет атрибут, унаследованный от одного из его супертипов (см. 9.2.3.4).