Товары в корзине: 0 шт Оформить заказ
Стр. 1 

86 страниц

Определяет язык, на котором может быть описан (отображен) экземпляр (часть) рассматриваемой предметной области. Стандарт также определяет метод формального описания для поддержки спецификаций абстрактных тестовых (контрольных) примеров.

 Скачать PDF

Консультация по подбору ГОСТабесплатно

Оглавление

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

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

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

 

86 страниц

Дата введения01.01.2002
Добавлен в базу01.09.2013
Актуализация01.02.2020

Этот ГОСТ находится в:

Организации:

14.11.2000УтвержденГосстандарт России292-ст
ИзданИПК Издательство стандартов2001 г.
РазработанНаучно-технический центр ИНТЕГРО-Д
РазработанТК 431 CALS-технологии
РазработанВНИИстандарт

Industrial automation systems and integration. Product data representation and exchande. Part 12. Description methods. The EXPRESS-1 language reference manual

Стр. 1
стр. 1
Стр. 2
стр. 2
Стр. 3
стр. 3
Стр. 4
стр. 4
Стр. 5
стр. 5
Стр. 6
стр. 6
Стр. 7
стр. 7
Стр. 8
стр. 8
Стр. 9
стр. 9
Стр. 10
стр. 10
Стр. 11
стр. 11
Стр. 12
стр. 12
Стр. 13
стр. 13
Стр. 14
стр. 14
Стр. 15
стр. 15
Стр. 16
стр. 16
Стр. 17
стр. 17
Стр. 18
стр. 18
Стр. 19
стр. 19
Стр. 20
стр. 20
Стр. 21
стр. 21
Стр. 22
стр. 22
Стр. 23
стр. 23
Стр. 24
стр. 24
Стр. 25
стр. 25
Стр. 26
стр. 26
Стр. 27
стр. 27
Стр. 28
стр. 28
Стр. 29
стр. 29
Стр. 30
стр. 30

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

ГОСУДАРСТВЕННЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Системы автоматизации производства и их интеграция

ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ

Часть 12

Методы описания Справочное руководство по языку EXPRESS-I

БЗ 10-2000/304


Издание официальное

ГОССТАНДАРТ РОССИИ Москва

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

Предисловие

1    РАЗРАБОТАН Всероссийским научно-исследовательским институтом стандартизации (ВНИИстандарт) при участии Научно-технического центра «ИНТЕГРО-Д»

ВНЕСЕН Техническим комитетом по стандартизации ТК 431 «CALS-технологии»

2    ПРИНЯТ И ВВЕДЕН В ДЕЙСТВИЕ Постановлением Госстандарта России от 14 ноября 2000 г. № 292-ст

3    Настоящий стандарт содержит полный аутентичный текст международного стандарта ИСО/ТО 10303-12-97 «Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 12. Методы описания. Справочное руководство по языку EXPRESS-I»

4    ВВЕДЕН ВПЕРВЫЕ

© ИПК Издательство стандартов, 2001

Настоящий стандарт не может быть полностью или частично воспроизведен, тиражирован и распространен в качестве официального издания без разрешения Госстандарта России

II

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

6 Элементы языка

В данном разделе установлены основные элементы, из которых формируют предложения языка EXPRESS-I: набор символов, примечания, знаки, зарезервированные слова и идентификаторы.

Определения синтаксиса, приведенные в настоящем стандарте в прямоугольных рамках, являются выдержками из синтаксиса языка EXPRESS-I, установленного в приложении А, которое определяет полный синтаксис языка и любые языковые конструкции, не представленные в настоящем разделе. Метод спецификации синтаксиса является расширением множества, используемого для EXPRESS в соответствии с разделом 6 ГОСТ Р ИСО 10303-11.

Примечание 1— Для удобства читателя метод определения EXPRESS повторен в приложении D вместе с расширениями для EXPRESS-I.

Базовые элементы языка компонуются в поток исходного текста, обычно разделяемого на физические строки. Физической строкой является любое число символов (включая ноль), заканчивающееся символом новой строки (см. 6.1.5.2).

Примечание 2 — Исходный текст EXPRESS-I легче читать, если операторы представлены отдельными строками, а для разделения различных конструкций использованы пробелы.

6.1    Набор символов

В исходном тексте EXPRESS-I следует использовать только символы из следующего набора: символы, размещенные в ячейках 20—7Е ряда 00 уровня 00 группы 00 ИСО/МЭК 10646-1 и специальный символ \п, обозначающий новую строку. Этот набор называется набором символов EXPRESS-I. Элементы этого набора ссылаются на соответствующие ячейки ИСО/МЭК 10646-1, в которых определены данные символы; номера этих ячеек определены в шестнадцатеричной системе. Печатаемые символы данного набора (ячейки 21—7Е из ИСО/МЭК 10646-1) комбинируются для образования лексем языка EXPRESS-I. Лексемами EXPRESS-I являются ключевые слова, идентификаторы, знаки, литералы или значения. Дальнейшая классификация набора символов EXPRESS-I приведена ниже.

Определенный таким образом набор символов является абстрактным набором символов; он не зависит от его представления в реализации. В частности, фактическая реализация может использовать некоторые управляющие коды, определенные в ИСО/МЭК 6429 [2]. Такие коды интерпретируются реализацией и в результате могут приводить к включению в окончательный исходный текст одного или нескольких абстрактных символов из набора символов EXPRESS-I.

Пример 1 — Управляющий код TAB может интерпретироваться реализацией как добавление одного или нескольких символов пробела к абстрактным символам, образующим определение EXPRESS-I.

Примечание — Данный раздел определяет только символы, используемые для определения исходного текста на EXPRESS-I, но не определяет область символов, допустимых внутри строкового значения.

6.1.1    Цифры

В EXPRESS-I используются арабские цифры 0—9 (ячейки 30—39 набора символов EX-PRESS-1).

Синтаксис:

120 digit - < как в EXPRESS > ._

6.1.2    Буквы

