ГОСТ Р ИСО 13584-20-2006

ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ТЕХНИЧЕСКОМУ РЕГУЛИРОВАНИЮ И МЕТРОЛОГИИ
	НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ	ГОСТ Р ИСО 13584-20-2006

Системы автоматизации производства
и их интеграция

БИБЛИОТЕКА ДЕТАЛЕЙ

Часть 20

Логический ресурс.
Логическая модель выражений

ISO 13584-20:1998
Industrial automation systems and integration -
Parts library - Part 20: Logical
resource: Logical model of expressions
(IDT)

Москва
Стандартинформ
2007

Предисловие

Цели и принципы стандартизации в Российской Федерации установлены Федеральным законом от 27 декабря 2002 г. № 184-ФЗ «О техническом регулировании», а правила применения национальных стандартов Российской Федерации - ГОСТ Р 1.0-2004 «Стандартизация в Российской Федерации. Основные положения»

Сведения о стандарте

1 ПОДГОТОВЛЕН Государственным научным учреждением «Центральный научно-исследовательский и опытно-конструкторский институт робототехники и технической кибернетики» на основе собственного аутентичного перевода стандарта, указанного в пункте 4

2 ВНЕСЕН Техническим комитетом по стандартизации ТК 459 «Информационная поддержка жизненного цикла изделий»

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 27 декабря 2006 г. № 484-ст

4 Настоящий стандарт идентичен международному стандарту ИСО 13584-20:1998 «Системы автоматизации производства и их интеграция. Библиотека деталей. Часть 20. Логический ресурс. Логическая модель выражений» (ISO 13584-20:1998 «Industrial automation systems and integration - Parts library - Part 20: Logical resource: Logical model of expressions»). При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты Российской Федерации, сведения о которых приведены в дополнительном приложении G

5 ВВЕДЕН ВПЕРВЫЕ

Информация об изменениях к настоящему стандарту публикуется в ежегодно издаваемом информационном указателе «Национальные стандарты», а текст изменений и поправок - в ежемесячно издаваемых информационных указателях «Национальные стандарты». В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ежемесячно издаваемом информационном указателе «Национальные стандарты». Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет

СОДЕРЖАНИЕ

1. Область применения. 3 2. Нормативные ссылки. 4 3. Термины, определения и сокращения. 4 3.1. Термины, определенные в ИСО 10303-11. 4 3.2. Термины, определенные в ИСО 10303-44. 4 3.3. Другие термины и определения. 5 3.4. Сокращения. 6 4. Основные понятия и допущения. 6 4.1. Статические и динамические данные. 6 4.2. Синтаксис выражений. 6 4.3. Семантика выражений. 6 4.4. Уровни абстракции при моделировании выражений. 7 4.5. Моделирование переменной. 8 4.6. Отображаемость на языке SQL. 8 5. ISO13584_generic_expressions_schema. 9 5.1. Введение. 9 5.2. Определения объектов ISO13584_generic_expressions_schema. 9 5.3. Определения функций ISO13584_generic_expressions_schema. 12 6. ISO13584_expressions_schema. 15 6.1. Введение. 15 6.2. Определения общих объектов ISO13584_expressions_schema. 16 6.3. ISO13584_expressions_schema: определения объектов для числовых выражений. 17 6.4. Определения объектов булевых выражений. 29 6.5. Определения объектов строковых выражений. 38 6.6. Функции для определения свойств выражения. 42 Приложение А. Сокращенные наименования объектов. 49 Приложение B. Регистрация информационного объекта. 50 Приложение C. Диаграммы на языке EXPRESS-G.. 51 Приложение D. Использование схемы ISO13584_expressions_schema. 61 Приложение E. Конкретизация схем.. 65 Приложение F. Статический анализ выражений. 69 Приложение G. Сведения о соответствии национальных стандартов Российской Федерации ссылочным международным стандартам.. 70

Введение

Настоящий стандарт входит в комплекс стандартов ИСО 13584, устанавливающих требования к компьютерному представлению и обмену данными из библиотеки деталей. Цель комплекса - обеспечить нейтральный механизм передачи данных из библиотеки деталей независимо от того, какое приложение использует эти данные. Поэтому этот комплекс пригоден не только для обмена файлами, содержащими сведения о деталях, но также является основой для реализации и совместного использования баз данных, содержащих библиотеки деталей.

