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

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

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

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

Часть 20

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

Industrial automation systems and integration. Parts library.
Part 20. Logical resource. Logical model of expressions

     
     
ОКС 25.040.40

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

     
     

Предисловие

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

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

3 УТВЕРЖДЕН И ВВЕДЕН В ДЕЙСТВИЕ Приказом Федерального агентства по техническому регулированию и метрологии от 27 декабря 2006 г. N 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", IDT).

________________

* Доступ к международным и зарубежным документам, упомянутым в тексте, можно получить, обратившись в Службу поддержки пользователей. - Примечание изготовителя базы данных.

           

При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты, сведения о которых приведены в дополнительном приложении ДА

           

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

6 ПЕРЕИЗДАНИЕ. Март 2020 г.

Правила применения настоящего стандарта установлены в статье 26 Федерального закона от 29 июня 2015 г. N 162-ФЗ "О стандартизации в Российской Федерации". Информация об изменениях к настоящему стандарту публикуется в ежегодном (по состоянию на 1 января текущего года) информационном указателе "Национальные стандарты", а официальный текст изменений и поправок - в ежемесячном информационном указателе "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ближайшем выпуске ежемесячного информационного указателя "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет (www.gost.ru)

Введение

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

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

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

           

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В настоящем стандарте использованы нормативные ссылки на следующие стандарты. Для датированных ссылок применяют только указанное издание ссылочного стандарта, для недатированных - последнее издание (включая все изменения).

ISO/IEC 9075:1992, Information technology - Database languages - SQL (Информационные технологии. Языки баз данных. SQL)

________________

Заменен на ISO/IEC 9075-1:2016, ISO/IEC 9075-2:2016, ISO/IEC 9075-3:2016, ISO/IEC 9075-4:2016.

ISO 10303-11:1994, Industrial automation systems and integration - Product data representation and exchange - Part 11: Description methods: The EXPRESS language reference manual (Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS)

________________

Заменен на ISO 10303-11:2004.

ISO 10303-44:1994, Industrial automation systems and integration - Product data representation and exchange - Part 44: Integrated generic resources: Product structure configuration (Системы  автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 44. Интегрированные обобщенные ресурсы. Конфигурация структуры изделия)

________________

Заменен на ISO 10303-44:2019.

     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. Типом этого объекта является ABSTRACT SUPERTYPE, который может быть использован для передачи конкретных смыслов и значений.

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.

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

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

4.4.2 Конкретизация ISО13584_expressions_schema

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

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

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

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

В приложении Е установлены детали процесса конкретизации и приведена методика конкретизации ISО13584_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.a является примером 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-спецификация

     
     

     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-спецификация

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

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

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

IР1 - либо объект 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-спецификация

5.2.3 Объект generic_literal

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

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

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-спецификация

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

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

5.2.5 Объект variable_semantics

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

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

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

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

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

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

5.2.6 Объект environment

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

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

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

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

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

5.2.7 Объект unary_generic_expression

Объект unary_generic_expression является абстрактным супертипом ABSTRACT SUPERTYPE для всех унарных операторов.

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

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

operand - обобщенное выражение, которое представляет собой операнд унарного оператора.

5.2.8 Объект binary_generic_expression

Объект binary_generic_expression является абстрактным супертипом ABSTRACT SUPERTYPE для всех бинарных операторов.

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

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

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

5.2.9 Объект multiple_arity_generic_expression

Объект multiple_arity_generic_expression является абстрактным супертипом ABSTRACT SUPERTYPE для всех операторов большой арности.

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

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

operands - список обобщенных выражений, которые представляют собой операнды оператора большой арности.

     5.3 Определения функций ISO13584_generic_expressions_schema

В данном подразделе определены функции схемы ISO13584_generic_expressions_schema.

5.3.1 Функция is_acyclic

Функция is_acyclic проверяет наличие цикла в рассматриваемом графе выражения. В ней определены две функции. Первая (is_acyclic) имеет в качестве аргумента объект generic_expression, который должен быть проверен. Затем эта функция вызывает вторую (acyclic) с двумя аргументами: generic_expression и пустой набор. Этот набор должен быть модифицирован в результате выполнения функции таким образом, чтобы он содержал набор всех узлов, уже прослеженных по цепочке рекурсивных вызовов вниз до данного узла.

Функция is_acyclic возвращает значение TRUE (истина), если представленная аргументом arg структура является ориентированным ациклическим графом, в противном случае она возвращает значение FALSE (ложь).

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

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

5.3.2 Функция used_variables

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

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

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

     
 

     6 ISO13584_expressions_schema

В данном разделе установлены требования к ISO13584_expressions_schema. Следующее описание на языке EXPRESS представляет блок ISO13584_expressions_schema и устанавливает необходимые внешние ссылки.

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

     
     

     6.1 Введение

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

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

ISO13584_expressions_schema обеспечивает строгое определение типа выражения. Любое выражение обозначает либо числовое, либо строковое, либо булево значение. Этот тип данных может быть вычислен по структуре выражения. Чтобы дать возможность включить в выражение либо generic_expression, либо функцию, определенную в приложении, тип данных результата которой является либо числом, либо строкой, либо булевым значением, ISO13584_expressions_schema содержит следующие абстрактные объекты: numeric_defined_function, integer_defined_function, real_defined_function, string_defined_function и boolean_defined_function. Значение, передаваемое любым из этих объектов, должно соответствовать типу данных значения, связанного с этим объектом. Предполагается, что generic_expression, которое не является подтипом одного из этих объектов, имеет значение, тип данных которого не является одним из типов, которые моделируются ISO13584_expressions_schema.

ISO13584_expressions_schema содержит информацию о том, может или нет выражение быть отображено на языке SQL, определение которого приведено в ИСО/МЭК 9075. Чтобы дать возможность включить в выражение либо generic_expression, либо функцию, определенную в приложении, которая может быть отображена на языке SQL, ISO13584_expressions_schema содержит абстрактный объект SQL_mappable_defined_function. Объект generic_expression, который является подтипом этого объекта, должен быть отображаемым на языке SQL. Предполагается, что объект generic_expression, который не является подтипом этого объекта, имеет структуру, которая не может быть отображена на языке SQL.

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

     6.2 Определения общих объектов ISO13584_expressions_schema