В EXPRESS-I используются прописные и строчные буквы английского алфавита (ячейки 41—5А и 61—7А набора символов EXPRESS-I). Тип букв имеет значение только внутри явных строковых значений.

Примечание — EXPRESS-1 может быть описан с использованием прописных, строчных или и тех, и других букв.

Синтаксис:

124 letter = < как в EXPRESS > ._

6.1.3    Специальные символы

Специальные символы (печатаемые символы, не являющиеся буквами или цифрами) используются, в основном, для пунктуации и в качестве операторов. Некоторые из указанных спе-

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

циальных символов не используются как часть языка. Они, однако, могут использоваться внутри примечаний и строковых значений. Такие специальные символы находятся в ячейках 21—2F, ЗА—3F, 40, 5В—5Е, 60 и 7В—7Е набора символов EXPRESS-I.

Синтаксис:

134 special = < как в EXPRESS > .

6.1.4    Подчеркивание

Символ подчеркивания ( __ , ячейка 5F набора символов EXPRESS-I ) может быть использован в идентификаторах и ключевых словах, но он не должен использоваться в качестве первого символа.

6.1.5    Пробел

Пробел определяется в следующих подпунктах и в 6.1.6. Пробел должен использоваться для разделения лексем в исходном тексте EXPRESS-I.

Примечание — Свободное, в рамках допустимого, использование пробелов может улучшить структуру и читабельность исходного текста на EXPRESS-I.

6.1.5.1    Символ пробела

Один или несколько пробелов (ячейка 20 набора символов EXPRESS-I ) могут появиться между двумя лексемами или внутри строкового значения. Обозначение \s можно использовать для представления символа пробела в синтаксисе языка.

6.1.5.2    Новая строка

Новая строка помечает физический конец строки внутри формальной спецификации, записанной на EXPRESS-I. Новая строка обычно выступает как пробел, но требуется и по существу, когда она завершает концевое примечание или появляется внутри строкового значения. Новая строка представляется обозначением \п в синтаксисе языка.

Представление новой строки определяется реализацией.

6.1.6    Примечания

Примечание используется для документирования и должно интерпретироваться синтаксическим анализатором EXPRESS-I как пробел. Имеются две формы примечания: встроенное и концевое.

6.1.6.1    Встроенное примечание

Пара символов (* обозначает начало встроенного примечания, а пара символов *) обозначает его конец. Встроенное примечание может появляться между любыми двумя лексемами.

Синтаксис:

142 embedded_remark = < как в EXPRESS > .

Любой символ из набора символов EXPRESS-I может находиться между началом и концом встроенного примечания, включая символ новой строки; поэтому встроенные примечания могут занимать несколько физических строк.

Встроенные примечания могут быть вложенными.

Примечание — Следует следить за тем, чтобы вложенные примечания обрамлялись парами соответствующих знаков.

Пример 2 — Пример встроенных вложенных примечаний.

(* Знак '(*' начинает встроенное примечание, а знак '*)' заканчивает его. *)

6.1.6.2    Концевое примечание

Концевое примечание записывается в конце физической строки. Два последовательных дефиса (—) служат началом концевого примечания, а последующий символ новой строки завершает его.

Синтаксис:

144 tail_remark = <как в EXPRESS> .

Пример 3 — Концевое примечание.

5


— Это концевое примечание, и оно завершается символом новой строки.

4—260

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

6.2 Зарезервированные слова

Зарезервированными словами в EXPRESS-I являются ключевые слова и имена встроенных констант, функций и процедур. Зарезервированные слова не должны использоваться в качестве идентификаторов. Зарезервированные слова EXPRESS-I описаны ниже.

6.2.1 Ключевые слова

В EXPRESS-I используется подмножество ключевых слов EXPRESS вместе с некоторыми дополнительными ключевыми словами.

В таблице 1 перечислены ключевые слова, общие для EXPRESS-I и EXPRESS. В таблице 2 перечислены дополнительные ключевые слова EXPRESS-I.

Примечание — Ключевые слова обозначаются прописными буквами, представляющими литерал. Это позволяет облегчить чтение синтаксических конструкций.

Таблица 1 - Ключевые слова, общие для EXPRESS-I и EXPRESS

ABSTRACT

AGGREGATE

ALIAS

ARRAY

BAG

BEGIN

BINARY

BOOLEAN

BY

CASE

CONSTANT

CONTEXT

DERIVE

ELSE

END

ENDALIAS

END_CASE

EN D_CON STANT

EN D CON TEXT

ENDENTITY

ENDFUNCTION

ENDIF

ENDLOCAL

ENDMODEL

ENDJPROCEDURE

ENDREPEAT

ENDTYPE

ENTITY

ENUMERATION

ESCAPE

FIXED

FOR

FUNCTION

GENERIC

IF

INTEGER

INVERSE

LIST

LOCAL

LOGICAL

MODEL

NUMBER

OF

ONEOF

OPTIONAL

OTHERWISE

PROCEDURE

QUERY

REAL

REPEAT

RETURN

SELECT

SET

SKIP

STRING

SUBTYPE

SUPERTYPE

THEN

TO

TYPE

UNIQUE

UNTIL

VAR

WHERE

WHILE

Таблица 2 — Дополнительные ключевые слова EXPRESS-I

CALL

CRITERIA

ENDCALL

ENDCRITERIA

ENDNOTES

EN D OB J ECTIVE

EN DPARAM ETER

ENDPURPOSE

END_REALIZATION

END__REFERENCES

END_SCHEMA_DATA

EN DTESTCASE

IMPORT

NOTES

OBJECTIVE

PARAMETER

PURPOSE

REALIZATION

REFERENCES

SCH EM ADATA

SUBOF

SUPOF

TESTCASE

USING

WITH

6.2.2 Зарезервированные слова, являющиеся операторами Операторы, определяемые зарезервированными словами, указаны в таблице 3. Это те же самые операторы, что и операторы EXPRESS, определенные в разделе 12 ГОСТ Р ИСО 10303-11.

