3 Термины и определения

• 3.1 Термины, определенные в ИСО 10303-1

• 3.2 Термины, определенные в ИСО/МЭК 10646-1

• 3.3 Другие определения

4 Требования соответствия

• 4.1 Формальные спецификации, написанные на языке EXPRESS

  • 4.1.1 Лексический язык

  • 4.1.2 Графическая форма

• 4.2 Реализации языка EXPRESS

  • 4.2.1 Синтаксический анализатор языка EXPRESS

  • 4.2.2 Графический редактор

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 Тип данных ARRAY

  • 8.2.2 Тип данных LIST

  • 8.2.3 Тип данных BAG

  • 8.2.4 Тип данных SET

  • 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 Оператор альтернативных имен ALIAS

  • 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 Спецификация интерфейса USE

• 11.2 Спецификация интерфейса REFERENCE

• 11.3 Взаимодействие интерфейсов USE и REFERENCE

• 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 Оператор NOT

  • 12.4.2 Оператор AND

  • 12.4.3 Оператор OR

  • 12.4.4 Оператор XOR

• 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 Оператор ALIAS

• 13.3 Присваивание

  • 13.3.1 Оператор присваивания

  • 13.3.2 Совместимость по присваиванию

• 13.4 Оператор CASE

• 13.5 Составной оператор

• 13.6 Оператор ESCAPE

• 13.7 Оператор IF. . .THEN. . .ELSE

• 13.8 Оператор вызова процедуры

• 13.9 Оператор REPEAT

  • 13.9.1 Инкрементное управление

  • 13.9.2 Управляющее условие WHILE

  • 13.9.3 Управляющее условие UNTIL

• 13.10 Оператор RETURN

• 13.11 Оператор SKIP

14 Встроенные константы

• 14.1 Константа е

• 14.2 Неопределенность

• 14.3 Константа FALSE

• 14.4 Константа PI

• 14.5 SELF

• 14.6 Константа TRUE

• 14.7 Константа UNKNOWN

15 Встроенные функции

• 15.1 Арифметическая функция ABS

• 15.2 Арифметическая функция ACOS

• 15.3 Арифметическая функция ASIN

• 15.4 Арифметическая функция ATAN

• 15.5 Двоичная функция BLENGTH

• 15.6 Арифметическая функция COS

• 15.7 Универсальная функция EXISTS

• 15.8 Арифметическая функция EXP

• 15.9 Универсальная функция FORMAT

  • 15.9.1 Символьное представление

  • 15.9.2 Представление шаблоном

  • 15.9.3 Стандартное представление

• 15.10 Арифметическая функция HIBOUND

• 15.11 Арифметическая функция HIINDEX

• 15.12 Строковая функция LENGTH

• 15.13 Арифметическая функция LOBOUND

• 15.14 Арифметическая функция LOG

• 15.15 Арифметическая функция LOG2

• 15.16 Арифметическая функция LOG10

• 15.17 Арифметическая функция LOINDEX

• 15.18 Функция пустого значения NVL

• 15.19 Арифметическая функция ODD

• 15.20 Универсальная функция ROLESOF

• 15.21 Арифметическая функция SIN

• 15.22 Агрегированная функция SIZEOF

• 15.23 Арифметическая функция SQRT

• 15.24 Арифметическая функция TAN

• 15.25 Универсальная функция TYPEOF

• 15.26 Универсальная функция USEDIN

• 15.27 Арифметическая функция VALUE

• 15.28 Функция принадлежности VALUE_IN

• 15.29 Функция уникальности VALUE_UNIQUE

16 Встроенные процедуры

• 16.1 Процедура INSERT

• 16.2 Процедура REMOVE

Приложение А (обязательное). Синтаксис языка EXPRESS

• А.1 Лексические элементы

  • А.1.1 Ключевые слова

  • A.1.2 Классы символов

  • А.1.3 Лексические элементы

  • A.1.4 Комментарии

  • A.1.5 Интерпретированные идентификаторы

• A.2 Грамматические правила

• А.3 Список перекрестных ссылок

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

• В.1 Формализованный подход

• B.2 Операторы ограничения супертипов и подтипов

  • В.2.1 ONEOF

  • В.2.2 AND

  • В.2.3 ANDOR

  • В.2.4 Приоритет операторов

• B.3 Интерпретация возможных типов данных сложных объектов

  • Рисунок В.1 - EXPRESS-G диаграмма схемы из примера 1

  • Рисунок B.2 - EXPRESS-G диаграмма схемы из примера 2

  • Рисунок В.З - EXPRESS-G диаграмма схемы из примера 3

Приложение D (обязательное). Графическое подмножество языка EXPRESS - EXPRESS-G

• D.1 Введение и обзор

  • Рисунок D.1 - Полная диаграмма уровня объектов для примера из приложения J, раздел J.1 (лист 1 из 2)

  • Рисунок D.2 - Полная диаграмма уровня объектов для примера из приложения J, раздел J.1 (лист 2 из 2)

• D.2 Обозначения определений

  • D.2.1 Обозначения простых типов данных

    • Рисунок D.3 - Обозначения простых типов данных языка EXPRESS

    • Рисунок D.4 - Обозначение типа данных GENERIC_ENTITY языка EXPRESS

  • D.2.2 Обозначения конструкционных типов данных

    • Рисунок D.5 - Символы для конструкционных типов данных языка EXPRESS

    • Рисунок D.6 - Сокращенные обозначения конструкционных типов данных языка EXPRESS при их использовании для представления определенных типов данных

    • Рисунок D.7 - Пример альтернативных методов представления перечисляемого типа данных

    • Рисунок D.8 - Обозначение наращиваемых конструкционных типов данных языка EXPRESS

  • D.2.3 Обозначение определенных типов данных

    • Рисунок D.9. - Обозначение определенного типа данных языка EXPRESS

  • D.2.4 Обозначение объектных типов данных

    • Рисунок D.10 - Обозначение объектного типа данных языка EXPRESS

  • D.2.5 Обозначение ограничений подтипов

    • Рисунок D.11 - Обозначение конструкции языка EXPRESS SUBTYPE_CONSTRAINT

  • D.2.6 Обозначение функций и процедур

  • D.2.7 Обозначение правил

  • D.2.8 Обозначение схем

    • Рисунок D.12 - Обозначение схемы

• D.3 Обозначение взаимосвязей

  • Рисунок D.13 - Стили линий, обозначающих взаимосвязи

  • Рисунок D.14 - Частная диаграмма уровня объектов, иллюстрирующая направления взаимосвязей для примера из приложения J, раздел J.2 (лист 1 из 1)

• D.4 Обозначение компоновки диаграмм

  • Рисунок D.15 - Обозначение компоновки диаграммы: ссылки между страницами

  • Рисунок D.16 - Обозначение компоновки диаграммы: ссылки между схемами

• D.4.1 Ссылки между страницами

• D.4.2 Ссылки между схемами