Каждая часть комплекса устанавливает требования, относящиеся к одной из тематических групп: концептуальные описания, логические ресурсы, ресурсы реализации, методология описания, аттестационное тестирование, протокол обмена представлениями и стандартизованное содержимое. Описания тематических групп приведены в ИСО 13584-1. Настоящий стандарт устанавливает требования, относящиеся к тематической группе логических ресурсов.

В настоящем стандарте установлены универсальные конструкции ресурсов на языке EXPRESS, необходимые для моделирования выражений, детализация которых приведена в других частях комплекса стандартов ИСО 13584. Эти конструкции могут также использоваться вне рамок этого комплекса там, где информационные модели выражений на языке EXPRESS могут быть полезными.

НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Системы автоматизации производства и их интеграция БИБЛИОТЕКА ДЕТАЛЕЙ Часть 20 Логический ресурс. Логическая модель выражений Industrial automation systems and integration. Parts library. Part 20. Logical resource. Logical model of expressions

Дата введения - 2007-07-01

1. Область применения

Настоящий стандарт устанавливает:

- EXPRESS-схему для обобщенных выражений;

- EXPRESS-схему для выражений, которая моделирует подмножество допустимых выражений на языке EXPRESS, требования к которому установлены в ИСО 10303-11, соответствующее целому, вещественному, булевому и строковому типам данных. В этой схеме используются ресурсы, определенные в схеме обобщенных выражений.

Область применения настоящего стандарта распространяются на:

- обмен выражениями, которые содержат как константы, так и переменные;

- функцию, которая проверяет, должно ли числовое выражение быть приведено к целому значению;

- константы, которые обеспечивают семантическую корректность выражения;

- вычисление переменных или функций, используемых в выражении;

- функцию, которая проверяет, может ли выражение быть отображено на языке запросов SQL.

Область применения настоящего стандарта не распространяется на:

- присвоение значений переменных в пределах некоторого контекста;

- переключающий механизм, который вычисляет значение выражения в заданном контексте.

2. Нормативные ссылки

В настоящем стандарте использованы ссылки на следующие международные стандарты:

ИСО/МЭК 9075:1992 Информационные технологии. Языки баз данных. SQL

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

ИСО 10303-44:1994 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 44. Интегрированные обобщенные ресурсы. Конфигурация структуры изделия

3. Термины, определения и сокращения

3.1. Термины, определенные в ИСО 10303-11

В настоящем стандарте использованы следующие термины с соответствующими определениями.

3.1.1 тип данных (data type): Область значений.

3.1.2 объект (entity): Класс информации, определенный общими свойствами.

3.1.3 тип данных объекта (entity data type): Представление объекта. Тип данных объекта устанавливает область значений, определяемую общими атрибутами и ограничениями.

3.1.4 экземпляр объекта (типа данных) (entity (data type) instance): Обозначенный блок данных, который представляет блок информации внутри класса, определенного объектом, и принадлежит к области значений, установленной типом данных объекта.

3.2. Термины, определенные в ИСО 10303-44

В настоящем стандарте использованы следующие термины с соответствующими определениями.

3.2.1 узел-предок (ancestor node): Любой узел, к которому можно прийти из данного узла путем последовательного обхода его связей в обратном направлении. Для заданного узла его узлами-предками являются все узлы-родители, все узлы-родители этих узлов-родителей и т.д.

3.2.2 подчиненный узел (child node): Узел, на который непосредственно указывает связь.

3.2.3 узел-потомок (descendent node): Любой узел, к которому можно прийти из данного узла путем последовательного обхода его связей. Для заданного узла узлами-потомками являются все подчиненные узлы, все подчиненные узлы этих подчиненных узлов и т.д.

3.2.4 ориентированный ациклический граф (directed acyclic graph): Набор узлов и связей, в котором ни один узел не является узлом-предком (или узлом-потомком) по отношению к самому себе.

3.2.5 связь (link): Однонаправленное отношение одного узла с другим внутри ориентированного ациклического графа.