Таблица 3 — Использование в EXPRESS-I операторов EXPRESS

AND

ANDOR

DIV

IN

LIKE

MOD

NOT

OR

XOR

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

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

Имена встроенных констант EXPRESS-1 приведены в таблице 4. Это те же константы, что и константы EXPRESS, определенные в разделе 14 ГОСТ Р ИСО 10303-11.

Таблица 4 - Использование в EXPRESS-I констант EXPRESS

?

CONST_E

FALSE

PI

SELF

TRUE

UNKNOWN

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

Имена функций EXPRESS, которые могут использоваться в EXPRESS-1, приведены в таблице 5.

Таблица 5 - Использование в EXPRESS-I функций EXPRESS

ABS

ACOS

ASIN

ATAN

BLENGTH

COS

EXISTS

EXP

FORMAT

HIBOUND

HIINDEX

LENGTH

LOBOUND

LOG

LOG 10

LOG2

LOINDEX

NVL

ODD

ROLESOF

SIN

SIZEOF

SQRT

TAN

TYPEOF

USEDIN

VALUE

VALUEJN

VALUEUNIQUE

Определения этих функций приведены в разделе 15 ГОСТ Р ИСО 10303-11.

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

Имена EXPRESS-процедур, которые могут быть использованы в EXPRESS-I, приведены в таблице 6. Процедуры определены в разделе 16 ГОСТ Р ИСО 10303-11.

REMOVE


INSERT


Таблица 6 — Использование в EXPRESS-I процедур EXPRESS

6.3 Знаки

Знаками являются специальные символы или группы специальных символов, имеющие специфический смысл в EXPRESS-I. Знаки используются в EXPRESS-I в качестве ограничителей и операторов. Ограничитель используется для начала, разделения или завершения соседних лексических или синтаксических элементов. Интерпретация этих элементов была бы невозможной без разделителей. Операторы означают, что над операндами должны быть совершены действия, связанные с оператором. Знаки EXPRESS-I приведены в таблицах 7 и 8.

Таблица 7 — Знаки, общие для EXPRESS-I и EXPRESS

?

*

+

-

=

%

f

\

/

<

>

[

]

{

}

i

e

(

)

<=

< >

>=

<*

:=

ii

**

(*

*)

4*

7

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

Таблица 8 — Дополнительные знаки EXPRESS-1

@

1

->

<-

= =

u

6.4 Идентификаторы и ссылки

Идентификаторами являются имена, присвоенные элементам, объявленным в реализации EXPRESS-1. Идентификатор не должен совпадать с зарезервированными словами EXPRESS-1 или EXPRESS.

Синтаксис:

187 constant_id = < как в EXPRESS > .

198 entity id = < как в EXPRESS > .

282 schema_id = < как в EXPRESS > .

140 simple_Jd = < как в EXPRESS > .

5li ComplexEntitylnstanceld = SimpleEntitylnstanceld '[' SupSubld ']' .

58i Contextld = simple_id .

69i Entitylnstanceld = ComplexEntitylnstanceld |

SimpleEntitylnstanceld .

73i Enumerationld = type_ref .

75i Enumerationlnstanceld = simple id .

92i Modelld = simple_id .

lOOi Parameterld = simple id .

115i Selectld = type_ref .

117i Selectlnstanceld = simple_id .

120i SimpleEntitylnstanceld = simple__id .

122i Simplelnstanceld = simple_id .

125i SupSubld = digits .

129i TestCaseld = simple_id .

136i Typeld = type_ref .

138i Typelnstanceld = simple_id .

Первым символом простого идентификатора должна быть буква. Остальные символы, при их наличии, могут быть любой комбинацией букв, цифр и символа подчеркивания. Внутри идентификаторов не должно быть ни одного пробела.

Разработчик синтаксического анализатора EXPRESS-I должен установить максимальное число символов идентификатора, которое может распознаваться данной реализацией (см. приложение В).

Примечание - Буквы, используемые для формирования идентификаторов, не чувствительны к типу, т.е. заглавные и строчные буквы воспринимаются как одинаковые.

Пример 4 - Правильные простые идентификаторы POINT line Circle AnEntity item507 An_integer.

Пример 5~ Неправильные простые идентификаторы

_POINT    подчеркивание не может быть первым символом

line?    ? не может быть частью идентификатора

3dThing    цифра не может быть первым символом

Pi    Pi является ключевым словом EXPRESS-I

Пример 6 — Правильные идентификаторы экземпляра сложного объекта complex[ 101]    complex[ 12]    an_ent[23]    an_ent[77]

Синтаксис:

146 constant_ref = < как в EXPRESS > .

154 type ref = < как в EXPRESS > .

36i ContextRef = Contextld .

39i ParameterRef = Parameterld .    _

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

На элемент можно ссылаться по его идентификатору. На элементы — константа и параметр — можно ссылаться по соответствующему идентификатору.

Синтаксис:

34i ComplexEntitylnstanceRef = '@' SipmleEntitylnstanceld .

37i EntitylnstanceRef = ComplexEntitylnstanceRef |

SimpleEntitylnstanceRef .

38i Enumeration I nstanceRef = '@' Enumerationlnstanceld .

96i ObjectlnstanceRef = EntitylnstanceRef | EnumerationlnstanceRef |

SelectlnstanceRef | SimplelnstanceRef |

TypelnstanceRef .

40i SelectlnstanceRef = Selectlnstanceld .

41 i SimpleEntitylnstanceRef = '@' SimpleEntitylnstanceld .

42i SimplelnstanceRef = Simplelnstanceld .

43i SupSubRef = v@' SupSubld .

44i TypelnstanceRef = Typelnstanceld ._

Первым символом ссылки на экземпляр объекта (entity), перечисления (enumeration), типа (type) или выбора (select) должен быть @ с последующим хотя бы одним символом. Символы после начального @ могут быть любой комбинацией букв, цифр и символа подчеркивания, которые образуют правильный идентификатор объекта, перечисления, простого экземпляра, экземпляра выбора или типа. Эти ссылки в совокупности называются ссылками на экземпляр предмета.

