ГОСТ Р ИСО/ТО 10303-12-2000
Введение
Стандарты серии ГОСТ Р ИСО 10303 распространяются на машинно-ориентированное
представление данных об изделии и обмен этими данными. Целью яаляется создание механизма,
позволяющего описывать данные об изделии на протяжении всего жизненного цикла изделия
независимо от конкретной системы. Характер такого описания делает его пригодным не только
для обмена инвариантными файлами, но также и для создания баз данных об изделиях, коллек
тивного пользования этими базами и архивации соответствуютих данных.
Стандарты серин ГОСТ Р ИСО 10303 представляют собой набор отдельно издаваемых стан
дартов (частей). Части данной серии стандартов относятся к одной из следующих тематических
групп: методы описания, интегрированные ресурсы, прикладные протоколы, комплекты абст
рактных тестов, методы реализации и аттестационное тестирование. Группы стандартов данной
серин описаны в ГОСТ Р ИСО 10303-1. Настоящий стандарт входит в группу методов описания.
Настоящий стандарт определяет элементы языка EXPRESS-1. Каждый элемент языка пред
ставляется в своем собственном контексте с примерами. Сначала вводятся простые элементы, а
затем представляются более комплексные идеи в порядке нарастания их сложности.
Обзор языка
EXPRESS-! - это название языка формального представления данных и спецификации аб
страктных тестовых (контрольных) примеров. Он может быть использован для описания инфор
мационных требований других стандартов серии ГОСТ Р ИСО 10303 и родственен языкам EX
PRESS и EXPRESS-G. Язык базируется на целом ряде целей проектирования, в частности:
-размеры и сложность стандартов серии ГОСТ Р ИСО 10303 требуют обеспечить читабель
ность языка как для компьютера, так и для человека. Выразительные средства стандартов данной
серии призваны облегчить формальное выявление несоответствий в представлениях или специ
фикациях при использовании средств автоматизации:
-следует обратить внимание на отображение реализацией свойств объектов, представляю
щих предмет интереса. Обеспечить определение объекта в терминах его свойств, которые харак
теризуются установлением области их значений (домена) и ограничениями на эту область;
- обойтись, насколько это возможно, без рассмотрения конкретной реализации;
- обеспечить средства отображения малых совокупностей EXPRESS-схем;
- обеспечить средства поддержки спецификации комплектов абстрактных тестов для процес
соров информационных моделей.
В EXPRESS-1 экземпляры объектов представляются в терминах значений атрибутов: осо
бенностей либо характеристик, считающихся важными для использования и понимания. Эти ат
рибуты имеют представление, которое может быть простым типом данных (таким, как целочис
ленный) либо типом другого объекта. Геометрическая точка может быть определена в терминах
трех вещественных (действительных) чисел. Атрибутам, образующим определение объекта, дают ся
имена. Так. для геометрической точки три вещественных числа могут иметь имена х, у и г.
Устанавливается отношение между определяемым объектом и определяющими ею атрибутами и,
аналогичным образом, между атрибутом и его представлением.
Язык EXPRESS-1 обеспечивает средства для отображения реализацией элементов данных
языка EXPRESS. Язык разработан, в основном, для восприятия человеком и для облегчения ото
бражения экземпляров EXPRESS-1 на определении в EXPRESS-схеме. В некоторых стандартах
серии ГОСТ Р ИСО 10303. например в ГОСТ Р ИСО 10303-21, устано&тены требования к рацио
нальным машинным реализациям схем. EXPRESS-I не предназначен .тля замены этих методов.
Основные элементы языка показаны на рисунке 1. Язык имеет две главные части. Первая
часть служит для отображения экземпляров данных. Данные могут быть отображены на основе
объект—объект, на основе схемы либо как набор экземпляров схем, предназначенный дтя ото
бражения некоторой информационной модели рассматриваемой предметной области. В языке
EXPRESS-1 эти данные называются экземплярами предмета (object instances), экземплярами дан ных
схемы (schema data instances) и моделью (model). На рисунке I предполагается, что инфор
мационная модель определена с помощью языка EXPRESS.
V