ГОСТ Р ИСО 10303-22-2002
ПРИЛОЖЕНИЕ А
(обязательное)
Отображение конструкций языка EXPRESS в конструкции схемы словаря СИДЦ
А.1 Конструкции языка EXPRESS
Схема словаря СИДД нс обеспечивает напрямую вес конструкции языка EXPRESS. Нс обеспечиваются
конструкции, не имеющие отношения к ком аилам СИДД. Внастоящем приложении описаны преобразования,
которые должны быть выполнены со схемой при ее отображении в представление схемы словаря СИДД, в
дальнейшем называемой словарем данных.
Для каждой схемы, доступной приложению посредством реализации СИДД как части словаря данных,
должна существовать СИДД-модсль, содержащая соответствующую информацию словаря (см. 6.1). Значением
атрибута sdai_modcl.namc каждой СИДД-модели должно быть имя схемы, выделенное прописными буквами
(символами) с добавлением окончания «_DICTIONARY_DATA». Для экземпляра схемы, с которым связаны все
СИДД-модели — части словаря данных, значением атрибута schcma_instance.name должно быть «SDAI
DICTIONARY SCHEMA INSTANCE». а каждая СИДД-модсль должна быть элементом множества
schema_instance.associated_modcls (см. S.4.1). Экземпляр схемы и связанные с ним СИДД-модели должны быть
основаны на схеме сеанса СИДД.
А. 1.1 С п е ц и ф и к а ц и и и н т е р ф е й с а
Когда словарь данных заполняется на основе конкретной схемы, все эдсмсты языка EXPRESS, явно
или неявно импортированные в текущую схему, должны быть допустимы в ней. Все импортированные элемен
ты рассматриваются как часть экземпляра schema_definition. представляющею текущую схему. Схемы, из
кото рых импортируются элементы, не должны быть экземплярами schemadefinition до тех пор. пока они не
будут обработаны индивидуально.
Все описания, ставшие явно или неявно видимыми в текущей схеме посредством операторов USE или
REFERENCE, должны быть представлены в словаре. Когда тип данных объекта стал видимым при помощи
REFERENCE или был неявно импортирован, или в обоих случаях, его словарный компонент должен иметь
атрибут entity_dcfinition.independent со значением FALSE. Все другие определения объекта должны иметь этот
атрибут со значением TRUE.
Конструкции в схеме словаря СИДД. обеспечивающие команды, определенные в настоящем стандарте,
не учитывают спецификацию интерфейса. Однако для приложений, могущих использовать спецификации ин
терфейса, схема предусматривает конструкции, обеспечивающие доступ приложения к данной
информации. Данные конструкции запоминают тот факт, чго эти элементы словари были импортированы в
текущий экзем пляр schcma_dcfinition. но в настоящем стандарте не предусмотрены команды или функция,
могущие восполь зоваться -этой информацией (см. 6.4.2—6.4.7).
А. 1.2 И н т е р п р е т а ц и я к о н с т р у к ц и иA B S T R A C T я з ы к аEXPRESS
Если тип объекта объявлен абстрактным (ABSTRACT) супертипом, значением сто атрибута
cntity_dcfinition.instantiaMc должно быть FALSE, в противном случае —TRUE.
А. 1.3 И н т е р п р е т а ц и я в ы р а ж е н и й A N D и А N D О R в к о н с т р у к ц и иSUPER-
TYPE я з ы к а EXPRESS
Если объявление объекта (ENTITY) языка EXPRESS яыяется суисргииом. оператор SUPERTYPE кото
рого содержит одно или несколько выражений AND или ANDOR. или если многочисленные объявления
ENTITY языка EXPRESS определены как
п о д т и п ы
одногосупертипа, а суиертнп не задает ограничение ON EOF.
приложение В ГОСТ Р ИСО 10303—11 устанавливает, как найти счетное множество определений типа данных
объекта, для которых потенциально можно создать экземпляры. Существуют два способа, по которым эти
типы данных объекта могут быть сделаны доступными посредством реализации СИДД:
- реализация СИДД может обеспечивать окончательно заполненный словарь СИДД для экземпляров
cntity_dcfinitioa с полным множеством определений типа данных объекта, делая их после команды «начало
доступа «только чтение» доступными для СИДД-модели, содержащей информацию словаря данных для конк
ретной схемы;
- реализация СИДД может обеспечивать создание экземпляров entitydefinition. основанных на опреде
лениях типа данных объекта, полученных в результате выполнения команды «получение определения сложно го
объекта».
Внутри конкретного сложного экземпляра объекта С определяется корневой объект как нс имеющий в С
экземпляров подтипов. Дтя каждого допустимого сложного экземпляра, создаваемого по алгоритму, опреде
ленному в приложении В ГОСТ Р ИСО 10303-11. и содержащего несколько корневых объектов, должен быть
создан дополнительный экземпляр cnlil.v_dcfinition. который должен быть подтипом каждого из корневых объектов в
сложном экземпляре. Значение атрибута cntitj_ck.Ttnition.name должно формироваться путем соединения имен
типов корневых объектов в алфавитном порядке, разделенных символом плюс (+).
Ill