Пример 7“ Правильные ссылки на экземпляр предмета @P01NT @line    @Circle    @AnEntity    @item567

@line?

3dThing

@subof

@@Circle

@567

@complex[82]

Пример 8 — Неправильные ссылки на экземпляр предмета.

? не может быть частью идентификатора

@ должен быть первым символом

subof является ключевым словом EXPRESS-I

@ может появляться только в качестве первого символа

символы, следующие за @, должны начинаться с буквы

допустимы только символы букв, цифр и подчеркивания.

7 Именованные области значений

В настоящем разделе определены типы областей значений (доменов), как части языка. Области значений используются для описания допустимых значений экземпляра. Именованными областями значений являются области значений объекта, типа, перечисления или выбора.

7 Л Область значений объекта

Область значений объекта представляет класс предметов, имеющих общие атрибуты. Синтаксис:

66i EntityDomain — [ Schemald V ] Entityld ._

Примечание — Область значений объекта соответствует типу данных объекта в языке EXPRESS.

7.2 Область значений перечисления

Область значений перечисления охватывает область значений упорядоченное множество

имен.

Синтаксис:

72i EnumerationDomain = f Schemald v.

1 Enumeration Id .

Примечание — Область значений перечисления соответствует перечисляемому типу данных в языке EXPRESS.

7.3 Область значений выбора

9

Область значений выбора охватывает объединение областей значений.

5—260

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

Синтаксис:

114i SelectDomain = [ Schemald V ] Selectld .

Примечание — Область значений выбора соответствует выбираемому типу данных в языке EXPRESS.

7.4 Область значений типа

Область значений типа является расширением для других областей значений в языке. Синтаксис:

135i TypeDomain = [ Schemald V ] Typeld.

Примечание — Область значений типа соответствует определенному типу данных в языке EXPRESS, не являющемуся перечисляемым или выбираемым типом.

8 Значения и экземпляры

В данном разделе описаны реализации возможностей языка EXPRESS.

8.1    Базовые значения

Синтаксис:

48i BaseValue = SimpleValue | EnumerationValue .

123i SimpleValue = BinaryValue | BooleanValue | LogicalValue |

NumberValue | StringValue .

Простым значением является значение самоопределенной константы. Область значения зависит от того, как компонуются символы при формировании лексемы.

8.1.1    Двоичное значение

Двоичное значение представляет величину двоичной области значений.

Синтаксис:

25i BinaryValue = binary_literal .

136 binary_literal = < как в EXPRESS > .

Двоичное значение образуется из символа % и последующих одного или более битов (0 или 1). Разработчик синтаксического анализатора языка EXPRESS-1 должен установить максимальное число битов в двоичном значении, которое может распознаваться данной реализацией (см. приложение В).

Пример 9“ Правильное двоичное значение %10100110000101

8.1.2    Булевское значение

Булевское значение представляет величину булевской области значений.

Синтаксис:

50i BooleanValue = TRUE I FALSE .

Булевским значением является одна из встроенных констант FALSE или TRUE.

8.1.3    Числовое значение

Числовым значением является целочисленное или действительное значение. Синтаксис:

94i NumberValue = IntegerValue | RealValue .

8.1.4    Целочисленное значение

Целочисленное значение представляет величину целочисленной области значений. Синтаксис:

29i IntegerValue = [sign] integer_literal .

138 integer_literal = < как в EXPRESS > .

286 sign = < как в EXPRESS > .

10

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

Целочисленный литерал компонуется полностью из цифр. Целочисленное значение компонуется из целочисленного литерала, возможно, предваряемого знаком. Оно определяет положительное, отрицательное либо нулевое целое число.

Разработчик синтаксического анализатора языка EXPRESS-I должен установить максимальное значение целого, которое может распознаваться данной реализацией (см. приложение В).

Пример 10 — Правильные целочисленные значения:

0    1    -1    891562934527619

Пример 11 — Неправильные целочисленные значения:

1.0    не    может    включать    десятичную    точку.

8.1.5    Логическое значение

Логическое значение представляет величину логической области значений.

Синтаксис

88i LogicalValue = logicaMiteral .

242 logicaMiteral = < как в EXPRESS > .

Логическим значением является одна из встроенных констант FALSE, TRUE или UNKNOWN.

8.1.6    Действительное значение

Действительное (вещественное) значение представляет величину действительной области значений.

Действительным значением является математическая константа со знаком или действительный литерал со знаком.

Синтаксис:

104i RealValue = SignedMathConstant | SignedRealLiteral .

3li SignedMathConstant = [ sign ] MathConstant .

89i MathConstant = CONST_E | PI .

32i SignedRealLiteral = [ sign ] realjiteral .

139 real literal = < как в EXPRESS > .

Математической константой со знаком является одна из встроенных математических констант (то есть е или тс), возможно предваряемая знаком.

Математическая константа е ~ 2,7182... представляется константой CONST_E языка EXPRESS.

Математическая константа л = 3,1415... представляется константой PI языка EXPRESS.

Пример    12    — Математические константы    со    знаком:

-const_e    Pi

Действительный литерал со знаком компонуется из мантиссы (со знаком) и возможного показателя степени. Он определяет действительное число.

Разработчик синтаксического анализатора языка EXPRESS-I должен установить максимальную точность и максимальный показатель степени действительного значения, которые могут распознаваться данной реализацией (см. приложение В).

Пример 13 — Правильные действительные значения:

0.0    -1.Е6    1.е-6    8915629.34527619

Пример    14    — Неправильные действительные    значения:

.001    перед точкой должна быть хотя бы одна цифра

1е10    в мантиссе должна быть десятичная точка

1.0 е-12.0 в показателе не должно быть десятичной точки CONSTE неверно записанная встроенная константа.

8.1.7 Строковое значение

Строковое значение представляет величину строковой области значений. Имеются две формы строкового значения — явное строковое значение и кодированное строковое значение. Явное

11