6.2.1 Объект expression

Объект expression является частным случаем объекта generic_expression, ограниченным числовой, булевой или строковой областью значений.

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

6.2.1.1 Объект variable обозначает значение, интерпретированное из некоторого контекста.

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

6.2.1.2 Объект defined_function является функцией (строго определенного типа), которая предназначена для создания на ее основе подтипов в информационных моделях, в которых используется ISO13584_expressions_schema.

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

6.2.1.3 Объект SQL_mappable_defined_function является функцией, которая предназначена для создания на ее основе подтипов в информационных моделях, в которых используется ISO13584_expressions_schema, для указания того, что некоторое выражение generic_expression является отображаемым на языке SQL.

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

     
     

     6.3 ISO13584_expressions_schema: определения объектов для числовых выражений

6.3.1 Объект numeric_expression

Объект numeric_expression представляет собой выражение, диапазоном которого является тип данных NUMBER, определенный в 8.1.1 ИСО 10303-11.

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

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

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

sql_mappable - булев атрибут, который показывает, является ли выражение отображаемым на языке SQL.

6.3.2 Объект simple_numeric_expression

Объект simple_numeric_expression представляет собой либо числовой литерал, либо числовую переменную.

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

6.3.3 Объект literal_number

Объект literal_number представляет собой литерал языка EXPRESS числового типа (NUMBER). Объект literal_number может быть либо целым литералом, либо вещественным литералом.

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

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

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

the_value - значение литерала NUMBER.

6.3.4 Объект int_literal

Объект int_literal представляет собой литерал языка EXPRESS типа INTEGER.

Примечание - Литерал языка EXPRESS типа INTEGER представляет собой целое число VALUE, которое состоит из одной или более цифр.

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

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

the_value - значение литерала INTEGER.

6.3.5 Объект real_literal

Объект real_literal представляет собой литерал языка EXPRESS типа REAL.

Примечание - Литерал языка EXPRESS типа REAL представляет собой целое число VALUE, которое состоит из мантиссы и необязательной экспоненты; мантисса должна содержать десятичную точку.

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

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

the_value - значение литерала REAL.

6.3.6 Объект numeric_variable

Объект numeric_variable является переменной, которая представляет собой значение числа.

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

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

WR1 - объект numeric_variable может быть только целой или вещественной переменной.

6.3.7 Объект int_numeric_variable

Объект int_numeric_variable является переменной, которая представляет собой значение целого числа.

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

6.3.8 Объект real_numeric_variable

Объект real_numeric_variable является переменной, которая представляет собой значение вещественного числа.

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

6.3.9 Объект unary_numeric_expression

Объект unary_numeric_expression является унарным оператором, диапазоном которого является тип данных NUMBER по ИСО 10303-11.

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

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

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

6.3.10 Объект binary_numeric_expression

Объект binary_numeric_expression является бинарным оператором, диапазоном которого является тип данных NUMBER по ИСО 10303-11.

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

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

operands - список, содержащий два параметра бинарного оператора.

6.3.11 Объект multiple_arity_numeric_expression

Объект multiple_arity_numeric_expression является оператором большой арности, диапазоном которого является тип данных NUMBER по ИСО 10303-11.

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

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

operands - список, содержащий параметры оператора большой арности. Длина этого списка равна арности оператора.

6.3.12 Объект length_function

Объект length_function включает в себя семантику функции LENGTH по ИСО 10303-11.

Примечание - Функция LENGTH возвращает число символов в строке. Ее параметром является объект string_expression, содержащий значение строкового типа данных. Результатом выполнения функции является возвращенное значение, которое представляет собой число символов в строке; оно должно быть больше или равно нулю.

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

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

SELF\unary_generic_expression.operand - строка, длина которой вычисляется с помощью функции length_function.

6.3.13 Объект value_function

Объект value_function включает в себя семантику функции VALUE по ИСО 10303-11. Если значение, представленное объектом string_expression, который соответствует унаследованному атрибуту operand, является целым числом, должен быть использован подтип int_value_function.

Примечание - Функция VALUE возвращает числовое представление строки. Ее параметром является объект string_expression, содержащий значение строкового типа данных. Результатом выполнения функции является число, соответствующее представлению строки.

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

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

SELF\unary_generic_expression.operand - строковое выражение, значение которого вычисляется функцией value_function.

6.3.14 Объект int_value_function

Объект int_value_function включает в себя семантику функции VALUE по ИСО 10303-11 и констатирует, что объект string_expression, который соответствует унаследованному атрибуту operand, представляет собой целое число.

Примечание - Функция INTEGER VALUE возвращает целочисленное представление строки. Ее параметром является объект string_expression, содержащий значение строкового типа данных. Результатом выполнения функции является целое число, соответствующее представлению строки.

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

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

IP1 - объект string_expression, который соответствует атрибуту operand, должен быть выражен строкой, представляющей собой целое число.

6.3.15 Объект numeric_defined_function

Объект numeric_defined_function является функцией, областью значений которой является тип данных NUMBER по ИСО 10303-11.

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

6.3.16 Объект plus_expression

Объект plus_expression включает в себя семантику оператора '+' по ИСО 10303-11, относящуюся к типу данных NUMBER.

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

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

6.3.17 Объект minus_expression

Объект minus_expression включает в себя семантику оператора '-' по ИСО 10303-11, относящуюся к типу данных NUMBER.

Примечание - Minus_expression является выражением, которое вычисляет разность своих операндов. В ISO13584_expressions_schema все такие операнды должны быть выражены числами, относящимися к области числового типа данных.

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

6.3.18 Объект mult_expression

Объект mult_expression включает в себя семантику оператора '*' по ИСО 10303-11, относящуюся к типу данных NUMBER.

Примечание - Объект mult_expression является выражением, которое вычисляет произведение всех своих операндов. В ISO13584_expressions_schema все такие операнды должны быть выражены числами, относящимися к области числового типа данных.

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

6.3.19 Объект div_expression

Объект div_expression включает в себя семантику оператора языка EXPRESS 'DIV' по ИСО 10303-11, относящуюся к типу данных NUMBER.

