ГОСТ Р ИСО/ТО 10303-12-2000
3.4.6рассматриваемая предметная область (universe of discourse): Все те объекты (предметы)
реального мира, которые представляют потенциальный интерес. Они являются подмножеством
всех предметов (объектов) реального мира.
4 Требования соответствия
4.1 Формальные спецификации, талисанные на EXPRESS-!
Формальная спецификация, записанная на EXPRESS-1. должна быть согласована с задан
ным уровнем соответствия, как определено ниже. Формальная спецификация соответствует дан
ному уровню, когда ятя нее успешно выполнены все проверки, предусмотренные для данного и
всех нижележащих уровней.
4.1.1 Уровни соответствия
Уровень I. 11/юверка ссылок.
Этот уровень включает проверку формальной спецификации на корректность синтаксиса и
ссылок. Формальная спецификация синтаксиса верна, если она соответствует синтаксису, обра
зованному расширением первичных синтаксических правил, приведенных в приложении А. Фор
мальная спецификация верна по ссылкам, если все ссылки на элементы EXPRESS-1 соответст вуют
области действия и правилам видимости, определенным в разделе 11.
Уровень 2. Проверка типов.
Данный уровень включает проверку формальной спецификации на совместимость типов в
выражениях и операторах присваивания, как определено для проверок уровня 2 в ГОСТ Р ИСО
10303-11.
Уровень 3. Проверка мочений.
Данный уровень включает проверку формальной спецификации на соответствие условиям,
определяемым проверками уровня 3 по ГОСТ Р ИСО 10303-11.
Уровень 4. flatноя проверка.
Данный уровень включает проверку формальной спецификации на соответствие всем фор
мулировкам требований, установленным в настоящем стандарте.
4.2 Реализации EXPRESS-1
Реализация синтаксического анализатора языка EXPRESS-I должна обеспечивать синтакси
ческий разбор любой формальной спецификации, записанной на EXPRESS-I, в соответствии с
ограничениями, связанными с данной реализацией, которые определены в ЗСРГ1 (приложение
В). Синтаксический анализатор языка EXPRESS-I должен быть продекларирован на соответствие
конкретному уровню (как это определено в 4.1.1), если он может реализовать все проверки, пре
дусмотренные для данного уровня (и всех нижележащих уровней) ятя формальной специфика
ции, записанной на EXPRESS-1.
Разработчик синтаксического анализатора языка EXPRESS-I должен указать все ограниче
ния, которая реализация накладывает на число и длину идентификаторов, диапазон обрабаты
ваемых чисел и максимальную точность вещественных чисел. Такие ограничения должны доку
ментироваться яля аттестационного тестирования в виде, определенном в приложении В.
5 Основные принципы
Предполагается, что читатель настоящего стандарта знаком с языком EXPRESS, описанным
в ГОСТ Р ИСО 10303-11.
Использование EXPRESS-I для отображения экземпляров не требует и не предполагает на
личия соответствующего набора объектов или других определений. Это означает, что EXPRESS-I
может использоваться как язык со своими собственными правилами. Однако обычно вводится
сопутствующий набор определений, описанных формальным образом на основе языка типа EX
PRESS.
EXPRESS-I не описывает среду реализации. В частности. EXPRESS-1 не определяет:
- как организован доступ или вывод данных экземпляра;
- как организовано хранение или обслуживание данных экземпляра;
- как разрешены ссылки па EXPRESS-схемы;
- как и когда проверяются ограничения или о них сообщается.
3