строковое значение компонуется из последовательности символов из набора символов EXPRESS-I, заключенной в апострофы ('). Апостроф внутри явного строкового значения представляется двумя последовательными апострофами. Кодированным строковым значением является кодированное четырьмя октетами представление последовательности символов из ИСО/МЭК 10646-1, заключенное в кавычки (“). Кодирование определяется следующим образом:

-первый октет = группа ИСО/МЭК 10646-1, в которой определяется символ;

- второй октет = проекция ИСО/МЭК 10646-1, в которой определяется символ;

-третий октет = строка ИСО/МЭК 10646-1, в которой определяется символ;

-четвертый октет = ячейка ИСО/МЭК 10646-1, в которой определяется символ. Последовательность октетов должна идентифицировать один из допустимых символов из ИСО/МЭК 10646-1.

Синтаксис:

124i StringValue = SimpleStringValue | EncodedStringValue .

33i SimpleStringValue = \q { (\q \q) | notquote | \s | \o | \n } \q .

130 not_quote = < как в EXPRESS > .

27i EncodedStringValue = ' ” ' { encoded_character | \n } ' ” ' .

122 encoded character = < как в EXPRESS > .

Разработчик синтаксического анализатора языка EXPRESS-1 должен установить максимальное число символов строкового значения, которое может распознаваться данной реализацией (см. приложение В).

Разработчик синтаксического анализатора языка EXPRESS-I должен установить максимальное число октетов (должно быть кратно четырем) кодированного строкового значения, которое может распознаваться данной реализацией (см. приложение В).

Примечание — Строковое значение EXPRESS отличается от строкового литерала EXPRESS, поскольку в первом случае строковое значение может занимать более чем одну физическую строку, тогда как строковой литерал EXPRESS не может занимать более одной физической строки.

Пример 15 — Правильные явные строковые значения: This is a string on the line.’

Читается: это строка в одну физическую строку.

‘This

is

а

multiline

string’.

Читается: Это

многострочная

строка

This string*‘s got a single apostrophe embedded in it’.

Читается: Эта строка содержит единственный встроенный апостроф.

Пример 16 — Неправильные явные строковые значения ‘This string is invalid because there is no closing apostrophe.

Пример 17 — Правильные кодированные строковые значения

“00000041” читается: А.

“000000С5“ читается: А

Пример 18 — Неправильные кодированные строковые значения: “000041“

Октеты должны раскладываться в группы четверок.

“00000041 000000С5“

Между октетами не должно быть пробелов.

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

8.1.8 Перечисляемое значение

Перечисляемое значение представляет величину перечисляемой области значений.

Синтаксис:

28i EnumerationValue = '!' simple_id .

Перечисляемое значение является простым идентификатором с предшествующим восклицательным знаком (!). Простым идентификатором является последовательность символов из букв, цифр и символа подчеркивания с буквой в качестве первого символа.

Пример 19 — Правильные перечисляемые значения:

!red    Jgreen    Iforward

8.2 Агрегатные значения

В EXPRESS различают две формы значений агрегаций — фиксированную и динамическую. Фиксированная агрегация является агрегацией аналогичных предметов, где число мест хранения не зависит от количества элементов, фактически хранящихся в агрегации. Динамическая агрегация является агрегацией аналогичных предметов, где число мест хранения зависит от числа элементов, фактически хранящихся в агрегации. Агрегатные значения могут быть вложенными.

Синтаксис:

46i AggregationValue = DynamicAggr | FixedAggr .

6ii DynamicAggr = '(' [ DynamicList ] ')' .

63i DynamicList = DynamicMember { V DynamicMember } .

64i DynamicMember = AggregationValue | ConstantValue | DerattValue |

ParmValue | RegattValue | TypeValue .

79i FixedAggr = '[' FixedList ']' .

80i FixedList = FixedMember { V FixedMember } .

81 i FixedMember = DynamicMember | Nil .

Допустимые области значений элементов внутри агрегации зависят от контекста области значений. Такими контекстами являются:

-константы (см. 8.8);

-вычисляемые атрибуты (см. 8.7.1.2);

-явные атрибуты (см. 9.2.2);

-параметры (см. 9.2.2);

-определенные типы данных (см. 8.4).

Правила и ограничения

a)    Элементы внутри динамической агрегации не должны быть равны Nil.

b)    Элементы внутри фиксированной агрегации могут быть равны Nil.

c)    Значения элементов внутри агрегации должны быть совместимы с областью значений агрегации.

(10,-10, 0)

(1, 1, 2, 2, 3, 3) О

[1,2, 3,4]

([1, 2],[3, ?])

Пример 20 — Агрегатные значения:

динамическая агрегация трех целочисленных значений динамическая агрегация шести целочисленных значений пустая динамическая агрегация

фиксированная агрегация четырех целочисленных значений динамическая агрегация фиксированной агрегации двух значений.

8.3 Простой экземпляр

Простой экземпляр является представлением значения одного экземпляра простого значения. Синтаксис:

121 i Simplelnstance = Simplelnstanceld SimpleValue .

122i Simplelnstanceld = simple_id .

123i SimpleValue = Binary Value | BooleanValue | LogicalValue | NumberValue |

StringValue .

13

42i Simplelnstance Ref = '@' Simplelnstanceld .

6—260

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

Содержание

1    Область применения ......................................................................................................................... I

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-1 ......................................................................................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

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

Пример 21 — Некоторые простые экземпляры г 1 = 27.0;

&1 = ‘ A string’;

8.4    Экземпляр типа

Экземпляр типа является представлением значения одного экземпляра области значений типа (TYPE).

Синтаксис:

137i Typelnstance = Typelnstanceld ' = ' TypelnstanceValue ';' .

138i Typelnstanceld = simple_id .

139i TypelnstanceValue = TypeDomain '{' TypeValue '}' .

140i TypeValue = Aggregation Value | Base Value | ConstantRef |

EntitylnstanceValue | NamedlnstanceValue |

ObjectlnstanceRef | ParameterRef .

