| Обозначение: |  ГОСТ Р ИСО/ТО 10303-12-2000 |
| Обозначение англ: | GOST R ISO/TR 10303-12-2000 |
| Статус: | Введен впервые |
| Название рус.: | Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 12. Методы описания. Справочное руководство по языку EXPRESS-1 |
| Название англ.: | Industrial automation systems and integration. Product data representation and exchande. Part 12. Description methods. The EXPRESS-1 language reference manual |
| Дата добавления в базу: | 01.09.2013 |
| Дата актуализации: | 01.01.2021 |
| Дата введения: | 01.01.2002 |
| Область применения: | Стандарт определяет язык, на котором может быть описан (отображен) экземпляр (часть) рассматриваемой предметной области. Стандарт также определяет метод формального описания для поддержки спецификаций абстрактных тестовых (контрольных) примеров. |
| Оглавление: | 1 Область применения
2 Нормативные ссылки
3 Определения
3.1 Термины, определенные в ГОСТ Р ИСО 10303-1
3.2 Термины, определенные в ГОСТ Р ИСО 10303-11
3.3 Термины, определенные в ИСО 10303-31
3.4 Другие определения
4 Требования соответствия
4.1 Формальные спецификации. Записанные на EXPRESS -I
4.2 Реализации EXPRESS -I
5 Основные принципы
6 Элементы языка
6.1 Набор символов
6.2 Зарезервированные слова
6.3 Знаки
6.4 Идентификаторы и ссылки
7 Именованные области значений
7.1 Область значений объекта
7.2 Область значений перечисления
7.3 Область значений выбора
7.4 Область значений типа
8 Значения и экземпляры
8.1 Базовые значения
8.2 Агрегатные значения
8.3 Простой экземпляр
8.4 Экземпляр типа
8.5 Экземпляр выбора
8.6 Экземпляр перечисления
8.7 Экземпляр объекта
8.8 Экземпляр константы
8.9 Экземпляр данных схемы
8.10 Отображение модели
9 Определение абстрактного контрольного примера
9.1 Контекст
9.2 Параметры
9.3 Контрольный пример
9.4 Цель теста
9.5 Реализация теста
10 Интерфейсы
10.1 Интерфейс экземпляра схемы
10.2 Ссылка на схему
10.3 Ссылки на данные контекста
11 Область действия и видимость
11.1 Правила области действия
11.2 Правила видимости
11.3 Правила для явного элемента
12 Отображение из EXPRESS в EXPRESS-I
12.1 Отображение EXPRESS-схемы
12.2 Отображение простых типов данных из EXPRESS
12.3 Отображение агрегатных типов данных
12.4 Отображение определенного типа данных из EXPRESS
12.5 Отображение перечисляемого типа из EXPRESS
12.6 Отображение выбираемого типа из EXPRESS
12.7 Отображение EXPRESS-константы
12.8 Отображение EXPRESS-объекта
12.9 Отображение атрибутов EXPRESS-объекта
12.10 Отображение супертипов и подтипов
Приложение А Описание синтаксиса EXPRESS-I
А.1 Лексемы
А.2 Лексические элементы
А.3 Интерпретируемые идентификаторы
А.4 Грамматические правила
А.5 Список перекрестных ссылок
Приложение В Заявка о соответствии реализации протоколу (ЗСРП)
В.1 Синтаксический анализатор языка EXPRESS-I
Приложение С Регистрация информационного объекта
Приложение D Синтаксис спецификации языка
D.1 Синтаксис спецификации
D.2 Нотация специального символа
Приложение Е Некоторые контрольный примеры
Е.1 Контрольный пример 1
Е.2 Контрольный пример 2
Е.3 Контрольный пример 3
Е.4 Контрольный пример 4
Приложение F Замечания по применению стандарта
F.1 Примеры EXPRESS-данных
F.2 Абстрактные контрольные примеры
F.3 Объектные базы
F.4 Примеры данных, отличных от EXPRESS
Приложение G Технические подходы
G.1 Абстрактные контрольные примеры
G.2 Связь с EXPRESS
G.3 Ссылки на предметы
G.4 Агрегации
G.5 Строковые значения
G.6 Тестирование и принятие модели
G.7 Расширение возможностей контрольного примера
G.8 Соответствие языку EXPRESS
G.9 Опытная апробация
G.10 Расширения алфавита
G.11 Отображение супертипов
G.12 Комментарии по голосованию за CD-1995
Приложение Н Библиография
Предметный указатель |
| Разработан: | ВНИИстандарт
ТК 431 CALS-технологии
Научно-технический центр ИНТЕГРО-Д
|
| Утверждён: | 14.11.2000 Госстандарт России (Russian Federation Gosstandart 292-ст)
|
| Издан: | ИПК Издательство стандартов (2001 г. )
|
| Расположен в: |
|
| Нормативные ссылки: | |