ГОСТ Р ИСО 13584-20—2006
П р и м е ч а н и е — Определение оператора включает в себя определение типов данных его операндов и
результата.
3.3.10 семантика (semantics): Смысл заданного понятия.
Пример — Семантикой переменной является смысл, выраженный посредством этой переменной.
П р и м е ч а н и е — Вконтекстенастоящегостандартасемантикапредставленаобъектом
variable_semantics. Типом этого объекта является ABSTRACT SUPERTYPE, который может быть использовандля
передачи конкретных смыслов и значений.
3.3.11 синтаксическое представление (syntactic representation): Последовательность симво
лов. которая представляет заданное понятие.
П р и м е ч а н и я
1 В общепринятых языках программирования последовательность символов, используемая для представ
ления различных понятий, должна подчиняться наборуправил, называемому синтаксисом языка.
2 В контексте настоящего стандарта синтаксическое представление представляет собой имя экземпляра
объекта (типа данных).
3.3.12 контрольтипа(typecontrol): Операция, которая позволяетопределить, правильноили нет
данное выражение отнесено копределенномутипу.
П р и м е ч а н и я
1 Выражение отнесено копределенномутипу правильно,если тип данных каждого операнда каждогоопера
тора этого выражения соответствует требуемому типу данных.
2 В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.
3.3.13 синтез типа (type synthesis): Определение типа данных выражения.
П р и м е ч а н и е — В схеме IS013584_expresslone_schema тип данных каждой константы, переменной
или результата оператора передается объектом, который ее представляет, поэтому тип данных выражения
expression может быть выведен из результата EXPRESS-функции TYPEOF. примененной к узлу, который пред
ставляет это выражение.
3.3.14 унарный опоратор (unaryoperator): Оператор, арность которого равна единице.
3.3.15 переменная (variable): Представлениезначения, котороедолжно принадлежатькопреде
ленному типуданных.
3.4 Сокращения
Внастоящемстандартеиспользуетсяследующеесокращение,установленноев
ИСО/МЭК9075:1992:
SQL — Structured Query Language (структурированный язык запросов).
4 Основные понятия идопущения
4.1 Статические идинамические данные
При обмене информацией из библиотеки деталей возникает необходимость обмениваться не
толькостатическимисвойствами, которыемогутбытьсмоделированы в видеданных, нотакжеидинами
ческимихарактеристиками, которые выражают, например, какзначениесвойства можетбытьвыведено
из значений других свойств. Выражения являются одной из структур, которые способны моделировать
динамические характеристики.
Настоящий стандарт устанавливает форму однозначного представления и обмена машим-
но-интерпретируемыми выражениями.
4.2 Синтаксис выражений
Синтаксис выражений состоит из ряда символов, которые являются константами, переменными и
операторами этого выражения. В текстовых языках эти символы подчиняются набору правил, обычно
определяемому в грамматике.
В настоящем стандарте константы, переменные и операторы представлены кактипыданных объ
ектов. Правила, которым должны подчиняться эти объекты, моделируются в EXPRESS-схеме. которая
определяет типыданных объектов.
3