44i TypelnstanceRef = '@' Typelnstanceld .

Правила и ограничения

а) Значение экземпляра должно быть либо простым значением, ссылкой на экземпляр объекта, ссылкой на экземпляр типа, либо агрегациями этих значений.

Пример 22- Некоторые экземпляры типов: tl = a_real{27.0};

t2 = an__array_of_string {['one4, 'two']};

t3 = a_dynamic_aggregate_of_integer {(1, 1, 2, 3, 5, 8, 13)};

8.5    Экземпляр выбора

Экземпляр выбора является представлением значения одного экземпляра области значений выбора (SELECT).

Синтаксис:

116i Selectlnstance = Selectlnstanceld ' = ' SelectlnstanceValue ';' .

1171 Selectlnstanceld = simple_id .

118i SelectlnstanceValue = SelectDomain SelectValue '}' .

119i SelectValue = EnumerationValue | NamedlnstanceValue \ ObjectlnstanceRef J TypeValue .

40i SelectlnstanceRef = Selectlnstanceld .

Правила и ограничения

а) Значение экземпляра должно быть либо ссылкой на экземпляр типа, ссылкой на экземпляр выбора, ссылкой на экземпляр перечисления, либо ссылкой на экземпляр объекта.

Пример 23- Экземпляр выбора &1 = type_or_entity{@e27};

8.6 Экземпляр перечисления

Экземпляр перечисления является представлением значения одного экземпляра области значений перечисления (ENUMERATION).

Синтаксис:

74i Enumerationlnstance = Enumerationlnstanceld ' = '

EnumerationlnstanceValue .

75i Enumerationlnstanceld = simple_id .

76i EnumerationlnstanceValue = EnumerationDamain

EnumerationValue '}' .

28i EnumerationValue = '!' simple_id .

38i Enumerationlnstance Ref = '@4 Enumerationlnstanceld .

Правила и ограничения

а) Значение экземпляра должно быть перечисляемым значением.

12.10 Отображение супертипов и подтипов ..............................................................41

Приложение А Описание синтаксиса EXPRESS-I ..............................................................................44

А.1 Лексемы .................................................................................................................44

А.2 Лексические элементы .........................................................................................47

А.З Интерпретируемые идентификаторы ..................................................................48

А. 4 Грамматические правила......................................................................................48

A.    5 Список перекрестных ссылок..............................................................................54

Приложение В Заявка о соответствии реализации протоколу (ЗСРП) .............................................63

B. 1 Синтаксический анализатор языка EXPRESS-1 ................................................63

Приложение С Регистрация информационного объекта....................................................................64

Приложение D Синтаксис спецификации языка................................................................................64

D.1 Синтаксис спецификации ...................................................................................64

D. 2 Нотация специального символа ..........................................................................65

Приложение Е Некоторые контрольные примеры .............................................................................66

E. 1 Контрольный пример 1 ........................................................................................66

Е.2 Контрольный пример 2 ........................................................................................67

Е.З Контрольный пример 3 ........................................................................................68

E. 4 Контрольный пример 4 ........................................................................................69

Приложение F Замечания по применению стандарта ........................................................................71

F. 1 Примеры EXPRESS-данных ................................................................................71

F.2 Абстрактные контрольные примеры ...................................................................71

F.3 Объектные базы ....................................................................................................71

F. 4 Примеры данных, отличных от EXPRESS .........................................................72

Приложение G Технические подходы ..................................................................................................73

G. 1 Абстрактные контрольные примеры ..................................................................73

G.2 Связь с EXPRESS .................................................................................................73

G.3 Ссылки на предметы ............................................................................................73

G.4 Агрегации ..............................................................................................................73

G.5 Строковые значения ............................................................................................73

G.6 Тестирование и принятие модели.......................................................................74

G.7 Расширение возможностей контрольного примера ..........................................74

G.8 Соответствие языку EXPRESS ............................................................................74

G.9 Опытная апробация .............................................................................................74

G.10 Расширения алфавита ........................................................................................74

G. 11 Отображение супертипов ...................................................................................74

G.12 Комментарии по голосованию за CD—1995 ....................................................75

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

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

IV

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

Введение

Стандарты серии ГОСТ Р ИСО 10303 распространяются на машинно-ориентированное представление данных об изделии и обмен этими данными. Целью является создание механизма, позволяющего описывать данные об изделии на протяжении всего жизненного цикла изделия независимо от конкретной системы. Характер такого описания делает его пригодным не только для обмена инвариантными файлами, но также и для создания баз данных об изделиях, коллективного пользования этими базами и архивации соответствующих данных.

Стандарты серии ГОСТ Р ИСО 10303 представляют собой набор отдельно издаваемых стандартов (частей). Части данной серии стандартов относятся к одной из следующих тематических групп: методы описания, интегрированные ресурсы, прикладные протоколы, комплекты абстрактных тестов, методы реализации и аттестационное тестирование. Группы стандартов данной серии описаны в ГОСТ Р ИСО 10303-1. Настоящий стандарт входит в группу методов описания.

Настоящий стандарт определяет элементы языка EXPRESS-1. Каждый элемент языка представляется в своем собственном контексте с примерами. Сначала вводятся простые элементы, а затем представляются более комплексные идеи в порядке нарастания их сложности.

Обзор языка

EXPRESS-1 — это название языка формального представления данных и спецификации абстрактных тестовых (контрольных) примеров. Он может быть использован для описания информационных требований других стандартов серии ГОСТ Р ИСО 10303 и родственен языкам EXPRESS и EXPRESS-G. Язык базируется на целом ряде целей проектирования, в частности:

-размеры и сложность стандартов серии ГОСТ Р ИСО 10303 требуют обеспечить читабельность языка как для компьютера, так и для человека. Выразительные средства стандартов данной серии призваны облегчить формальное выявление несоответствий в представлениях или спецификациях при использовании средств автоматизации;