Примечание - Объект div_expression является выражением, которое вычисляет целое частное своих операндов. В ISO13584_expressions_schema все такие операнды должны быть выражены числами, относящимися к области числового типа данных. Результатом является целое число.

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

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

IP1 - оценкой SELF\binary_generic_expression.operands[2] не должен быть 0.

6.3.20 Объект mod_expression

Объект mod_expression включает в себя семантику оператора языка EXPRESS 'MOD' по ИСО 10303-11, относящуюся к типу данных NUMBER.

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

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

6.3.21 Объект slash_expression

Объект slash_expression включает в себя семантику оператора языка EXPRESS '/' по ИСО 10303-11, относящуюся к типу данных NUMBER.

Примечание - Объект slash_expression является выражением, которое вычисляет вещественный результат деления первого аргумента на второй. Его операнды должны быть выражены числами, относящимися к области числового типа данных. Результатом является число.

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

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

IP1 - оценкой SELF\binary_generic_expression.operands[2] не должен быть 0.

6.3.22 Объект power_expression

Объект power_expression включает в себя семантику оператора языка EXPRESS '/' по ИСО 10303-11, относящуюся к типу данных NUMBER.

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

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

6.3.23 Объект unary_function_call

Объект unary_function_call является унарным оператором, относящимся к типу данных NUMBER по ИСО 10303-11.

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

6.3.24 Объект binary_function_call

Объект binary_function_call является бинарным оператором, относящимся к типу данных NUMBER по ИСО 10303-11.

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

6.3.25 Объект multiple_arity_function_call

Объект multiple_arity_function_call является оператором большой арности, относящимся к типу данных NUMBER по ИСО 10303-11.

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

6.3.26 Объект abs_function

Объект abs_function включает в себя семантику функции 'ABS' по ИСО 10303-11, относящуюся к типу данных NUMBER по ИСО 10303-11.

Примечание - Функция АВS возвращает абсолютное значение числа. Ее параметром является объект numeric_expression, содержащий значение числового типа данных. Результатом выполнения функции является абсолютное значение параметра. Возвращаемый тип данных идентичен типу данных параметра.

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

6.3.27 Объект minus_function

Объект minus_function включает в себя семантику унарного оператора языка EXPRESS '-' по ИСО 10303-11, относящуюся к типу данных NUMBER по ИСО 10303-11.

Примечание - Функция MINUS возвращает инвертированное значение числа. Ее параметром является объект numeric_expression, содержащий значение числового типа данных. Результатом выполнения функции является инвертированное значение параметра. Возвращаемый тип данных идентичен типу данных параметра.

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

6.3.28 Объект sin_function

Объект sin_function включает в себя семантику функции языка EXPRESS 'SIN' по ИСО 10303-11.

Примечание - Функция SIN возвращает значение синуса угла. Ее параметром является объект numeric_expression, содержащий значение числового типа данных, представляющее собой угол, выраженный в радианах. Результатом выполнения функции является синус параметра (-1,0 результат 1,0).

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

6.3.29 Объект cos_function

Объект cos_functlon включает в себя семантику функции языка EXPRESS 'COS' по ИСО 10303-11.

Примечание - Функция COS возвращает значение косинуса угла. Ее параметром является объект numeric_expression, содержащий значение числового типа данных, представляющее собой угол, выраженный в радианах. Результатом выполнения функции является косинус параметра (-1,0 результат 1,0).

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

6.3.30 Объект tan_function

Объект tan_function включает в себя семантику функции языка EXPRESS 'TAN' по ИСO 10303-11.

Примечание - Функция TAN возвращает значение тангенса угла. Ее параметром является объект numeric_expression, содержащий значение числового типа данных, представляющее собой угол, выраженный в радианах. Результатом выполнения функции является тангенс параметра.

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

6.3.31 Объект asin_function

Объект asin_function включает в себя семантику функции языка EXPRESS 'ASIN' по ИСО 10303-11.

Примечание - Функция ASIN возвращает угол, соответствующий заданному значению синуса. Ее параметром является объект numeric_expression, содержащий значение числового типа данных, представляющее собой синус угла, выраженного в радианах. Результатом выполнения функции является угол, выраженный в радианах ( результат ), синус которого задан параметром.

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

6.3.32 Объект acos_function

Объект acos_function включает в себя семантику функции языка EXPRESS 'ACOS' по ИСО 10303-11.

Примечание - Функция ACOS возвращает угол, соответствующий заданному значению косинуса. Ее параметром является объект numeric_expression, содержащий значение числового типа данных, представляющее собой косинус угла, выраженного в радианах. Результатом выполнения функции является угол, выраженный в радианах ( результат ), косинус которого задан параметром.

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

6.3.33 Объект exp_function

Объект exp_function включает в себя семантику функции языка EXPRESS 'ЕХР' по ИСО 10303-11.

Примечание - Функция ЕХР возвращает значение (основание системы натуральных логарифмов), возведенное в степень, заданную значением параметра. Ее параметром является объект numeric_expression, содержащий значение числового типа данных, представляющее значение параметра. Результатом выполнения функции является значение , возведенное в степень, заданную значением параметра.

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

6.3.34 Объект log_function

Объект log_function включает в себя семантику функции языка EXPRESS 'LOG' по ИСО 10303-11.

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

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

6.3.35 Объект log2_function

Объект log2_function включает в себя семантику функции языка EXPRESS 'LOG2' по ИСО 10303-11.

Примечание - Функция LOG2 возвращает логарифм числа по основанию 2. Ее параметром является объект numeric_expression, содержащий значение числового типа данных, представляющее собой значение параметра, которое должно быть больше нуля. Результатом выполнения функции является вещественное число, которое является логарифмом по основанию 2 значения параметра.

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

6.3.36 Объект log10_function

Объект log10_function включает в себя семантику функции языка EXPRESS 'LOG10' по ИСО 10303-11.

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

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

6.3.37 Объект square_root_function

Объект square_root_function включает в себя семантику функции языка EXPRESS 'SQRT' по ИСО 10303-11.

