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

.
Наименование документа:ГОСТ Р ИСО/ТО 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
Область применения:Стандарт определяет язык, на котором может быть описан (отображен) экземпляр (часть) рассматриваемой предметной области. Стандарт также определяет метод формального описания для поддержки спецификаций абстрактных тестовых (контрольных) примеров.
Краткое содержание:

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

Приложение Н Библиография

Предметный указатель

Дата добавления в базу:01.09.2013
Дата актуализации:01.12.2013
Дата введение:01.01.2002
Доступно сейчас для просмотра:100% текста. Полная версия документа.
Организации:
.
Помните!
Вся полученная прибыль с сайта идет на развитие проекта, оплату услуг хостинг-провайдера, еженедельные обновления базы данных СНИПов, улучшение предоставлямых сервисов и услуг портала.
Скачайте «ГОСТ Р ИСО/ТО 10303-12-2000. Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 12. Методы описания. Справочное руководство по языку EXPRESS-1» и внесите свой малый вклад в развитие сайта!