3.2.6 узел (node): Элемент ориентированного ациклического графа, соединенный с другим подобным элементом посредством связей.

3.2.7 узел-родитель (parent node): Узел, из которого исходит связь.

3.3. Другие термины и определения

В настоящем стандарте использованы следующие термины с соответствующими определениями.

3.3.1 арность оператора (arity of an operator): Максимальное число операндов, которые должны быть связаны с оператором.

3.3.2 бинарный оператор (binary operator): Оператор, арность которого равна двум.

3.3.3 среда (environment): Связь между синтаксисом и семантикой.

Примечание - В контексте настоящего стандарта объект environment привязывает к объекту generic_variable (синтаксису) соответствующее ему значение (семантику), представленное объектом variable_semantics.

3.3.4 оценка (evaluation): Вычисление значения, представленного в виде выражения.

3.3.5 выражение (expression): Набор переменных и/или констант, которые объединяются операторами.

Примечания

1. Выражение определяет функцию, чьими аргументами являются переменные, встречающиеся в выражении.

2. Структурой, представляющей выражение, является ориентированный ациклический граф, узлами которого являются операторы, константы и переменные. Связи в этом графе представляют собой однонаправленное отношение каждого оператора со своими аргументами, которые также могут быть выражениями.

3.3.6 тип данных выражения (expression data type): Область, в которой должны находиться значения результата выражения.

Примечание - В настоящем стандарте контроль типа и синтез типа проводят только для схемы ISO13584_expressions_schema. Контроль типа обеспечивается структурой и правилами этой EXPRESS-схемы. Синтез типа выполняется EXPRESS-функцией TYPEOF, которая определяет, принадлежит ли объект expression к numeric_expression, Boolean_expressionили string_expression, а также функцией is_int, которая определяет, относится ли значение numeric_expression к типу INTEGER.

3.3.7 интерпретация (interpretation): Функция, которая возвращает семантику, связанную с каждой переменной.

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

3.3.8 оператор большой арности (multiple arity operator): Оператор, арность которого больше двух.

3.3.9 оператор (operator): Функция, которая соединяет одно или несколько значений, называемых операндами, чтобы выработать значение, называемое результатом.

Примечание - Определение оператора включает в себя определение типов данных его операндов и результата.

3.3.10 семантика (semantics): Смысл заданного понятия.

Пример - Семантикой переменной является смысл, выраженный посредством этой переменной.

Примечание - В контексте настоящего стандарта семантика представлена объектом variable_semantics. Типом этого объекта является ABSTRACTSUPERTYPE, который может быть использован для передачи конкретных смыслов и значений.

3.3.11 синтаксическое представление (syntactic representation): Последовательность символов, которая представляет заданное понятие.

Примечания

1. В общепринятых языках программирования последовательность символов, используемая для представления различных понятий, должна подчиняться набору правил, называемому синтаксисом языка.

2. В контексте настоящего стандарта синтаксическое представление представляет собой имя экземпляра объекта (типа данных).

3.3.12 контроль типа (type control): Операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.

Примечания

1. Выражение отнесено к определенному типу правильно, если тип данных каждого операнда каждого оператора этого выражения соответствует требуемому типу данных.

2. В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.

3.3.13 синтез типа (type synthesis): Определение типа данных выражения.

Примечание - В схеме ISO13584_expressions_schema тип данных каждой константы, переменной или результата оператора передается объектом, который ее представляет, поэтому тип данных выражения expression может быть выведен из результата EXPRESS-функции TYPEOF, примененной к узлу, который представляет это выражение.

3.3.14 унарный оператор (unary operator): Оператор, арность которого равна единице.

3.3.15 переменная (variable): Представление значения, которое должно принадлежать к определенному типу данных.

3.4. Сокращения

В настоящем стандарте используется следующее сокращение, установленное в ИСО/МЭК 9075:1992:

SQL - Structured Query Language (структурированный язык запросов).

4. Основные понятия и допущения

4.1. Статические и динамические данные

При обмене информацией из библиотеки деталей возникает необходимость обмениваться не только статическими свойствами, которые могут быть смоделированы в виде данных, но также и динамическими характеристиками, которые выражают, например, как значение свойства может быть выведено из значений других свойств. Выражения являются одной из структур, которые способны моделировать динамические характеристики.