Примечание - Функция SQRT (квадратный корень) возвращает неотрицательное значение квадратного корня числа. Ее параметром является объект numeric_expression, содержащий значение числового типа данных, представляющее собой значение параметра, которое должно быть больше нуля. Результатом выполнения функции является неотрицательное вещественное число, которое является квадратным корнем значения параметра.

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

6.3.38 Объект atan_function

Объект atan_function включает в себя семантику функции языка EXPRESS 'ATAN' по ИСО 10303-11.

Примечание - Функция ATAN возвращает угол, соответствующий заданному значению тангенса, представленного параметрами. Ее параметрами являются два объекта numeric_expression, представляющие собой значение SELF\binary_generic_expression[1]/SELF/binary_generic_expression[2]. Результатом выполнения функции является угол, выраженный в радианах ( результат ), тангенс которого задан параметрами. Если значением второго выражения, соответствующего SELF\binary_generic_expression[2] является 0, то результат равен или в зависимости от знака SELF\binary_generic_expression[1].

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

6.3.39 Объект maximum_function

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

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

6.3.40 Объект minimum_function

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

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

6.3.41 Объект integer_defined_function

Объект integer_defined_function представляет собой любую функцию, областью значений которой является тип данных INTEGER по ИСО 10303-11.

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

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

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

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

6.3.42 Объект real_defined_function

Объект real_defined_function представляет собой любую функцию, областью значений которой является тип данных REAL по ИСО 10303-11.

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

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

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

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

     6.4 Определения объектов булевых выражений

Объект boolean_expression представляет собой выражение, областью значений которого является тип данных BOOLEAN по ИСО 10303-11.

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

6.4.1 Объект simple_boolean_expression

Объект simple_boolean_expression представляет собой унарный оператор, областью значений которого является тип данных BOOLEAN по ИСО 10303-11.

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

6.4.2 Объект boolean_literal

Объект boolean_iteral представляет собой литерал типа BOOLEAN языка EXPRESS.

Примечание - Областью значений типа данных Boolean языка EXPRESS является набор, содержащий два литерала TRUE (истина) и FALSE (ложь).

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

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

the value - значение литерала BOOLEAN.

6.4.3 Объект boolean_variable

Объект boolean_variable представляет собой переменную, которая обозначает булево значение.

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

6.4.4 Объект unary_boolean_expression

Объект unary_boolean_expression представляет собой унарный оператор, областью значений которого является тип данных BOOLEAN по ИСО 10303-11.

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

6.4.5 Объект not_expression

Объект not_expression включает в себя семантику отрицания 'NOT', применяемого к оператору булевого типа данных по ИСО 10303-11.

Примечание - Для оператора NOT требуется один булевый операнд и его результатом является булево значение.

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

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

SELF\unary_generic_expression.operand - выражение boolean_expression, которое представляет собой операнд оператора 'NOT'.

6.4.6 Объект odd_function

Объект odd_function включает в себя семантику оператора языка EXPRESS 'ODD' по ИСО 10303-11.

Примечание - Функция ODD возвращает значение TRUE или FALSE в зависимости от того, является число нечетным или четным. Ее параметром является числовое выражение, значение которого принадлежит к целому типу данных. В качестве результата функция возвращает значение TRUE, если значение параметра по модулю 2 равно 1, и FALSE - в противном случае.

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

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

SELF\unary_generic_expression.operand - выражение numeric_expression, которое представляет собой операнд функции 'ODD'.

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

WR1 - операнд представляет собой выражение numeric_expression, областью значений которого является тип данных INTEGER языка EXPRESS.

6.4.7 Объект binary_boolean_expression

Объект binary_boolean_expression представляет собой бинарный оператор, областью значений которого является тип данных BOOLEAN языка EXPRESS по ИСО 10303-11.

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

6.4.8 Объект multiple_arity_boolean_expression

Объект multiple_arity_boolean_expression представляет собой оператор большой арности, областью значений которого является тип данных BOOLEAN языка EXPRESS по ИСО 10303-11.

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

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

operands - экземпляры объекта boolean_expression, которые представляют собой параметры оператора большой арности.

6.4.9 Объект xor_expression

Объект xor_expression включает в себя семантику оператора 'XOR' по ИСО 10303-11.

Примечание - Для оператора XOR требуются два булевых операнда, и он вычисляет булево значение, которое является исключающей дизъюнкцией двух операндов.

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

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

operands - два операнда boolean_expression оператора XOR, которые должны представлять собой булевы выражения.

6.4.10 Объект equals_expression

Объект equals_expression включает в себя семантику оператора равенства экземпляров ':=:' по ИСО 10303-11, областью значений которого являются объекты типа данных generic_expression.

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

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

6.4.11 Объект and_expression

Объект and_expression включает в себя семантику оператора 'AND' по ИСО 10303-11 и использует свойство ассоциативности для работы с большой арностью.

Примечание - Для оператора AND требуются по крайней мере два булевых выражения, и он вычисляет булево значение, которое является конъюнкцией двух операндов.

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

6.4.12 Объект or_expression

Объект or_expression включает в себя семантику оператора 'OR' по ИСО 10303-11 и использует свойство ассоциативности для работы с большой арностью.

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

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

6.4.13 Объект comparison_expression

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

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

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

operands - список объектов generic_expressions, содержащий выражения, подлежащие сравнению.

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

WR1 - операнды comparison_expression должны быть совместимыми по типу.

6.4.14 Объект comparison_equal

Объект comparison_equal включает в себя семантику оператора равенства значений ('=') по ИСО 10303-11, ограниченного типами данных NUMBER, BOOLEAN и STRING языка EXPRESS. Оба операнда должны иметь один и тот же тип данных.

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

Примечание - Объект comparison_equal имеет значение TRUE, если оба операнда имеют одно и то же значение.

6.4.15 Comparison_greater

Объект comparison_greater включает в себя семантику оператора '>' (больше чем) по ИСО 10303-11, ограниченного типами данных NUMBER, BOOLEAN и STRING языка EXPRESS. Оба операнда должны иметь один и тот же тип данных.

Примечание - Объект comparison_greater имеет значение TRUE, если значение первого операнда больше, чем значение второго операнда. Соответствующими порядками старшинства являются:

- математическое упорядочение вещественных чисел;

