ГОСТ Р И С 0 10303-11 — 2009
нарушают данные условия и поэтому не принадлежат данной области определения. В случае если экзем
пляры объектов не содержат значения для необязательных атрибутов, а при некоторых условияхданные
необязательные атрибуты используются, то может оказаться невозможным определить, соответствуютли
экземпляры объектов всем условиям. В таком случае считается, что экземпляры объектов принадлежат
данной области определения.
Многим элементам языка EXPRESS присвоены имена. Имя позволяетдругим элементам языка ссы
латься на связанное с этим именем представление. Использование имени вопределении других элемен
тов языка создает ссылку на базовое представление. Хотя всоответствии ссинтаксисом языка для обозна
чения имени используется идентификатор, базовое представление должно быть изучено для понимания
его структуры.
Спецификация объектного типа данных в языке EXPRESS описывает область определения. Предпо
лагается. что отдельные элементы области определения различаются некоторыми связанными с ними уни
кальными идентификаторами. Язык EXPRESS не определяет содержание или представление этих иденти
фикаторов.
Объявление постоянного экземпляра объекта определяет идентифицируемый элемент области опре
деления. представленный объектным типом данных. Такие экземпляры объектов не должны изменяться
или уничтожаться операциями, выполняемыми вданной области определения.
Процедурные описания ограничений вязыке EXPRESS могут объявлять илиделать ссылки надопол
нительные экземпляры объекта как на локальные переменные, которые принимаются как временные иден
тифицируемые элементы области определения. Данные процедурные описания могут изменять дополни
тельные экземпляры объекта, но не могут изменять постоянные элементы области определения. Такие
временные элементы области определения доступны только в процессе выполнения процедуры, в которой
они объявлены, и прекращают свое существование после завершения ее выполнения.
Язык EXPRESS не описывает среду реализации. В частности язык EXPRESS не определяет:
- как реализуются ссылки на имена;
- какиедругие схемы становятся известными;
- как и когда проверяются ограничения:
- что должна делать реализация, если ограничение нарушено;
- имеют или не имеют право на существование в реализации экземпляры объектов, которые не соот
ветствуют EXPRESS-схеме;
- когда и как в реализации создаются, изменяются и удаляются экземпляры объектов.
6 Синтаксис спецификации языка
В настоящем разделе определена нотация, используемая для представления синтаксиса языка
EXPRESS.
Полный синтаксис языка EXPRESS приведен в приложении А. Части этих синтаксических правил
воспроизведены в различных разделах настоящего стандарта для иллюстрации синтаксиса конкретных
операторов. Эти части не всегда полны. Поэтому иногда необходимо руководствоваться приложением А в
отношении недостающих в данном примере правил. Части синтаксических правил в тексте настоящего
стандарта представлены в рамках. Каждое синтаксическое правило внутри рамки обозначено слева уни
кальным номером для использования его в перекрестных ссылках вдругих синтаксических правилах.
6.1 Синтаксис спецификации
Синтаксис языка EXPRESS определен как производная от синтаксической нотации Вирта (СНВ) [3].
Соглашения об обозначениях и самоопределенная СНВ приведены ниже.
syntax
production
expression
term
factor
identifier
literal
group
option
repetition
= {production}.
= identifier ’ = ’ expression ’ . ’ .
= term {’ | ’ term}.
= factor { factor}.
= identifier | literal | group | option | repetition
= character {character}.
= ’ “ ’ character { character} ’" ’.
= ’ (’ expression ’ )’.
= ’ [ ’ expression’ ] ’.
= ’ { ’ expression’} ’.
5