Настоящий стандарт устанавливает форму однозначного представления и обмена машинно-интерпретируемыми выражениями.

4.2. Синтаксис выражений

Синтаксис выражений состоит из ряда символов, которые являются константами, переменными и операторами этого выражения. В текстовых языках эти символы подчиняются набору правил, обычно определяемому в грамматике.

В настоящем стандарте константы, переменные и операторы представлены как типы данных объектов. Правила, которым должны подчиняться эти объекты, моделируются в EXPRESS-схеме, которая определяет типы данных объектов.

4.3. Семантика выражений

4.3.1. Семантика выражений

Выражения состоят из операторов и операндов. Семантика выражения определяется:

- диапазоном функции, выполняемой каждым оператором;

- функцией интерпретации, которая связывает соответствующее значение с каждым операндом;

- функцией оценки, которая вычисляет результат каждого оператора в случае ее применения к его операндам.

В настоящем стандарте функция интерпретации моделируется определением подтипа объекта variable_semantics. Функция оценки в настоящем стандарте не рассматривается.

4.3.2. Период обмена и период оценки

Обработка выражений включает в себя следующие два типа процедур, соответствующих периоду обмена и периоду оценки:

1) В период обмена выражение представлено своей структурой. Соответствующий ориентированный ациклический граф моделируется и обменивается. При этом не требуется, чтобы переменные были ограничены какими-либо значениями, но их семантика известна. На этом уровне могут быть выполнены различные виды статического анализа (ацикличность графа, проверка типов, отображаемость на языке SQL).

2) В период оценки выражению может быть присвоено значение. На этом этапе все переменные, встречающиеся в выражении, должны получить какое-либо значение. Динамическая оценка выражения, тестирование и отладка могут быть выполнены на этом уровне.

В настоящем стандарте рассматривается только статический анализ, который соответствует периоду обмена. Обзор различных анализов выражений приведен в приложении F.

4.4. Уровни абстракции при моделировании выражений

Операторы, использованные в ISO_generic_expressions_schema, позволяют определять абстрактные обобщенные выражения, которые могут быть конкретизированы для различных целей и типов данных.

4.4.1. КонкретизацияISO13584_generic_expressions_schema

ISO13584_expressions_schema является конкретизацией схемы ISO13584_generic_expressions_schema. Операторы, используемые в ISO13584_expressions_schema, принадлежат к подмножеству операторов, определенных в ИСО 10303-11. Их диапазон и функция оценки должны соответствовать спецификации, установленной в ИСО 10303-11.

Операнды являются либо константами, представленными в виде литеральных значений, либо переменными, либо другими выражениями. Переменные имеют строго определенный тип и предполагается, что, когда выражение оценивается в некотором контексте, функция интерпретации обеспечивает каждую переменную значением, соответствующим ее типу данных. Если это условие не соблюдается, то результат оценки выражения будет ошибочным.

В приложении Е рассмотрены детали процесса конкретизации и приведен метод создания других возможных конкретизаций ISO13584_generic_expressions_schema.

4.4.2. Конкретизация ISO13584_expressions_schema

ISO13584_expressions_schema может быть конкретизирована, чтобы соответствовать требованиям, которые не ограничиваются операторами с числовыми, строковыми и булевыми значениями, определенными в руководстве по языку EXPRESS в ИСО 10303-11.

Конкретизация ISO13584_expressions_schema заключается либо в расширении схемы за счет добавления определений новых объектов, которые выражают семантику функций, возвращая целое, вещественное, булево или строковое значение, либо в определении новых подтипов variable_semantics.

Объекты, которые выражают семантику функций, должны быть определены как подтипы соответствующего объекта defined_function. Действительно, функция, возвращающая целое, вещественное, булево или строковое значение, соответственно должна быть определена как подтип integer_defined_function, real_defined_function, boolean_defined_function и string_defined_function.

Такая конкретизация совместима со строгой проверкой типа данных, что следует из правил схемы ISO13584_expressions_schema.

В приложении Е установлены детали процесса конкретизации и приведена методика конкретизации ISO13584_expressions_schema.