- FALSE<TRUE;

- лексикографический порядок в строках.

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

6.4.16 Объект comparison_greater_equal

Объект comparison_greater_equal включает в себя семантику оператора '>=' (больше или равно) по ИСО 10303-11, ограниченного типами данных NUMBER, BOOLEAN и STRING языка EXPRESS. Оба операнда должны иметь один и тот же тип данных.

Примечание - Объект comparison_greater_equal имеет значение TRUE, если значение первого операнда больше или равно значению второго операнда. Соответствующими порядками старшинства являются:

- математическое упорядочение вещественных чисел;

- FALSE<TRUE;

- лексикографический порядок в строках.

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

6.4.17 Объект comparison_less

Объект comparison_less включает в себя семантику оператора '<' (меньше чем) по ИСО 10303-11, ограниченного типами данных NUMBER, BOOLEAN и STRING языка EXPRESS. Оба операнда должны иметь один и тот же тип данных.

Примечание - Объект comparison_less имеет значение TRUE, если первый операнд имеет меньшее значение, чем второй операнд. Соответствующими порядками старшинства являются:

- математическое упорядочение вещественных чисел;

- FALSE<TRUE;

- лексикографический порядок в строках.

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

6.4.18 Объект comparison_less_equal

Объект comparison_less_equal включает в себя семантику оператора языка EXPRESS '<=' (меньше или равно) по ИСО 10303-11, ограниченного типами данных NUMBER, BOOLEAN и STRING языка EXPRESS. Оба операнда должны иметь один и тот же тип данных.

Примечание - Объект comparison_less_equal имеет значение TRUE, если значение первого операнда меньше или равно значению второго операнда. Соответствующими порядками старшинства являются:

- математическое упорядочение вещественных чисел;

- FALSE<TRUE;

- лексикографический порядок в строках.

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

6.4.19 Объект comparison_not_equal

Объект comparison_not_equal включает в себя семантику оператора '<>' (значения не равны) по ИСО 10303-11, ограниченного типами данных NUMBER, BOOLEAN и STRING языка EXPRESS. Оба операнда должны иметь один и тот же тип данных.

Примечание - Объект comparison_not_equal имеет значение TRUE, если первый операнд имеет значение, отличающееся от значения второго операнда. Соответствующими порядками старшинства являются:

- математическое упорядочение вещественных чисел;

- FALSE<TRUE;

- лексикографический порядок в строках.

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

6.4.20 Объект like_expression

Объект like_expression включает в себя семантику оператора соответствия строк LIKE по ИСО 10303-11. Первый операнд является целевой строкой; второй операнд - образцовой строкой. Специальные символы [часто называемые безразличными символами (wild cards)] в образцовой строке определены в ИСО 10303-11.

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

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

WR1 - список операндов должен содержать два выражения generic_expression, которые являются выражениями типа string_expression.

6.4.21 Объект interval_expression

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

Примечание - Выражение interval_expression проверяет, находится или нет значение в пределах заданного интервала. Оно принимает значение TRUE, если interval_low<=interval_item<=interval_high. Соответствующими порядками старшинства являются:

- математическое упорядочение вещественных чисел;

- лексикографический порядок в строках.

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

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

interval_low - операнд, задающий нижнюю границу (bound_1) интервального выражения (пункт 12.2.4 ИСО 10303-11);

interval_high - операнд, задающий верхнюю границу (bound_2) интервального выражения (пункт 12.2.4 ИСО 10303-11);

interval_item - операнд interval_item интервального выражения (пункт 12.2.4 ИСО 10303-11).

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

WR1 - операнды должны иметь тип данных expression.

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

6.4.22 Объект boolean_defined_function

Объект boolean_defined_function представляет собой любой оператор, определенный в прикладной программе, областью значений которого является тип данных BOOLEAN по ИСО 10303-11.

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

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

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

     6.5 Определения объектов строковых выражений

Объект string_expression представляет собой выражение, областью значений которого является тип данных STRING языка EXPRESS по ИСО 10303-11.

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

6.5.1 Объект simple_string_expression

Объект simple_string_expression представляет собой унарный оператор, областью значений которого является тип данных STRING языка EXPRESS по ИСО 10303-11.

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

6.5.2 Объект string_literal

Объект string_literal представляет собой литерал типа STRING языка EXPRESS.

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

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

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

the_value - значение литерала STRING.

6.5.3 Объект string_variable

Объект string_variable представляет собой переменную, которая обозначает значение типа STRING.

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

6.5.4 Объект index_expression

Объект index_expression включает в себя семантику оператора индексирования строки ([]) по ИСО 10303-11.

Примечание - У строкового оператора index_expression есть два операнда: строковое значение (представленное атрибутом operand) индексируется значением индекса (представленного атрибутом index). Результирующее строковое значение представляет собой символ, расположенный на позиции, определяемой значением атрибута index.

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

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

operand - объект string_expression, который представляет литерал STRING;

index - целочисленное выражение numeric_expression, которое показывает значение индекса.

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

WR1 - первый операнд должен быть объектом string_expression, а второй операнд - объектом numeric_expression.

WR2 - позиция, определяемая операндом index, должна иметь целое значение.

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

IР1 - операнд index должен иметь значение типа INTEGER, которые больше нуля и меньше или равно длине строки, заданной операндом STRING.

6.5.5 Объект substring_expression

Объект substring_expression включает в себя семантику оператора индексирования подстроки ([:]) по ИСО 10303-11.

Примечание - У строкового оператора substring_expression есть три операнда: строковое значение (представленное атрибутом operand) индексируется значением индекса (представленного атрибутами index1 и index2). Оператор substring_expression вычисляет строковое значение длиной (index2 - index1+1). В результате строковое значение эквивалентно последовательности символов, расположенных с позиции index1 по позицию index2.

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

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

operand - объект string_expression, из которого выделяется подстрока;

index1 - объект numeric_expression, который показывает нижнюю границу подстроки в operand;

index2 - объект numeric_expression, который показывает верхнюю границу подстроки в operand.

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

WR1 - операнд должен быть объектом string_expression; index1 и index2 должны быть объектами numeric_expression.

WR2 - список операндов объекта substring_expression должен содержать три элемента.