-    следует обратить внимание на отображение реализацией свойств объектов, представляющих предмет интереса. Обеспечить определение объекта в терминах его свойств, которые характеризуются установлением области их значений (домена) и ограничениями на эту область;

-    обойтись, насколько это возможно, без рассмотрения конкретной реализации;

-    обеспечить средства отображения малых совокупностей EXPRESS-схем;

-    обеспечить средства поддержки спецификации комплектов абстрактных тестов для процессоров информационных моделей.

В EXPRESS-I экземпляры объектов представляются в терминах значений атрибутов: особенностей либо характеристик, считающихся важными для использования и понимания. Эти атрибуты имеют представление, которое может быть простым типом данных (таким, как целочисленный) либо типом другого объекта. Геометрическая точка может быть определена в терминах трех вещественных (действительных) чисел. Атрибутам, образующим определение объекта, даются имена. Так, для геометрической точки три вещественных числа могут иметь имена х, у и z. Устанавливается отношение между определяемым объектом и определяющими его атрибутами и, аналогичным образом, между атрибутом и его представлением.

Язык EXPRESS-1 обеспечивает средства для отображения реализацией элементов данных языка EXPRESS. Язык разработан, в основном, для восприятия человеком и для облегчения отображения экземпляров EXPRESS-I на определении в EXPRESS-схеме. В некоторых стандартах серии ГОСТ Р ИСО 10303, например в ГОСТ Р ИСО 10303-21, установлены требования к рациональным машинным реализациям схем. EXPRESS-I не предназначен для замены этих методов.

V

Основные элементы языка показаны на рисунке 1. Язык имеет две главные части. Первая часть служит для отображения экземпляров данных. Данные могут быть отображены на основе объект—объект, на основе схемы либо как набор экземпляров схем, предназначенный для отображения некоторой информационной модели рассматриваемой предметной области. В языке EXPRESS-1 эти данные называются экземплярами предмета (object instances), экземплярами данных схемы (schema data instances) и моделью (model). На рисунке 1 предполагается, что информационная модель определена с помощью языка EXPRESS.

2—260

Вторая часть языка служит для специфицирования абстрактных тестовых (контрольных) примеров с целью формального описания тестов, выполняемых над реализацией информационной модели, заданной на языке EXPRESS. Конструкциями языка, предназначенными для этой цели, являются контрольный пример (test case) и контекст (context). Данный раздел языка использует также процедурные аспекты языка EXPRESS. Экземпляры данных могут быть параметризованы и сохранены в контексте. Многие различные контрольные примеры могут присваивать значения параметризованным данным в контексте и использовать эти данные как часть спецификации данного теста.

Экземпляры данных, полученные в результате применения контрольного примера, могут отображаться с помощью конструкций, определенных в первой части языка.

Примечание — Примеры использования EXPRESS-I в настоящем стандарте не согласованы с правилами какого-либо конкретного стиля. В самом деле, иногда примеры используют не лучший стиль, чтобы достичь краткости либо показать гибкость. Примеры не претендуют на отражение содержания информационных моделей, определяемых в других стандартах серии ГОСТ Р ИСО 10303. Их функция — показать конкретные особенности EXPRESS-I. Любую аналогию между этими примерами и обязательными информационными моделями или абстрактными контрольными примерами, определенными в других стандартах серии ГОСТ Р ИСО 10303, следует игнорировать.

VI

2*


Отображаемые экземпляры данных (display data instances)


EXPRESS

Объявления схем (schema declarations)

Объявления типа (type declarations)

Объявления объектов (entity declarations)

Объявления правил (rule declarations)

Алгоритмические объявления (algorithm declarations)


(параметризованные) Экземпляры данных [(parameterised) data instances]


Импортируемые данные (import data)


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


МОДЕЛЬ (MODEL)


Экземпляры схем (schema instances)_


Экземпляры типа (type instances)

Экземпляры объектов (entity instances)


Отображаемые экземпляры результатов (display result instances)



КОНТЕКСТ (CONTEXT)

Формальные параметры (formal parameters)

Экземпляры схем (schema instances)

(параметризованные) Экземпляры типа [(parameterised) type instances]

(параметризованные) Экземпляры объектов [(parameterised) entity instances]

Алгоритмические объявления (algorithm declarations)


Рисунок 1 - Главные элементы языка EXPRESS-I


VII


ГОСУДАРСТВЕННЫЙ СТАНДАРТ РОССИЙСКОЙ ФЕДЕРАЦИИ

Системы автоматизации производства и их интеграция ПРЕДСТАВЛЕНИЕ ДАННЫХ ОБ ИЗДЕЛИИ И ОБМЕН ЭТИМИ ДАННЫМИ

Часть 12

Методы описания. Справочное руководство по языку EXPRESS-I

Industrial automation systems and integration. Product data representation and exchange.

Part 12. Description methods. The EXPRESS-I language reference manual

Дата введения 2002—01—01

1 Область применения

Настоящий стандарт определяет язык, на котором может быть описан (отображен) экземпляр (часть) рассматриваемой предметной области. Стандарт также определяет метод формального описания для поддержки спецификаций абстрактных тестовых (контрольных) примеров. Данный язык называется EXPRESS-I. Этот язык родственен языку EXPRESS, определенному в ГОСТ Р ИСО 10303-11.

EXPRESS-I является языком реализации для языка концептуальной схемы, как определено в ИСО/ТО 9007 [1], а конкретным языком концептуальной схемы, послужившим отправной точкой для EXPRESS-I, является EXPRESS. Язык EXPRESS-I позволяет отображать состояние предметов, принадлежащих к рассматриваемой предметной области, и блоки информации, относящиеся к этим предметам.

В область применения настоящего стандарта входят:

-    отображение экземпляров схем;

-    отображение экземпляров типов и объектов (сущностей);

-    данные абстрактного тестового (контрольного) примера;

-    преобразование EXPRESS-схем и типов данных в экземпляры EXPRESS-I.

В область применения настоящего стандарта не входят:

-    преобразование из других языков (концептуальных схем) в EXPRESS-I;

