ГОСТ Р ИСО 13584-20-2006
Группа П87
НАЦИОНАЛЬНЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ
Системы автоматизации производства и их интеграция
БИБЛИОТЕКА ДЕТАЛЕЙ
Часть 20
Логический ресурс. Логическая модель выражений
Industrial automation systems and integration. Parts library.
Part 20. Logical resource. Logical model of expressions
ОКС 25.040.40
ОКСТУ 4002
Дата введения 2007-07-01
Предисловие
Цели и принципы стандартизации в Российской Федерации установлены Федеральным законом от 27 декабря 2002 г. N 184-ФЗ "О техническом регулировании", а правила применения национальных стандартов Российской Федерации - ГОСТ Р 1.0-2004 "Стандартизация в Российской Федерации. Основные положения"
Сведения о стандарте
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"). При применении настоящего стандарта рекомендуется использовать вместо ссылочных международных стандартов соответствующие им национальные стандарты Российской Федерации, сведения о которых приведены в дополнительном приложении G
5 ВВЕДЕН ВПЕРВЫЕ
Информация об изменениях к настоящему стандарту публикуется в ежегодно издаваемом информационном указателе "Национальные стандарты", а текст изменений и поправок - в ежемесячно издаваемых информационных указателях "Национальные стандарты". В случае пересмотра (замены) или отмены настоящего стандарта соответствующее уведомление будет опубликовано в ежемесячно издаваемом информационном указателе "Национальные стандарты". Соответствующая информация, уведомление и тексты размещаются также в информационной системе общего пользования - на официальном сайте Федерального агентства по техническому регулированию и метрологии в сети Интернет
Введение
Введение
Настоящий стандарт входит в комплекс стандартов ИСО 13584, устанавливающих требования к компьютерному представлению и обмену данными из библиотеки деталей. Цель комплекса - обеспечить нейтральный механизм передачи данных из библиотеки деталей независимо от того, какое приложение использует эти данные. Поэтому этот комплекс пригоден не только для обмена файлами, содержащими сведения о деталях, но также является основой для реализации и совместного использования баз данных, содержащих библиотеки деталей.
Каждая часть комплекса устанавливает требования, относящиеся к одной из тематических групп: концептуальные описания, логические ресурсы, ресурсы реализации, методология описания, аттестационное тестирование, протокол обмена представлениями и стандартизованное содержимое. Описания тематических групп приведены в ИСО 13584-1. Настоящий стандарт устанавливает требования, относящиеся к тематической группе логических ресурсов.
В настоящем стандарте установлены универсальные конструкции ресурсов на языке EXPRESS, необходимые для моделирования выражений, детализация которых приведена в других частях комплекса стандартов ИСО 13584. Эти конструкции могут также использоваться вне рамок этого комплекса там, где информационные модели выражений на языке EXPRESS могут быть полезными.
1 Область применения
Настоящий стандарт устанавливает:
- EXPRESS-схему для обобщенных выражений;
- EXPRESS-схему для выражений, которая моделирует подмножество допустимых выражений на языке EXPRESS, требования к которому установлены в ИСО 10303-11, соответствующее целому, вещественному, булевому и строковому типам данных. В этой схеме используются ресурсы, определенные в схеме обобщенных выражений.
Область применения настоящего стандарта распространяются на:
- обмен выражениями, которые содержат как константы, так и переменные;
- функцию, которая проверяет, должно ли числовое выражение быть приведено к целому значению;
- константы, которые обеспечивают семантическую корректность выражения;
- вычисление переменных или функций, используемых в выражении;
- функцию, которая проверяет, может ли выражение быть отображено на языке запросов SQL.
Область применения настоящего стандарта не распространяется на:
- присвоение значений переменных в пределах некоторого контекста;
- переключающий механизм, который вычисляет значение выражения в заданном контексте.
2 Нормативные ссылки
В настоящем стандарте использованы ссылки на следующие международные стандарты:
ИСО/МЭК 9075:1992 Информационные технологии. Языки баз данных. SQL
ИСО 10303-11:1994 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS
ИСО 10303-44:1994 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 44. Интегрированные обобщенные ресурсы. Конфигурация структуры изделия
3 Термины, определения и сокращения
3.1 Термины, определенные в ИСО 10303-11
В настоящем стандарте использованы следующие термины с соответствующими определениями.
3.1.1 тип данных (data type): Область значений.
3.1.2 объект (entity): Класс информации, определенный общими свойствами.
3.1.3 тип данных объекта (entity data type): Представление объекта. Тип данных объекта устанавливает область значений, определяемую общими атрибутами и ограничениями.
3.1.4 экземпляр объекта (типа данных) (entity (data type) instance): Обозначенный блок данных, который представляет блок информации внутри класса, определенного объектом, и принадлежит к области значений, установленной типом данных объекта.
3.2 Термины, определенные в ИСО 10303-44
В настоящем стандарте использованы следующие термины с соответствующими определениями.
3.2.1 узел-предок (ancestor node): Любой узел, к которому можно прийти из данного узла путем последовательного обхода его связей в обратном направлении. Для заданного узла его узлами-предками являются все узлы-родители, все узлы-родители этих узлов-родителей и т.д.
3.2.2 подчиненный узел (child node): Узел, на который непосредственно указывает связь.
3.2.3 узел-потомок (descendent node): Любой узел, к которому можно прийти из данного узла путем последовательного обхода его связей. Для заданного узла узлами-потомками являются все подчиненные узлы, все подчиненные узлы этих подчиненных узлов и т.д.
3.2.4 ориентированный ациклический граф (directed acyclic graph): Набор узлов и связей, в котором ни один узел не является узлом-предком (или узлом-потомком) по отношению к самому себе.
3.2.5 связь (link): Однонаправленное отношение одного узла с другим внутри ориентированного ациклического графа.
3.2.6 узел (node): Элемент ориентированного ациклического графа, соединенный с другим подобным элементом посредством связей.
3.2.7 узел-родитель (parent node): Узел, из которого исходит связь.
3.3 Другие термины и определения
В настоящем стандарте использованы следующие термины с соответствующими определениями.
3.3.1 арность оператора (arity of an operator): Максимальное число операндов, которые должны быть связаны с оператором.
3.3.2 бинарный оператор (binary operator): Оператор, арность которого равна двум.
3.3.3 среда (environment): Связь между синтаксисом и семантикой.
Примечание - В контексте настоящего стандарта объект environment привязывает к объекту generic_variable (синтаксису) соответствующее ему значение (семантику), представленное объектом variable_semantics.
3.3.4 оценка (evaluation): Вычисление значения, представленного в виде выражения.
3.3.5 выражение (expression): Набор переменных и/или констант, которые объединяются операторами.
Примечания
1 Выражение определяет функцию, чьими аргументами являются переменные, встречающиеся в выражении.
2 Структурой, представляющей выражение, является ориентированный ациклический граф, узлами которого являются операторы, константы и переменные. Связи в этом графе представляют собой однонаправленное отношение каждого оператора со своими аргументами, которые также могут быть выражениями.
3.3.6 тип данных выражения (expression data type): Область, в которой должны находиться значения результата выражения.
Примечание - В настоящем стандарте контроль типа и синтез типа проводят только для схемы ISO13584_expressions_schema. Контроль типа обеспечивается структурой и правилами этой EXPRESS-схемы. Синтез типа выполняется EXPRESS-функцией TYPEOF, которая определяет, принадлежит ли объект expression к numeric_expression, Boolean_expression или string_expression, а также функцией is_int, которая определяет, относится ли значение numeric_expression к типу INTEGER.
3.3.7 интерпретация (interpretation): Функция, которая возвращает семантику, связанную с каждой переменной.
Примечание - Данная функция использует среду, которая связывает переменную с соответствующей ей семантикой (и, может быть, с ее возможным значением).