WR3 - операнд index1 должен иметь значение типа INTEGER.

WR3 - операнд index2 должен иметь значение типа INTEGER.

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

IР1 - операнды index1 и index2 должны иметь значения типа INTEGER, которые больше нуля и меньше или равны длине строки, заданной операндом STRING.

IР2 - значение index1 должно быть меньше или равно значению index2.

6.5.6 Объект concat_expression

Объект concat_expression включает в себя семантику оператора конкатенации (+) по ИСО 10303-11, относящуюся к типу данных STRING.

Примечание - У оператора concat_expression есть по крайней мере два операнда типа string_expression. Он вычисляет строковое значение, являющееся результатом конкатенации всех элементов списка SELF\multiple_arity_generic_expression.operands. Конкатенация этих элементов осуществляется в порядке их расположения в списке.

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

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

SELF\multiple_arity_generic_expression.operands - выражения типа string_expression, которые подлежат конкатенации.

6.5.7 Объект format_function

Объект format_function включает в себя семантику функции FORMAT по ИСО 10303-11.

Примечание - Функция format_function возвращает отформатированное строковое представление числа. Ее параметрами являются: numeric_expression, соответствующее операнду value_to_format, которое выражается в виде вещественного или целого числа, и string_expression, соответствующее операнду format_string, которое выражается в виде строки, содержащей команды форматирования. Результатом функции является строковое представление значения операнда value_to_format, соответствующее значению операнда format_string. Строка форматирования содержит специальные символы, которые указывают, какой формат должен быть у результата. Различные способы описания строки форматирования установлены в ИСО 10303-11.

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

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

value_to_format - объект numeric_expression, который должен быть отформатирован;

format_string - команды форматирования, которые определяют вид результата.

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

WR1 - операнд value_to_format должен принадлежать к типу numeric_expression, а операнд format_string - к типу string_expression.

6.5.8 Объект string_defined_function

Объект string_defined_function представляет собой любой оператор, определенный в прикладной программе, областью значений которого является тип данных STRING по ИСО 10303-11.

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

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

IP1 - подтип объекта string_defined_function может быть либо объектом generic_expression, либо он не должен содержать ни одного объекта generic_variable.

     6.6 Функции для определения свойств выражения

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

6.6.1 Функция is_int_expr

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

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

6.6.2 Функция is_SQL_mappable

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

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

6.6.3 Функция used_functions

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

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

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

     
     
Приложение А
(обязательное)

     
Сокращенные наименования объектов

Сокращенные наименования объектов, установленных в настоящем стандарте, приведены в таблице А.1. Требования к использованию сокращенных наименований указаны в методах реализации, приведенных в стандартах комплекса ИСО 10303.

Таблица А.1 - Сокращенные наименования объектов

     
     
Приложение В
(обязательное)

     
Регистрация информационного объекта

В.1 Обозначение документа

Для обеспечения однозначного обозначения информационного объекта в открытой системе настоящему стандарту присвоен следующий идентификатор объекта:

{ ISO standard 13584 part (20) version(1) }

Значение этого обозначения установлено в ИСО 8824-1 и описано в ИСО 13584-1.

В.2 Обозначение схем

В.2.1 Обозначение ISO_generic_expressions_schema

Схеме ISO_generic_expressions_schema (раздел 4) присвоен следующий идентификатор объекта:

{ ISO standard 13584 part (20) version (1) object(1) ISO 13584-generic-expressions-schema(1) }

B.2.2 Обозначение ISO_expressions_schema

Схеме ISO_expressions_schema (раздел 5) присвоен следующий идентификатор объекта:

{ISO standard 13584 part (20) version (1) object (1) ISO 13584-expressions-schema(2) }

Приложение С
(справочное)

     
Диаграммы на языке EXPRESS-G

Рисунки С.1-С.13 соответствуют текстам на языке EXPRESS, приведенным в разделах 4 и 5. В диаграммах использована графическая нотация EXPRESS-G для языка EXPRESS. Язык EXPRESS-G определен в приложении А ИСО 10303-11.

Рисунок С.1 - ISO13584_generic_expressions_schema - EXPRESS-G диаграмма 1 из 1

     
     

Рисунок С.2 - ISO13584_expressions_schema - EXPRESS-G диаграмма 1 из 12.
Строковая типизация выражений

     

Рисунок С.3 - ISO13584_expressions_schema - EXPRESS-G диаграмма 2 из 12.
Переменные

          
Рисунок С.4 - ISO13584_expressions_schema - EXPRESS-G диаграмма 3 из 12.
Числовые выражения

Рисунок С.5 - ISO13584_expressions_schema - EXPRESS-G диаграмма 4 из 12.
Булевы выражения

Рисунок С.6 - lSO13584_expressions_schema - EXPRESS-G диаграмма 5 из 12.
Строковые выражения

     
     

Рисунок С.7 - ISO13584_expressions_schema - EXPRESS-G диаграмма 6 из 12.
defined_function

Рисунок С.8 - ISO13584_expressions_schema - EXPRESS-G диаграмма 7 из 12.
Подтипы simple_generic_expression

Рисунок С.9 - ISO13584_expressions_schema - EXPRESS-G диаграмма 8 из 12.
Бинарные числовые выражения

Рисунок С.10 - ISO13584_expressions_schema - EXPRESS-G диаграмма 9 из 12.
Большая арность

Рисунок С.11 - ISO13584_expressions_schema - EXPRESS-G диаграмма 10 из 12.
Бинарные булевы выражения

      
 Рисунок С.12 - ISO13584_expressions_schema - EXPRESS-G диаграмма 11 из 12.
Булевы выражения большой арности

Рисунок С.13 - ISO13584_expressions_schema - EXPRESS-G диаграмма 12 из 12.
Выражения сравнения

     
Приложение D
(справочное)

Использование схемы ISO13584_expressions_schema      

D.1 Введение

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

В настоящем приложении рассмотрены возможные варианты использования и применения этих обобщенных ресурсов.

ISO13584_expressions_schema кодирует выражения, которые могут быть построены из комбинации операторов простых выражений (взятых из языка EXPRESS), констант и переменных.