4.5. Моделирование переменной

Переменная имеет три свойства:

- представляет собой символ (синтаксический), который может быть использован для построения выражения;

- ассоциируется с типом данных, который определяет область ее значений;

- ассоциируется с семантикой, которая определяет ее смысл и, следовательно, ее значение в период оценки.

4.5.1. Синтаксическое представление

В настоящем стандарте переменная является экземпляром объекта generic_variable. Экземпляр такого типа данных связывается с идентификатором, определяющим индивидуальность экземпляра, который вводит в действие символ соответствующей переменной, когда она используется в выражении.

4.5.2. Область значений переменной

Область значений переменной моделируется определением подтипа объекта generic_variable. Этот подход, известный как строгое определение типа, обеспечивает, что тип данных любого выражения может быть вычислен (синтезирован) в период обмена.

4.5.3. Семантика переменной

В ISO13584_generic_expressions_schema должны входить переменные, связанные с variable_semantics. Этот объект определен как ABSTRACT SUPERTYPE и должен быть переопределен через подтип при использовании конкретной семантики. Описание подтипа объекта variable_semantics должно содержать описание контекста, в котором эта переменная должна использоваться. Это описание должно сопровождаться описанием функции интерпретации, которая связывает значение с этой переменной.

Пример - Запись на языке EXPRESS SELF.а является примером variable_semantics. Такая переменная может быть использована только в контексте некоторого экземпляра некоторого класса, в котором появляется ее синтаксическое представление. В рамках этого контекста функция интерпретации является функцией, которая связывает с этой переменной значение атрибута «а» этого экземпляра.

В приложении D приведены различные методы, которые могут быть использованы для определения подтипов объекта variable_semantics, соответствующих некоторым конкретным требованиям. Это обеспечивает конкретизацию определения функции интерпретации через объект variable_semantics.

4.6. Отображаемость на языке SQL

В языках программирования выражения обычно используются для доступа к базам данных. Язык SQL включает только небольшое число операторов и ограничивает использование выражений до заданной категории выражений. Для того чтобы сделать понятным различие между выражениями, которые являются SQL-отображаемыми, и остальными выражениями, специально введенный булев атрибут указывает, является или нет выражение отображаемым на языке SQL.

5. ISO13584_generic_expressions_schema

В данном разделе определены требования к схеме ISO13584_generic_expressions_schema. Приведенное ниже описание на языке EXPRESS представляет собой блок ISO13584_generic_expressions_schema.

EXPRESS-спецификация

*)

SCHEMAISO13584_generic_expressions_schema;

(*

5.1. Введение

ISO13584_generic_expressions_schema представляет собой абстрактный ресурс, который обеспечивает общие рамки для набора всех возможных выражений.

Пример - В параметрической модели фигуры вещественное значение может быть представлено как выражение, операндами которого являются элементы геометрического представления, например distance (point_1, point_2). Геометрический элемент может быть определен геометрическим оператором, например centre_of (circle_1).

Основной структурой является ациклический граф, чьими узлами являются операторы, литеральные значения и переменные. Дуги графа изображают связь операторов со своими аргументами, которые сами являются выражениями.

Схема ISO13584_generic_expressions_schema предоставляет следующие возможности:

- обобщенные константы, соответствующие значениям обрабатываемого типа данных;

- обобщенные переменные, обозначающие значения, интерпретируемые из контекста;

- унарные выражения для унарных операторов;

- бинарные выражения для бинарных операторов;

- выражения большой арности для операторов большой арности.

Каждый конкретный вид выражений получается путем конкретизации (фактически, путем задания подтипа) констант, переменных и операторов, т.е. определения для них обоснованного типа (или типов) данных.

5.2. Определения объектовISO13584_generic_expressions_schema

5.2.1. Объект generic_expression

Объект generic_expression является информационной моделью обобщенного выражения. Он представляет собой ABSTRACT SUPERTYPE (абстрактный супертип) всех возможных выражений. Для того чтобы обеспечить ацикличность выражений, его разбивают на подтипы в соответствии с его арностью. Если подтип generic_expression не является подтипом simple_generic_expression либо unary_generic_expression, либо binary_generic_expression, либо multiple_arity_generic_expression, то он не должен содержать ни одной переменной.

EXPRESS-спецификация

*)

