ГОСТ Р ИСО 10303-22-2002
#303 - ENTITY_DEFINITION(‘c+g4h\ (). #1. (#140. #160, #170). .Т„ .Т.. .Т.>;
#304 - ENTITY_DEFINITIONef+g*, (). #1. (#150. #160), .Т.. .Т.. .Т.);
#305 - ENTlTY_DEFINmONCf+h\ (), #1, (#150. #170). .Т.,
.Т.. .Т.):
#306 = ENTITY_DEFINIT10Ncf+g+h’. (), #1, (#150, #160. #170), .Т.. .Т.. .Т.);
#307 - ENTITY_DEFINITION(‘c4d’, (), #1, (#120. #130), .Т.. .Т., .Т.);
#308 - ENTITY_DEFlNIT10NCc+c+g-,(), *1.(#120, #140,#160),,Т., /Г., .Т.);
#309 - ENTITY_DEFINITI0N(‘c4c4h\(). #1,(#120, #140,#170),.Т.. .Т.. .Т.);
#310 - ENTITY_DEFINlTION(‘c+c+g+h*. (). #1, <#120. #140, #160, #170). ,Т„ .Т..
.Т.): #311 - ENTITY_DEFINlTIONCc+f+g’.(), #1, (#120, #150. #160), Т „ .Т., .Т);
#312 - ENTITY_DEFINlT10N(‘c+f+h’.(). #1.(#120, #150,#170)..Т., .Т., .Т.);
#313 - ENTITY_DEFINlT10N(‘c+f+g+h’, (), #1, (#120, #150. #160, #170). .Т., Т., .Т.):
А. 1.4 Г р а н и н ы и г р а н и ч н ы е в ы р а ж е н и я
Точность действительного (вещественного) типа; ширина строкового и двоичного типов, фанины для
типов набора (SET), списка (LIST), мультимножества (BAG); основные офаничения для инверсного афибуга и
индексы для типа массива могут быть заданы в схеме целочисленными выражениями. Значении этих выраже ний
могут быть основаны исключительно на схеме, внутри которой они объявлены, или могут зависеть от
совокупности данной схемы. В случае, когда значение выражения основано исключительно на схеме, внутри
которой оно объявлено, вычисленное целочисленное значение должно быть установлено в качестве значения
атрибута intcger_bound.bound_valut\ описывающего границу в словаре данных. В случае, когда значение выра
жения зависит от совокупности схемы, экземпляр population_dcpendcnl_bound должен объяачять фанииу в
словаре данных.
А. 1.5 П е р с о б ъ я в л е н и е а т р и б у т а
Котла атрибут в супсргипе языка EXPRESS переопределяется в подтипе (см. 9.2.3.4 ГОСТ Р ИСО
10303-11), в словаре данных С’ИДД должны появляться отдельные экземпляры соответствующего подтипа
атрибута, связывающие атрибут в супсргипе и переопределенный атрибут в полтине. Переопределенный
атри бут должен быть элементом cntity_definition.attributes для подтипа. Значение attribatc.rcdcclaring в
экземпляре атрибута для подтипа должно быть устаноапсно ссылкой на экземпляр атрибута
псрсобьяагясмото супертипа.
А.2 Информация об эквивалентности области значений
А.2.1 К о н с т р у к ц и и с л о в а р я
Эквивалентность областей значений двух типов данных объекта обеспечивается соответствующими
определениями в схеме словаря С’ИДД. Тип объекта, существующий в одной схеме, может быть объявлен
эквивалентным по области значений типу объекта из другой схемы при помощи типов данных о&ьскгов
domain_cquivalenl_typc и extcmal_schcraa.
Эквивалентность областей значений задастся попарно в тех определениях, связанных конкретным
schcma_dcfinition. которые объявляют, что экземпляр объекта, основанный на собственной схеме, может ссы
латься на экземпляр объекта, основанный на внешней схеме. СИДД-модели, основанные на внешней схеме,
должны быть связаны с экземпляром схемы (schema_instance). основанным на собственной схеме в ггорядке
получения этих ссылок. Однако экземпляры объекта, основинныс на внешней схеме, не могут ссылаться на
экземпляры объекта, основанные на собственной схеме, если нетдополнительного экземпляра extemal_sehema.
связанного с внешней схемой и определяющего domatn_equivalent_type между внешней и собственной
схемами.
Типы данных объекта domain_equivalent_typc и cxternal schcina. связанные с schema_dcfinition. заполня
ются внешней системой, используя информацию, нс определенную в настоящем стандарте. Данная информа
ция (спецификации) может быть получена
от
разработчиков схем или определена объявлениями внутри самих
схем.
А.2.2 А л г о р и т м ы и м е т о д ы о б ъ я в л е н и я Э к в и в а л е н т н о с т и о б л а с т и зна-
ч с н и й
В настоящем пункте описаны два метода обьяазения эквивалентности по области значений в словаре
данных СИДД:
1) с использованием EXPRESS-спенификапии интерфейса;
2) с использованием заполнения файла гго ГОСТ Р ИСО 10303-21 для части схемы словаря С’ИДД.
Возможны и другие методы, но они ire определены в настоящем стандарте.
Первый метод объявлении эквивалентности области значений в схеме словаря С’ИДД обеспечивает алго
ритм. основанный на EXPRESS-спецификации шгтсрфейса. Два типа обздгазяются эквивалентными но обла
сти значений, если они выведены из одного и того же тина объекта с использованием конструкции USE
ати REFERENCE и одинаково использованы в двух схемах.
П р и м е р 18
SCHEMA resource;
ENTITY identical:
range ; REAL;
END ENTITY
ENTITY different:
113