Для каждого из этих элементов (операторов, констант и переменных) семантика должна быть задана для каждого использования выражения.

Семантика операторов устанавливается в соответствии с тем, как она определена для каждого оператора в руководстве по языку EXPRESS.

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

D.2 Функция интерпретации и семантика переменной

Семантика операторов и констант определена в настоящем стандарте.

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

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

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

- какое понятие обозначает переменная;

- в каком контексте это понятие может быть использовано;

- каков механизм (функция интерпретации), который ограничивает значение этой переменной.

В настоящем стандарте понятие, которое обозначает переменная (ее семантика), представлено объектом variable_semantics. Поэтому три указанные выше позиции должны быть заданы определением подтипа типа данных этого абстрактного объекта.

D.3 Представление функции интерпретации в настоящем стандарте

Как указано в D.2, переменные должны иметь функцию интерпретации для того, чтобы задать их семантику. В комплексе стандартов ИСО 13584 эта цель достигается путем комбинации трех объектов: variable, environment и variable_semantics. Объект variable определяет синтаксическое представление семантического понятия, которое представлено объектом variable_semantics. Объект environment связывает эти два объекта, чтобы точно ассоциировать одну семантику с данной переменной.

На рисунке D.1 приведена схема определения этих объектов.

Рисунок D.1 - Связь синтаксиса и семантики переменной

D.4 Использование объекта variable_semantics для определения семантики новых переменных

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

- при первом подходе используется отдельный подтип объекта variable_semantics, который представляет этот объект посредством атрибута(ов);

- при втором подходе определяется общий подтип для объекта variable_semantics и типа данных этого объекта.

Данная информационная модель определяет только первую из упомянутых выше позиций (см. D.2). Другая позиция должна быть определена в документации на эту модель.

Иллюстрация этих двух подходов приведена в D.4.1 и D.4.2.

D.4.1 Использование отдельного подтипа объекта variable_semantics

Данный подход к определению семантики заключается во введении подтипа объекта variable_semantics, который представляет собой понятие, которое обозначает переменная, посредством атрибута(ов).

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

Пример - Определение переменной SELF:

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

В ИСО 13584-24, в котором моделирование семейств деталей осуществляется на основе объектно-ориентированного подхода, показана необходимость представления переменных SELF, чтобы допустить использование выражений, включающих этот вид переменных. На рисунке D.2 приведена EXPRESS-G диаграмма, демонстрирующая способ представления этой семантики на основе простого наследования объекта variable_semantics.

Рисунок D.2 - Установление семантики определением подтипа объекта
variable_semantics

Примечание - Объект property_BSU определен в ИСО 13584-42. Он позволяет идентифицировать одно отдельное свойство.

Объект self_property_variable_semantics определен как подтип объекта variable_semantics. Он имеет атрибут, называемый the_property, который идентифицирует отдельное свойство вложенного класса (представленного объектом property_BSU). Поэтому этот объект несет в себе семантику the_property экземпляра SELF.

Заметим, что в документации на объект self_property_variable_semantics определено, что:

- соответствующая переменная должна использоваться в контексте экземпляра класса PLib;

- переменная обозначает значение релевантного свойства экземпляра этого класса.

D.4.2 Множественное наследование объекта variable_semantics и другого объекта

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

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

Пример - Определение объекта variable_semantics, связанного с объектом material_property_ representation, описанным в ИСО 10303-45.

Путем определения подтипов конструкций ресурсов из material_property_representation_schema, установленной в ИСО 10303-45, значение объекта material_property может быть связано с выражением numeric_expression, которое определяет зависимость между значением этого material_property и другими property_definitions, на которые ссылается их material_property_representation.

Способ реализации вышеуказанного представлен на рисунке D.3

Рисунок D.3 - Конкретизация семантики путем определения подтипа объекта
 variables_semantics и другого объекта

Правило WHERE (где) в объекте material_property_representation_and_function необходимо обеспечить, чтобы выражение functional_specification numeric_expression включало в качестве переменных только те переменные, которые связаны через объект environment с material_property_semantics, и для которых все эти material_property_semantics соответствуют набору свойств, моделирующих среду (т.е. на каждую из этих material_property_semantics ссылается SELF.dependent_environment.elements[i].definition через некоторый индекс i).

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

Отметим, что этот подход не требует использования дополнительного атрибута у объекта material_property_semantics. Механизм наследования распространяет все атрибуты объекта material_property (т.е. идентификацию свойства).

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

D.4.3 Определение понятия, не представленного в модели

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

На рисунке D.4 показано, как могут быть определены две переменные, которые представляют координаты и в некотором отдельном двумерном пространстве. Такие переменные могут быть включены в любое числовое выражение, которое определяет точную (математическую) форму конкретного объекта curve.

Рисунок D.4 - Пример определения понятия, не представленного в модели: координаты

     
     
Приложение Е
(справочное)

     
Конкретизация схем

Е.1 Введение

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

Е.2 Конкретизация схемы ISO13584_generic_expressions_schema

ISO13584_generic_expressions_schema определяет структуру выражения любого вида без введения какого-либо конкретного типа данных.

Конкретизация ISO13584_generic_expressions_schema требует введения конкретного(ых) типа(ов) данных. Такой тип данных должен быть введен путем определения подтипа существующих EXPRESS-ресурсов и может указываться как источник новыми операторами, которые манипулируют этим нововведенным типом данных.

Пример - В схеме ISO13584_expressions_schema в качестве конкретных типов данных определены только integer, real, Boolean и string. Поэтому только эти типы связаны с операторами, которые вычисляют значения.

При введении нового типа данных в процесс конкретизации вовлекаются следующие объекты языка EXPRESS:

- generic_expression;

- generic_variable;

- variable_semantics;

- generic_literal;

- unary_generic_expression;

- binary_generic_expression;

- multiple_arity_generic_expression.

E.3 Конкретизация схемы ISO13584_expressions_schema

Конкретизация схемы ISO13584_expressions_schema представляет возможность расширения набора операторов теми, которые либо объединяют значения, принадлежащие к базовым типам данных этой схемы (т.е. NUMBER, REAL, INTEGER, BOOLEAN и STRING), либо производят значения, принадлежащие к этим базовым типам данных (например, расстояние между двумя точками).

