ГОСТ Р ИСО 13584-20—2006
3.1.3 тип данных объекта (entity data type): Представление объекта. Типданных объекта уста
навливаетобласть значений, определяемую общими атрибутами и ограничениями.
3.1.4 экземпляр объекта (типа данных) (entity(datatype)instance): Обозначенныйблокданных,
который представляет блок информации внутри класса, определенного объектом, и принадлежит к
областизначений, установленной типом данных объекта.
3.2Термины, определенные в ИС010303-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 арность оператора (arityof an operator): Максимальное число операндов, которыедолжны
бытьсвязаны с оператором.
3.3.2 бинарный оператор (binary operator): Оператор, арностькоторого равнадвум.
3.3.3 среда (environment): Связь между синтаксисом исемантикой.
П р и м е ч а н и е — В контексте настоящего стандарта объект environment привязывает к объекту
generic.variable (синтаксису) соответствующее ему значение (семантику), представленное объектом
varlable_semantics.
3.3.4 оценка (evaluation): Вычисление значения, представленного в виде выражения.
3.3.5 выражение (expression): НаборпеременныхиУиликонстант, которые объединяютсяопера
торами.
П р и м е ч а н и я
1 Выражение определяет функцию, чьими аргументами являются переменные, встречающиеся в выраже
нии.
2 Структурой, представляющей выражение, является ориентированный ациклический граф, узлами которо
го являются операторы, константы и переменные. Связи в этом графе представляют собой однонаправленное
отношение каждого оператора со своими аргументами, которые также могут быть выражениями.
3.3.6 тип данных выражения (expression data type): Область, в которойдолжны находиться зна
чения результата выражения.
П р и м е ч а н и е — В настоящем стандарте контроль типа и синтез типа проводят только для схемы
IS013584_expreselons_schema. Контроль типа обеспечивается структурой и правилами этой EXPRESS-схемы.
Синтез типа выполняется EXPRESS-функцией TYPEOF. которая определяет, принадлежитли объект expression к
numerlc_expression. Boolean expresslon или strlng_expresslon. а также функцией ls_lnt. которая определяет,
относится ли значение numerlc.expression ктипу 1NTEGER.
3.3.7 интерпретация (interpretation): Функция, которая возвращает семантику, связанную с каж
дой переменной.
П р и м е ч а н и е — Данная функция использует среду, которая связываетпеременную с соответствующей
ей семантикой (и. может быть, с ее возможным значением).
3.3.8 оператор большой арности (multiple arity operator): Оператор, арность которого больше
двух.
3.3.9 оператор (operator): Функция, которая соединяет одно или несколько значений, называе
мыхоперандами, чтобы выработатьзначение, называемое результатом.
2