ГОСТ Р ИСО/ТО 10303-12-2000
ПРИЛОЖЕНИЕ F
(справочное)
Замечания по применению стандарта
0
В настоящем приложении рассматриваются некоторые потенциальные сферы применения языка EX
PRESS-1.
В предмегно-ориенгированной терминологии EXPRESS-обьскт
(entity)
следовало бы назвать классом
(a class),
а экземпляр класса - предметом
(a n object),
один предмет может ссылаться на другой предмет. В
языке EXPRESS pan ичают объекты (
entities
) и типы
(types)
(то есть ENUMERATION. SELECT и другие оп
ределяемые типы данных) тем. что объекты могут иметь подтипы, тогда как типы нс могут иметь подтипов.
Физический файл, определяемый по ГОСТ Р ИСО 10303-21. четко различает объекты и типы тем. что толь
ко экземпляры объектов могут появляться в файле, а значения типов встраиваются в значения атрибутов и
на них нельзя ссылаться. В языке EXPRESS-I экземпляры объектов трактуются как предметы в предметно-
ориентированном смысле. Также допускается трактовка типов как предметов в смысле наличия их экземп
ляров, на которые можно ссылаться; альтернативно допускается трактовка типов как физического файла,
в котором содержатся значения типов.
F.1 Примеры EXPRESS-данных
Простейших! применением языка EXPRESS-1 являются упражнения по написанию на бумаге приме
ров данных, определяющих конструкции языка EXPRESS. Язык позволяет отобразить экземпляры предме
тов в виде предметов, на которые допускаются ссылки. Экземпляры типов также могут отображаться как
предметы, доступные для ссылок, или они могут пояатяться в значениях других предметов как значения
недоступные для ссылок. Примеры, приведенные в настоящем стандарте, показывают обе формы наполне
ния типов.
Также требуются значения явных атрибутов объектов. Нет необходимости отображать значения вы
числяемых или инверсных атрибутов, за исключением оговоренных в примерах, потому что эти значения
необходимо вычислять из значений явных атрибутов.
Примеры EXPRESS-схсм можно отображать так же. как и отдельные предметы.
EXPRESS-1-конструкцин MODEL предназначена для отображения нескольких схем. Обычно конст
рукция MODEL используется, когда две или более EXPRESS-схемы взаимодействуют друг с другом. Отме
тим, что сам язык EXPRESS не поддерживает данную конструкцию.
F.2 Абстрактные контрольные примеры
EXPRESS-I-конструкция TEST_CASE предусмотрена для формального определения контрольных
примеров, проверяющих реализацию конструкций, установленных в языке EXPRESS. В самом языке EX
PRESS эквивалентная конструкция отсутствует.
Для контрольного примера должен быть определен базовый набор предметов EXPRESS-I. состоящий
из подлежащих тестированию предметов и относящихся к ним данных. Значения этих предметов могут быть
представлены в виде параметров, формальные определения которых заданы в обобщающем
коifтекете (CONTEXT). Затем ряд К
1
ггральных примеров может быть определен на основе CONTEXT
путем задания фактических значений параметров. Тем самым единый «параметризованный» контекст
может поддерживать много различных тестов (испытаний). Так же должна быть представлена
документация по контрольному примеру, охватывающая назначение теста и ожидаемые результаты (см.
стандарты серии ГОСТ Р ИСО 10303 но аттестационному тестированию).
F.3 Объектные базы
Предполагается наличие некоторой объектной базы, хранящей предметы, соответствующие опреде
ляемым EXPRESS-схемам. Это значит, что объектная база имеет возможность обслуживания конкретных
предметов, соответствующих EXPRESS-схемам. в которых объявлены их определения. Проектирование и
реализация такой объектной базы предлагается читателю в качестве упражнения.
F.3.1 Вход
В заданной объектной базе EXPRESS-I может быть использован как средство ввода предметов в объ
ектную базу. Этот процесс мог быть либо пакетным, когда заранее подготовленный файл EXPRESS-I чита
ется объектным процессором, либо интерактивным, когда пользователь постепенно добавляет предметы
EXPRESS-I.
В зависимости от развитости объектной базы пользователю может или нс может потребоваться явное
задание значений вычисляемых и инверсных атрибутов.
F.3.2 В ы ход
В заданной наполненной объектной базе EXPRESS-I может быть использован как язык вывода дан
ных для отображения части или всего содержимого объектной базы, воспринимаемого человеком.
В зависимости от развитости объектной базы, отображаемые объектные предметы могут или нс могут
включать значения вычисляемых и инверсных атрибутов. Однако, по меньшей мерс имена ролей этих атри
бутов выводить необходимо.
EXPRESS-1-конСфукции MODEL спроектирована дли отображения совокупности объектной базы.
71