ГОСТ Р ИСО 10303-11-2009
Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS
| Обозначение: | ГОСТ Р ИСО 10303-11-2009 |
| Обозначение англ: | GOST R ISO 10303-11-2009 |
| Статус: | действует |
| Название рус.: | Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS |
| Название англ.: | Industrial automation systems and integration. Product data representation and exchange. Part 11. Description methods. The EXPRESS language reference manual |
| Дата добавления в базу: | 01.09.2013 |
| Дата актуализации: | 01.01.2021 |
| Дата введения: | 01.07.2010 |
| Область применения: | В стандарте определен язык, посредством которого могут быть описаны данные об изделии. Данный язык называется EXPRESS. В стандарте также определено графическое представление для подмножества конструкций языка EXPRESS. Данное графическое представление называется EXPRESS-G. EXPRESS является языком определения данных, как это установлено в ИСО 10303-1. Данный язык состоит из элементов, которые позволяют однозначно определять данные и устанавливать ограничения на эти данные. Область применения стандарта распространяется на: - типы данных; - ограничения на экземпляры типов данных. Область применения стандарта не распространяется на: - определение форматов баз данных; - определение форматов файлов; - определение форматов передачи; - управление процессами; - обработку информации; - обработку исключительных ситуаций. Язык EXPRESS не является языком программирования. |
| Оглавление: | 1 Область применения 2 Нормативные ссылки 3 Термины и определения 3.1 Термины, определенные в ИСО 10303-1 3.2 Термины, определенные в ИСО/МЭК 10646-1 3.3 Другие определения 4 Требования соответствия 4.1 Формальные спецификации, написанные на языке ЕХРRЕSS 4.1.1 Лексический язык 4.1.2 Графическая форма 4.2 Реализации языка ЕХРRЕSS 4.2.1 Синтаксический анализатор языка ЕХРRЕSS 4.2.2 Графический редактор 5 Фундаментальные принципы 6 Синтаксис спецификации языка 6.1 Синтаксис спецификации 6.2 Обозначение специальных символов 7 Основные элементы языка 7.1 Набор символов 7.1.1 Цифры 7.1.2 Буквы 7.1.3 Специальные символы 7.1.4 Подчеркивание 7.1.5 Пустое пространство 7.1.6 Комментарии 7.2 Зарезервированные слова 7.2.1 Ключевые слова 7.2.2 Зарезервированные слова, обозначающие операторы 7.2.3 Встроенные константы 7.2.4 Встроенные функции 7.2.5 Встроенные процедуры 7.3 Знаки 7.4 Идентификаторы 7.5 Литералы 7.5.1 Двоичный литерал 7.5.2 Целочисленный литерал 7.5.3 действительный литерал 7.5.4 Строковый литерал 7.5.5 Логический литерал 8 Типы данных 8.1 Простые типы данных 8.1.1 Числовой тип данных 8.1.2 Действительный тип данных 8.1.3 Целочисленный тип данных 8.1.4 Логический тип данных 8.1.5 Булев тип данных 8.1.6 Строковый тип данных 8.1.7 двоичный тип данных 8.2 Агрегированные типы данных 8.2.1 Тип данных АRRАY 8.2.2 Тип данных LIST 8.2.3 Тип данных ВАG 8.2.4 Тип данных SЕТ 8.2.5 Уникальность значений в агрегированных структурах 8.3 Именованные типы данных 8.3.1 Объектный тип данных 8.3.2 Определенный тип данных 8.4 Конструкционные типы данных 8.4.1 Перечисляемый тип данных 8.4.2 Выбираемый тип данных 8.5 Обобщенные типы данных 8.6 Классификация применения типов данных 8.6.1 Конкретизирующие типы данных 8.6.2 Параметрические типы данных 8.6.3 Базисные типы данных 9 Объявления 9.1 Объявление типа 9.2 Объявление объекта 9.2.1 Атрибуты 9.2.2 Локальные правила 9.2.3 Подти пы и суперти пы 9.2.4 Абстрактный объектный тип данных 9.2.5 Ограничения подтипов/супертипов 9.2.6 Неявные объявления 9.2.7 Конкретизация 9.3 Схема 9.4 Константа 9.5 Алгоритмы 9.5.1 Функция 9.5.2 Процедура 9.5.3 Параметры 9.5.4 Локальные переменные 9.6 Правило 9.7 Ограничения подтипов 9.7.1 Ограничение абстрактного супертипа 9.7.2 Подтипы полного покрытия 9.7.3 Перекрывающиеся подтипы и их спецификация 10 Область видимости и видимость 10.1 Правила области видимости 10.2 Правила видимости 10.3 Правила для явных элементов 10.3.1 Оператор альтернативных имен АЫАЗ 10.3.2 Атрибут 10.3.3 Константа 10.3.4 Элемент перечисления 10.3.5 Объект 10.3.6 Функция 10.3.7 Параметр 10.3.8 Процедура 10.3.9 Выражение QUERY 10.3.10 Оператор цикла 10.3.11 Правило 10.3.12 Метка правила 10.3.13 Схема 10.3.14 Ограничение подтипа 10.3.15 Тип 10.3.16 Метка типа 10.3.17 Переменная 11 Спецификация интерфейсов 11.1 Спецификация интерфейса USЕ 11.2 Спецификация интерфейса RЕFЕRЕNСЕ 11.3 Взаимодействие интерфейсов USЕ и RЕFЕRЕNСЕ 11.4 Импорт объектов посредством неявных интерфейсов 11.4.1 Импорт констант 11.4.2 Импорт определенных типов данных 11.4.3 Импорт объектных типов данных 11.4.4 Импорт функций 11.4.5 Импорт процедур 11.4.6 Импорт правил 11.4.7 Импорт ограничений подтипов 12 Выражения 12.1 Арифметические операторы 12.2 Операторы отношений 12.2.1 Операторы сравнения значений 12.2.2 Операторы сравнения экземпляров 12.2.3 Оператор принадлежности 12.2.4 Интервальные выражения 12.2.5 Оператор сопоставления строк 12.3 Двоичные операторы 12.3.1 Индексирование двоичных чисел 12.3.2 Оператор двоичной конкатенации 12.4 Логические операторы 12.4.1 Оператор NОТ 12.4.2 Оператор АMD 12.4.3 Оператор ОR 12.4.4 Оператор ХОR 12.5 Строковые операторы 12.5.1 Индексирование строк 12.5.2 Оператор конкатенации строк 12.6 Операторы агрегированных структур 12.6.1 Индексирование агрегированных структур 12.6.2 Оператор пересечения 12.6.3 Оператор объединения 12.6.4 Оператор различия 12.6.5 Оператор подмножества 12.6.6 Оператор супермножества 12.6.7 Оператор запроса 12.7 Ссылки 12.7.1 Простые ссылки 12.7.2 Префиксные ссылки 12.7.3 Ссылки на атрибуты 12.7.4 Групповые ссылки 12.8 Вызов функции 12.9 Инициализатор агрегированных структур 12.10 Оператор построения экземпляра сложного объекта 12.11 Совместимость типов 12.12 Выбираемые типы данных в выражениях 12.12.1 Выбираемые типы данных в унарных выражениях 12.12.2 Выбираемые типы данных в бинарных выражениях 12.12.3 Выбираемые типы данных в тернарных выражениях 13 Исполняемые операторы 13.1 Пустой оператор 13.2 Оператор АLIАS 13.3 Присваивание 13.3.1 Оператор присваивания 13.3.2 Совместимость по присваиванию 13.4 Оператор САSЕ 13.5 Составной оператор 13.6 Оператор ЕSСАРЕ 13.7 Оператор 1F...ТНЕN...ЕLSЕ 13.8 Оператор вызова процедур 13.9 Оператор RЕРЕАТ 13.9.1 Инкрементное управление 13.9.2 Управляющее условие WHILE 13.9.3 Управляющее условие UNTIL 13.10 Оператор RETURN 13.11 Оператор SКIР 14 Встроенные константы 14.1 Константа е 14.2 Неопределенность 14.3 Константа FАLSЕ 14.4 Константа РI 14.5 SЕLF 14.6 Константа ТRUЕ 14.7 Константа UNKNOWN 15 Встроенные функции 15.1 Арифметическая функция АВS 15.2 Арифметическая функция АСОS 15.3 Арифметическая функция АSINI 15.4 Арифметическая функция АТАN 15.5 Двоичная функция ВLЕNGТН 15.6 Арифметическая функция СОS 15.7 Универсальная функция ЕХISТS 15.8 Арифметическая функция ЕХР 15.9 Универсальная функция FОRМАТ 15.9.1 Символьное представление 15.9.2 Представление шаблоном 15.9.3 Стандартное представление 15.10 Арифметическая функция НIВОUND 15.11 Арифметическая функция НIINDЕХ 15.12 Строковая функция LENGТН 15.13 Арифметическая функция LОВОUND 15.14 Арифметическая функция LОG 15.15 Арифметическая функция LОG2 15.16 Арифметическая функция LОG10 15.17 Арифметическая функция LОINDЕХ 15.18 Функция пустого значения NVL. 15.19 Арифметическая функция ОDD 15.20 Универсальная функция RОLЕSОF 15.21 Арифметическая функция SIN 15.22 Агрегированная функция SIZЕОF 15.23 Арифметическая функция SQRT 15.24 Арифметическая функция ТАN 15.25 Универсальная функция ТYРЕОF 15.26 Универсальная функция USЕDIN 15.27 Арифметическая функция VАLUE 15.28 Функция принадлежности VАLUE_IN 15.29 Функция уникальности VАLUE_UNIQUЕ 16 Встроенные процедуры 16.1 Процедура INSЕRТ 16.2 Процедура RЕМОVЕ Приложение А (обязательное) Синтаксис языка ЕХРRЕSS А.1 Лексические элементы А.1.1 Ключевые слова А.1.2 Классы символов А.1 .3 Лексические элементы А.1.4 Комментарии А.1 .5 Интерпретированные идентификаторы А.2 Грамматические правила А.3 Список перекрестных ссылок Приложение В (обязательное) Определение допустимых реализаций объектов В.1 Формализованный подход В.2 Операторы ограничения суперти пов и подтипов В.2.1 ОNЕОF В.2.2 АND В.2.3 АNDОR В.2.4 Приоритет операторов В.3 Интерпретация возможныхтипов данных сложных объектов Приложение С (обязательное) Ограничения на экземпляры, налагаемые спецификацией интерфейса Приложение D (обязательное) Графическое подмножество языка ЕХРRЕSS - ЕХРRЕSS-Q D.1 Введение и обзор D.2 Обозначения определений D.2.1 Обозначения простых типов данных D.2.2 Обозначения конструкционных типов данных D.2.3 Обозначение определенныхтипов данных D.2.4 Обозначение объектных типов данных D.2.5 Обозначение ограничений подтипов D.2.6 Обозначение функций и процедур D.2.7 Обозначение правил D.2.8 Обозначение схем D.3 Обозначение взаимосвязей D.4 Обозначение компоновки диаграмм D.4.1 Ссылки между страницами D.4.2 Ссылки между схемами D.5 диаграммы уровня объектов D.5.1 Имена ролей D.5.2 Мощности множеств D.5.3 Ограничения D.5.4 Конструкцион ные и определенные типы данных D.5.5 Объектные типы данных D.5.6 Ссылки между схемами D.6 диаграммы уровня схем D.7 Полные ЕХРRЕSS-G диаграммы D.7.1 Полная диаграмма уровня объектов D.7.2 Полная диаграмма уровня схем Приложение Е (обязательное) Заявка о соответствии реализации протоколу (ЗСРП) Е.1 Синтаксический анализатор языка ЕХРRЕSS Е.2 Средство редактирования ЕХРRЕSS-G Приложение F (обязательное) Регистрация информационного объекта F.1 Обозначение документа F.2 Обозначение синтаксиса Приложение G (обязательное) Генерация одной схемы из нескольких схем G.1 Введение G.2 Основные понятия G.3 Изменение имен G.3.1 Конфликты имен G.3.2 Идентификаторы, представленные строками G.4 Этап 1 - преобразование нескольких схем в промежуточную схему G.4.1 Введение G.4.2 Первичное содержимое G.4.3 Вторичное содержимое G.4.4 Сокращение G.4.5 Имена и версии схем G.5 Этап 2 - преобразование промежуточной схемы в схему по ИСО 10303-11:1994 . G.5.1 Введение G.5.2 Инициализация G.5.3 Преобразование наращиваемых конструкционных типов данных G.5.4 Преобразование ограничений подтипов G.5.5 Преобразование абстрактных объектных и обобщенных типов данных G.5.6 Преобразование атрибутов, переименованных при повторном объявлении Приложение Н (справочное) Взаимосвязи Н.1 Взаимосвязи через атрибуты Н.1.1 Простая взаимосвязь Н.1.2 Групповая взаимосвязь Н.1.3 дистрибутивная взаимосвязь Н.1.4 Инверсныйатрибут Н.2 Взаимосвязи подтип/супертип Приложение J (справочное) Модели на языке ЕХРRЕSS для примеров, иллюстрирующих ЕХРRЕSS-G J.1 Пример модели единой схемы J.2 Модель взаимосвязей J.3 Простое дерево подтипов/супертипов J.4 Повторное объявление атрибутов J.5 Модели, состоящие из нескольких схем Приложение К (справочное) Возможность языка ЕХРRЕSS, не рекомендуемые к использованию . Приложение L. (справочное) Пример использования новых конструкций языка ЕХРRЕSS L.1 Примеруправления разработкой изделий Приложение ДА (справочное) Сведения о соответствии ссылочных международных стандартов ссылочным национальным стандартам Российской Федерации Библиография |
| Разработан: | ГНУ Центральный научно-исследовательский и опытно-конструкторский институт роботехники и технической кибернетики |
| Утверждён: | 14.09.2009 Федеральное агентство по техническому регулированию и метрологии (366-ст) |
| Издан: | Стандартинформ (2010 г. ) |
| Расположен в: | |
| Заменяет собой: | |
| Нормативные ссылки: |
|
ГОСТ Р ИСО 10303-11-2000 «Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 11. Методы описания. Справочное руководство по языку EXPRESS»
