На главную | База 1 | База 2 | База 3
Испытания и Сертификация Испытательный центр Орган по сертификации Строительная экспертиза Обследование зданий Тепловизионный контроль Ультразвуковой контроль Проектные работы Контроль качества строительства Скачать базы Государственные стандартыСтроительная документацияТехническая документацияАвтомобильные дороги Классификатор ISO Мостостроение Национальные стандарты Строительство Технический надзор Ценообразование Экология ЭлектроэнергияПоддержать проект
Поддержать проект
Скачать базу одним архивом
Скачать обновления

ГОСТ Р ИСО/ТО 10303-12-2000

Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 12. Методы описания. Справочное руководство по языку EXPRESS-1

Обозначение: ГОСТ Р ИСО/ТО 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 г. )
Расположен в:Техническая документация Электроэнергия МАШИНОСТРОЕНИЕ Промышленные автоматизированные системы Измерение и контроль производственного процесса Экология МАШИНОСТРОЕНИЕ Промышленные автоматизированные системы Измерение и контроль производственного процесса
Нормативные ссылки:
ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000ГОСТ Р ИСО/ТО 10303-12-2000