ГОСТ Р ИСО 10303-14—2015
-
исходная EXPRESS-схема:
SCHEMA person_and_org_schema;
ENTITY person;
first_name : STRING;
last_name : STRING;
END_ENTITY
:
ENTITY organization;
department_name : STRING;
END_ENTITY; ”
END_SCHEMA;
-
данные, закодированные в соответствии с ИСО 10303-21 [2]:
#l=PERSON(’James’,’Smith’);
#2=PERSON{’Fredrick’,’Jones’);
#31=ORGANI2ATION(’Engineering’);
#32=ORGANIZATION<’Sales•);
тогда связующие экземпляры для заданных образа и данных могут быть записаны в представленном
ниже виде. Понятие связующих экземпляров определено в других разделах настоящего стандарта и не
является необходимым для понимания данного примера. Однако необходимо отметить, что первый
элемент каждого связующего экземпляра берется из пространства объекта
person,а
второй эле
мент
—
из пространства объекта
organization.
Данный порядок соответствует порядку появле
ния объектов
person
и
organizationв
элементе языка
FROM
данного образа:
{<#1,#31>,<#1,#32>,<#2,#31>,<#2,#32>).
4.2 Основные принципы модели исполнения
4.2.1 Введение
Настоящая спецификация определяет язык и модель исполнения. Модель исполнения состоит из
двух фаз — процесса связывания и процесса реализации. При оценке образов и отображений исполь
зуется общий процесс связывания, но их процессы реализации различаются.
4.2.2 Процесс связывания
Связующей средой является среда, в которой переменным присваиваются значения. Связующий
экземпляр представляет собой структуру, которая связывает переменные, объявленные в элементе
языка FROM из объявления образа или отображения. Элемент языка FROM ссылается на исходные
пространства объектов и пространства образов. Границы значений берутся из этих исходных про
странств. Каждый связующий экземпляр входит в набор, определяемый как декартово произведение
ссылочных исходных пространств. Рассчитанный таким образом набор связующих экземпляров явля
ется связующим пространством для данного образа или отображения при заданных исходных про
странствах. Связки переменных в связующем экземпляре образуют среду для оценки тела образа или
отображения в процессе реализации, когда ссылочные данные в связующем экземпляре соотносятся со
структурами, создаваемыми в целевой совокупности. Таким образом, каждый связующий экземпляр
соответствует экземпляру типа данных образа (образов) либо экземплярам целевого объектного типа
данных (отображениям) в целевой совокупности.
Исходные пространства отображений и образов должны быть пространствами объектных типов
данных или пространствами образов.
Зацикливание между ссылками и исходными пространствами запрещено.
Примеры
1 В процессе связывания, относящемся к образу, данным и
схеме
и определенном
в приме
реиз
4.1. вычисляется связующее пространство объекта
person_org {<#1,#31>,<#1,#32>,
<#2,#31>,<#2,#32>}.
Данное пространство представлено ниже в табличной форме:
Сьязуааций зкзеыпляр
рекaon
organize;-on
4filSt name
.aSt_na“ie
4department _name
<4:,*3i>
*1’James *
’Smith’
431’Engineering*
<*:,432>
♦1*James’
’Smith’
♦32’Sales’
<42,431>
•2 ’Fredrick’
1Junes’
♦31’Engineering’
<42,432>
♦2 ’Fredrick’
’Jones’
♦32’S/iles’
4