ГОСТ Р ИСО/ТО 10303-12-2000
ПРИЛОЖЕНИЕ G
(справочное)
Технические подходы
В данном приложении описаны некоторые технические подходы, использованные при регламентации
требовании к языку EXPRESS-I. описанному в настоящем стандарте. Настоящий материал содержит хроно
логическое и тематическое описание дискуссий но вопросам регламентации требований к языку EXPRESS-I и
результаты принятых по данным вопросам решений.
Язык EXPRESS-I был разработан в начале 1990 г. с целью удовлетворения потребностей пользователей
в написании простых примеров программ EXPRESS-моделей, применяемых для проверки и понимания мо
делей. В связи с этим описание языка ограничивалось только отображением экземпляров объектов.
Первые версии документа иланироватись как дополнение к справочному руководству по языку EXPRESS
(ГОСТ Р ИСО 10303-11). Позднее описание языка было существенно расширено.
G.1 Абстрактные контрольные примеры
Сан-Диего, апрель 1991 г.: Язык EXPRESS-I соответствует своему назначению, но можно ли сто расши
рить для работы с контрольными примерами, например для определения параметризованных экземпляров?
Обсуждеиис/Рсшснне: Следующая версия будет расширена в соответствии с данным предложением.
Кроме того, хотя физический файл нс позволяет включать независимые экземпляры типов (TYPE), было бы
желательно их включение в EXPRESS-1, чтобы другие виды реализации стандартов серии ГОСТ Р ИСО
10303 (ИСО 10303) могли их рассматривать в качестве предметов первого класса.
G.2 Связь с EXPRESS
Саппоро, июль 1991 г.: Насколько тесной должна быть связь между EXPRESS-1 и EXPRESS? Теперь,
при обеспечении описания контрольных примеров, следует ли считать EXPRESS-I более ориентированным
на класс контрольною примера, чем на класс методов описания?
Обсуждсиис/Решевие: Язык EXPRESS-I очевидно нуждается в тесной корреляции с существующей
лексической языка EXPRESS, а также с его возможными расширениями в EXPRESS версии 2. Возможно,
сто следует сохранить как класс документа но методам описания (метод языка для описания ). Однако, что бы
подчеркнуть разницу между описаниями информационной модели (например, EXPRESS) и описаниями
реализаций и (или) тестирования, описание EXPRESS-I следует выделить в отдельный документ, а нс вы
пускать в виде приложения к EXPRESS. РГЗ/ПЗ обратилась в Саппоро к Секретариату ТК 184 (PMAG) с
просьбой выделить описание EXPRESS-I в отдельный документ. До публикации в виде документа с кон
кретным обозначением сто следует переписывать в виде отдельного документа, а нс в виде приложения.
G.3 Ссылки на предметы
Саппоро, июль 1991 г.: Почему имеется знакперед ссылками на объект иди тип?
Обсуждсиис/Рсшенис: Главным пожеланием при разработке языка являлось установление лексическо
го различия между областями значений. Это подразумевает, что лексическое представление значения долж но,
насколько возможно, указывать соответствующую область значения. Поэтому знакиспользуется для
установления отличия того, что в языках программировании называется указателями, от других элементов
значений, например целочисленных или переменных.
G.4 Агрегации
Саппоро, июль 1991 г.: Нужно ли лексически обозначать область значения каждого вида агрегации? То
есть следует лексически различать мультимножества (bags), списки (lists) и наборы (sets), так как все они
отличаются от массивов (arrays).
Обсуждсиис/Рсшенис: Возможно, но это усложнило бы язык. На данный момент создан язык, описы
вающий различия между агрегациями фиксированной и переменной длины в качестве первичной характе
ристики поведения. Внутреннее поведение (зо есть упорядочение и копирование) менее важно. В любом
случае, существует базовое допущение о том, что все области значений устанавливаются вне EXPRESS-I.
Саппоро, июль 1991 г.: Нужно ли в языковых конструкциях иметь возможность установления макси
мальною числа символов в строке, границ массива и т.д.?
Обсуждсние/Рсшеннс: Нет. Имеется базовое допущение о существовании концептуальной модели (нс
обязательно описанной на языке EXPRESS), которая определяет эти характеристики. Язык EXPRESS-I ис
пользуется для отображения совокупности примеров концептуальной модели.
G.5 Строковые значения
Саппоро, июль 1991 г.: Следует ли рассматривать возможность включения новых строк в строковые
значения в противоположность языку EXPRESS?
Обсуждсние/Рсшеннс: EXPRESS можно рассматривать как язык (концептуального) определения, и в
этом смысле строка может быть неограниченной длины. EXPRESS-1 ближе к языку реализации по крайней
мерс в смысле способности отображать строковые и другие значения. Материал (например, бумага, экран
монитора), на котором отображаются данные, ограничен в размерах. Поэтому обеспечивается механизм раз
биения длинных строк на более короткие с целью их отображения.
73