ГОСТ Р ИСО/ТО 10303-12-2000
Содержание
1 Область применения ................................................................................................................................ 1
2 Нормативные ссылки ............................................................................................................................... 1
3 Определения............................................................................................................................................... 2
3.1 Термины, определенные в ГОСТ Р ИСО 10303-1 ............................................... 2
3.2 Термины, определенные в ГОСТ Р ИСО 10303-11 ............................................. 2
3.3 Термины, определенные в ИСО 10303-31 ............................................................. 2
3.4 Другие определения .................................................................................................... 2
4 Требования соответствия .......................................................................................................................... 3
4.1 Формальные спецификации, записанные на EXPRESS-1 ................................. 3
4.2 Реализации EXPRESS-I............................................................................................. 3
5 Основные принципы ...................... 3
6 Элементы языка ......................................................................................................................................... 4
6.1 Набор символов .......................................................................................................... 4
6.2 Зарезервированные слова.......................................................................................... 6
6.3 Знаки ............................................................................................................................. 7
6.4 Идентификаторы и ссылки ....................................................................................... 8
7 Именованные области значений ............................................................................................................ 9
7.1 Область значений объекта......................................................................................... 9
7.2 Область значений перечисления ............................................................................. 9
7.3 Область значений выбора ......................................................................................... 9
7.4 Область значений типа ................................................................................................10
8 Значения и экземпляры .............................................................................................................................10
8.1 Базовые значения......................................................................................................... 10
8.2 Агрегатные значения ...................................................................................................13
8.3 Простой экземпляр...................................................................................................... 13
8.4 Экземпляр типа .............................................................................................................14
8.5 Экземпляр выбора ....................................................................................................... 14
8.6 Экземпляр перечисления ............................................................................................14
8.7 Экземпляр объекта....................................................................................................... 15
8.8 Экземпляр константы ..................................................................................................18
8.9 Экземпляр данных схемы............................................................................................18
8.10 Отображение модели .................................................................................................19
9 Определение абстрактного контрольного примера ..............................................................................19
9.1 Контекст .........................................................................................................................19
9.2 Параметры .....................................................................................................................20
9.3 Контрольный пример ..................................................................................................21
9.4 Цель теста ......................................................................................................................22
9.5 Реализация теста .......................................................................................................... 23
10 Интерфейсы.................................................................................................................................................24
10.1 Интерфейс экземпляра схемы .................................................................................24
10.2 Ссылка на схему.........................................................................................................24
10.3 Ссылки на данные контекста ..................................................................................25
11 Область действия и видимость ................................................................................................................25
11.1 Правила области действия .......................................................................................26
11.2 Правила видимости........................26
11.3 Правила для явного элемента..................................................................................27
12 Отображение из EXPRESS в EXPRESS-! ....................
..
......................................................................32
12.1 Отображение EXPRESS-схемы ................................................................................32
12.2 Отображение простых типов данных из EXPRESS ............................................33
12.3 Отображение агрегатных типов данных.................................................................34
12.4 Отображение определенного типа данных из EXPRESS ...................................35
12.5 Отображение перечисляемого типа из EXPRESS ................................................35
12.6 Отображение выбираемого типа из EXPRESS .....................................................35
12.7 Отображение EXPRESS-константы........................................................................36
12.8 Отображение EXPRESS-объекта ............................................................................ 36
12.9 Отображение атрибутов EXPRESS-объекта..........................................................37
III