Такая специализация должна обеспечить прочность и корректность результирующих выражений и не должна влиять на корректность обобщенных ресурсов, представленных как EXPRESS-функции. Кроме того, эти ресурсы должны быть согласованы с их абстрактными описаниями (например, is_int_expr должно позволить определить, принадлежит ли тип данных выражения к типу данных INTEGER).

Следующие EXPRESS-объекты были специально введены, чтобы поддерживать такой процесс конкретизации:

- boolean_defined_function;

- integer_defined_function;

- numeric_defined_function;

- real_defined_function;

- string_defined_function;

- SQL_mappable_defined_function.

E.4 Методология для конкретизации настоящего стандарта

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

Е.4.1 Идентифицировать конкретный тип данных, который должен быть обработан выражением. Если должны использоваться только типы данных INTEGER, REAL, BOOLEAN и STRING, следует конкретизировать схему ISO13584_expressions_schema, в противном случае следует конкретизировать схему ISO13584_generic_expressions_schema.

E.4.2 Идентифицировать семантические понятия, которые должны соответствовать определенным выражениям. Определить требуемые подтипы объекта variable_semantics (см. приложение D).

Е.4.3 Конкретизация схемы ISO13584_generic_expressions_schema

Е.4.3.1 Определить корень всех выражений нового типа данных путем определения подтипа объекта generic_expression (или numeric_expression, Boolean_expression, либо string_expression соответственно).

E.4.3.2 Определить переменные этих выражений путем определения подтипа объекта generic_variable, который связан через объект environment с семантикой, определенной по Е.4.2.

E.4.3.3 Определить константы этих выражений путем определения подтипа объекта generic_literal.

E.4.3.4 Определить операторы, которые объединяют переменные и константы нового типа данных, путем определения подтипов объектов unary_generic_expression, binary_generic_expression и multiple_arity_generic_expression в соответствии с их арностью. Присоединить правила, которые обеспечивают семантическую прочность и корректность этих операторов.

Е.4.4 Интеграция со схемой ISO13584_expressions_schema

Е.4.4.1 Если существует какой-либо оператор, который производит значения нового типа данных из выражений expression (например, комплексное число, определяемое двумя вещественными числами), то:

- снабдить ссылками схему ISO13584_expressions_schema;

- определить этот оператор как общий тип данных корневого объекта, определенного по E.4.3.1, и один из следующих объектов: unary_generic_expression, binary_generic_expression или multiple_arity_generic_expression, в соответствии с арностью этого оператора. Добавить правила, которые обеспечивают семантическую корректность этого оператора.

Е.4.4.2 Если существует какой-либо оператор на новом типе данных, который генерирует значения одного из базовых типов данных схемы ISO13584_expressions_schema, то для каждого оператора или функции, возвращающих типы данных INTEGER, REAL, BOOLEAN или STRING, необходимо ввести подтип соответствующего объекта defined_function, чтобы определить соответствующую функцию и один из объектов unary_generic_expression, binary_generic_expression или multiple_arity_generic_expression в соответствии с арностью этого оператора.

Этот процесс обеспечивает следующее:

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

- все функции, определенные настоящим стандартом как ресурсы (например, is_int_expr, used_variables, is_SQL_mappable и т.д.) согласуются со своими абстрактными описаниями.

Примечание - При конкретизации схемы ISO13584_expressions_schema действия по Е.4.3 не проводят.

Е.5 Пример конкретизации схемы ISO13584_generic_expressions_schema

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

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

В следующих EXPRESS-спецификациях показана суть такой схемы. При этом будут использоваться лишь несколько выражений:

Шаг 1 - заданным типом данных являются комплексные числа.

Шаг 2 - семантическое понятие, которое должно быть определено комплексными выражениями.

Предположим, что необходимо связать эти выражения с парой координат двумерных объектов cartesian_point (по ИСО 10303-42).

Можно определить следующую семантику для обеспечения связи с комплексными переменными.

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

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

Предполагается, что в данном примере не нужны выражения point_expressions.

Шаг 3 - определение complex_expression путем конкретизации схемы ISO13584_generic_expressions_schema.

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

Шаг 4 - Специализация схемы ISO13584_generic_expressions_schema задается определением следующих объектов:

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

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

Е.6 Пример специализации схемы ISO13584_expressions_schema

Данный пример соответствует случаю, когда шаг 3, приведенный в Е.5, опущен.

Необходимо ввести оператор, который вычисляет расстояние между двумя точками в декартовом пространстве. Эта функция возвращает вещественное число. Объект, соответствующий этой функции, получают путем конкретизации. Вводят подтип функции real_defined_function. Определяют следующий объект:

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

     

Приложение F
(справочное)

     
Статический анализ выражений

F.1 Введение

В данном приложении рассматриваются выражения в контексте настоящего стандарта. Могут быть выделены две возможные точки зрения в соответствии с введенными понятиями и предположениями, сделанными в разделе 4: период обмена и период оценки.

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

В данном приложении рассматривается анализ выражений, который может быть выполнен в период обмена, и даются некоторые пояснения по этим процессам.

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

На уровне выражений можно вычислить тип данных выражения.

F.2 Функция is_acyclic_function

Напомним, что:

- ориентированный граф представляет собой набор узлов, соединенных некоторыми однонаправленными связями;

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

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

Функция is_acyclic проверяет, соответствует ли выражение этому условию.

Заметим, что дерево является частным случаем ориентированного ациклического графа.

F.3 Функции used_variables и used_functions

Функции used_variables и used_functions являются функциями, которые в качестве результата возвращают все объекты, представляющие переменные или функции, встречающиеся в данном выражении.

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

F.4 Функция is_SQL_mappable

Функция is_SQL_mappable проверяет, является ли данное выражение отображаемым на языке SQL для баз данных с запросами.

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

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

F.5 Контроль типа и синтез типа

Контроль типа является процессом, который позволяет проверить корректность типа выражения.

Синтез типа является процессом, который позволяет синтезировать тип данных выражения.

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

Приложение ДА
(справочное)

     
Сведения о соответствии ссылочных  международных стандартов  национальным стандартам

Таблица ДА.1