ENTITYgeneric_expression

ABSTRACT SUPERTYPE OF (Oneof (simple_generic_expression,

unary_generic_expression,

binary_generic_expression,

multiple_arity_generic_expression));

WHERE

WR1: is_acyclic (SELF);

END_ENTITY;

(*

Формальное утверждение

WR1 - граф, связанный с описанным выражением, должен быть ациклическим.

Неформальное утверждение

IP1 - либо объект generic_expression не должен содержать ни одной переменной generic_variable, либо он должен быть подтипом simple_generic_expression,unary_generic_expression, либо binary_generic_expression, либоmultiple_arity_generic_expression.

Примечание - Это неформальное утверждение обеспечивает то, что набор переменных, вычисленных функцией used_variable (см. 5.3.2), включает в себя все переменные, имеющиеся в generic_expression.

5.2.2. Объект simple_generic_expression

Объект simple_generic_expression является обобщенным выражением, которое олицетворяет либо обобщенную переменную, либо обобщенный литерал.

EXPRESS-спецификация

*)

ENTITYsimple_generic_expression

ABSTRACT SUPERTYPE OF (ONEOF(generic_literal, generic_variable))

SUBTYPE OF (generic_expression);

END_ENTITY;

(*

5.2.3. Объект generic_literal

Объект generic_literal является абстрактной константой, которая может быть включена в обобщенное выражение.

EXPRESS-спецификация

*)

ENTITY generic_literal

ABSTRACT SUPERTYPE

SUBTYPE OF (simple_generic_expression);

END_ENTITY;

(*

5.2.4. Объект generic_variable

Объект generic_variable является абстрактной переменной, которая может быть включена в обобщенное выражение. Для объекта generic_variable должен быть определен подтип, чтобы установить тип данных допустимых значений этой переменной. Переменная должна быть связана со средой, которая представляет собой функцию интерпретации, связывающую значение с этой переменной.

Примечание - real_numeric_variable, integer_numeric_variable, boolean_numeric_variable и string_numeric_variable являются примерами подтипов объекта generic_variable. Эти подтипы определены в разделе 6.

EXPRESS-спецификация

*)

ENTITYgeneric_variable

ABSTRACT SUPERTYPE

SUBTYPE OF (simple_generic_expression);

INVERSE

interpretation:

environment FOR syntactic_representation;

END_ENTITY;

(*

Определение атрибута

interpretation - объект environment (среда), который позволяет связывать значение с переменной.

5.2.5. Объект variable_semantics

Объект variable_semantics используется для представления смысла generic_variable. Он относится к абстрактному супертипу ABSTRACT SUPERTYPE, для которого должны быть определены подтипы при использовании variable_semantics. Объект variable_semantics должен определять контекст, в рамках которого переменная должна использоваться вместе с функцией интерпретации, связывающей значение с этой переменной.

Пример - При моделировании класса компонентов, которые имеют свойства «a» и «b» с целыми значениями, ограничение, устанавливающее, что для каждого экземпляра этого класса значение «a» должно быть больше значения «b», может быть смоделировано посредством:

- двух экземпляров real_variable;

- двух экземпляров self_property_semantics, являющегося подтипом variable_semantics, которые относятся к свойству «a» и свойству «b», соответственно;

- выражения boolean expression между двумя объектами real_variable, которое указывает, что первый объект больше, чем второй.

EXPRESS-спецификация

*)

ENTITYvariable_semantics

ABSTRACT SUPERTYPE;

END_ENTITY;

(*

5.2.6. Объект environment

Объект environment обеспечивает связь между синтаксисом и семантикой переменной. Он представляет собой функцию интерпретации, которая связывает значение с generic_variable.

EXPRESS-спецификация

*)

ENTITY environment;

syntactic_representation: generic_variable;

semantics: variable_semantics;

END_ENTITY;

(*

Определения атрибутов

syntactic_representation - объект generic_variable, который обозначает значение переменной;

semantics - смысл переменной, который включает в себя механизм для доступа к ее значению.

;