-    определение форматов базы данных;

-    определение форматов файла;

-    определение форматов передачи данных;

-    управление процессом;

-    обработка информации;

-    обработка исключительных ситуаций.

EXPRESS-I не является языком программирования.

2 Нормативные ссылки

В настоящем стандарте использованы ссылки на следующие стандарты:

ГОСТ Р ИСО 10303-1-99 Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы

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

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

Издание официальное

3—260

1

ИСО/МЭК 8824-1—95*) Информационная технология. Взаимосвязь открытых систем. Абстрактная синтаксическая нотация версии один (АСН.1). Часть 1. Спецификация основной нотации

ИСО 10303-31—94*) Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 31. Методология и основы аттестационного тестирования. Общие положения

ИСО/МЭК 10646-1 —93*) Информационная технология. Универсальный многобайтно-кодированный набор символов. Часть 1. Архитектура и основной многоязычный уровень

3 Определения

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

В настоящем стандарте использованы следующие термины, определенные в ГОСТ Р ИСО 10303-1:

• данные;

-    информация;

-    информационная модель.

3.2    Термины, определенные в ГОСТ Р ИСО 10303-11

В настоящем стандарте использованы следующие термины, определенные в ГОСТ Р ИСО 10303-11:

-граф подтип/супертип;

-    значение;

-    константа;

-    лексема;

-    объект;

-    совокупность;

-    тип данных сложного объекта;

-    тип данных;

-    экземпляр сложного объекта;

-    экземпляр объекта;

-    экземпляр простого объекта;

-    экземпляр.

3.3    Термины, определенные в ИСО 10303-31

В настоящем стандарте использованы следующие термины, определенные в ИСО 10303-31:

-    абстрактный тестовый (контрольный) пример;

-    критерий вердикта;

-    цель теста.

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

В настоящем стандарте использованы следующие термины с соответствующими определениями:

3.4.1    атрибут (attribute): Особенность, качество или свойство, характеризующее объект.

3.4.2    информационная база (information base): Набор экземпляров типов, соответствующих друг другу и информационной модели, принадлежащий экземпляру рассматриваемой предметной области.

Примечание — Информационная база может либо не может быть пригодной для компьютерной обработки. Например, ее не следует считать пригодной для компьютерной обработки, если она имеет форму рукописного документа. С другой стороны, если она задана в виде базы данных или компьютерного файла, то ее следует считать пригодной для компьютерной обработки и, следовательно, ее можно также называть объектной базой.

3.4.3    объектная база (object base): Информационная база, пригодная для компьютерной обработки.

3.4.4    схема (schema): Набор тесно связанных элементов, образующий информационную модель либо ее часть.

3.4.5    тип (type): Представление области (домена) допустимых значений.

') Оригиналы стандартов ИСО (ИСО/МЭК) - во ВНИИКИ Госстандарта России.

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

3.4.6 рассматриваемая предметная область (universe of discourse): Все те объекты (предметы) реального мира, которые представляют потенциальный интерес. Они являются подмножеством всех предметов (объектов) реального мира.

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

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

Формальная спецификация, записанная на EXPRESS-I, должна быть согласована с заданным уровнем соответствия, как определено ниже. Формальная спецификация соответствует данному уровню, когда для нее успешно выполнены все проверки, предусмотренные для данного и всех нижележащих уровней.

4.1.1    Уровни соответствия

Уровень 1. Проверка ссылок.

Этот уровень включает проверку формальной спецификации на корректность синтаксиса и ссылок. Формальная спецификация синтаксиса верна, если она соответствует синтаксису, образованному расширением первичных синтаксических правил, приведенных в приложении А. Формальная спецификация верна по ссылкам, если все ссылки на элементы EXPRESS-1 соответствуют области действия и правилам видимости, определенным в разделе И.

Уровень 2. Проверка типов.

Данный уровень включает проверку формальной спецификации на совместимость типов в выражениях и операторах присваивания, как определено для проверок уровня 2 в ГОСТ Р ИСО 10303-11.

Уровень 3. Проверка значений.

Данный уровень включает проверку формальной спецификации на соответствие условиям, определяемым проверками уровня 3 по ГОСТ Р ИСО 10303-11.

Уровень 4. Полная проверка.

Данный уровень включает проверку формальной спецификации на соответствие всем формулировкам требований, установленным в настоящем стандарте.

4.2 Реализации EXPRESS-I

Реализация синтаксического анализатора языка EXPRESS-I должна обеспечивать синтаксический разбор любой формальной спецификации, записанной на EXPRESS-I, в соответствии с ограничениями, связанными с данной реализацией, которые определены в ЗСРП (приложение В). Синтаксический анализатор языка EXPRESS-I должен быть продекларирован на соответствие конкретному уровню (как это определено в 4.1.1), если он может реализовать все проверки, предусмотренные для данного уровня (и всех нижележащих уровней) для формальной спецификации, записанной на EXPRESS-1.

Разработчик синтаксического анализатора языка EXPRESS-1 должен указать все ограничения, которая реализация накладывает на число и длину идентификаторов, диапазон обрабатываемых чисел и максимальную точность вещественных чисел. Такие ограничения должны документироваться для аттестационного тестирования в виде, определенном в приложении В.

5 Основные принципы

Предполагается, что читатель настоящего стандарта знаком с языком EXPRESS, описанным в ГОСТ Р ИСО 10303-11.

Использование EXPRESS-I для отображения экземпляров не требует и не предполагает наличия соответствующего набора объектов или других определений. Это означает, что EXPRESS-I может использоваться как язык со своими собственными правилами. Однако обычно вводится сопутствующий набор определений, описанных формальным образом на основе языка типа EXPRESS.

EXPRESS-I не описывает среду реализации. В частности, EXPRESS-I не определяет:

-    как организован доступ или вывод данных экземпляра;

-    как организовано хранение или обслуживание данных экземпляра;

-    как разрешены ссылки на EXPRESS-схемы;

-    как и когда проверяются ограничения или о них сообщается.

3