ГОСТ Р ИСО 10303-22-2002
6.3.6 Т и п expressed
Тип expressjd является EXPRESS-идентификатором (см. 7.4 ГОСТ Р ИСО 10303-11) для эле
ментов. объявленных в EXPRESS-схеме. Хотя ГОСТ Р ИСО 10303-11 устанавливает, что регистр
букв не имеет значения для EXPRESS-идентификаторов, в качестве значений атрибутов схемы
словаря СИДД, область значений которых определяется типом expressjd. должны использоваться
строчные буквы.
EXPRESS-спецификация
♦>
TYPE expressjd = STRING;
END TYPE;
C
6.3.7 T и n info_ob]ect_id
Тип info_objectJd является однозначным идентификатором информационного объекта для
EXPRESS-схемы в открытой системе (см. приложение С).
EXPRESS-енеинфикация
*>
TYPE info_object_id = STRING;
END,TYPE;
(•
6.4 Определения объектов схемы словаря СИДД
Данный подраздел устанавливает общие положения для словаря, определяющие применение
в нем конструктива ENTITY из языка EXPRESS.
6.4.1 О б ъ е к т schema-definition
Объект schema-definition является представлением SCHEMA из языка EXPRESS и конструкти
вом, на которой основаны СИДЦ-модели и экземпляры схем, и определяет область применения
(действия) для набора (коллекции) описаний объектов, типов и правил, состоящих из
описаний, взятых из текущей EXPRESS-схемы и разрешенных в этой схеме по спецификации
интерфейса на языке EXPRESS. Элементы из инородных схем допускаются втекущей схеме в
соответствии с А.1.1.
EXPRESS-спсццфикация
*)
ENTITY schema_definition;
name; expressjd;
identification: OPTIONAL info_object Jd:
INVERSE
entities: SET |0:?| OF entity_definition FOR parent_schema;
types: SET |0:?| OF definedjype FOR parent_schema;
global mles: SET |0:?j OF global_rule FOR parent_schema;
external schemas; SET |0:?| OF external_schema FOR native_schema;
UNIQUE
UR1 : identification:
END, ENTITY;
(•
Определения атрибутов
name - имя схемы;
identification - идентификатор информационногообъекта схемы, основанный на schema definition
(при его наличии);
entities - объекты, объявленные или разрешенные в схеме;
types —типы, объявленные или разрешенные в схеме;
global_rules —глобальные правила, объявленные или разрешенные в схеме;
extemal_schemas — схемы, содержащие типы, определенные как имеющие эквивалентные
области значений с типами из данной схемы.
Формальные утверждения
UR1 —обозначение объекта для схемы должно быть уникальным.
6.4.2 О б ъ е к т interface_specification
Объект interfacespecification является представлением в текущей схеме элементов, изначально
объявленных в инородной схеме (см. раздел 11 ГОСТ Р ИСО 10303-11). Все элементы, нмпортиро-
10