ГОСТ Р ИСОЯС 10303-1070—2012
5.1.2 Объект Class_by_extension
Элемент ИММ:dass_by_extension
Источник.ИС0 10303-54
5.1.3 Объект Class_by_intension
Элемент ИММ:dass_by_intension
Источник:ИСО 10303-54
5.2 Сокращенный листинг ИММ на языке EXPRESS
В данном подраздело определена EXPRESS-схема. полученная из таблицы отображений. В ней
использованы элементы общих ресурсов или других прикладных модулей и определены конструкции
на языке EXPRESS, относящиеся к настоящему стандарту.
В данном подразделе определена интерпретированная модель (ИММ) для прикладного модуля
«Класс», а также определены модификации, которым подвергаются конструкции, импортированные из
общих ресурсов.
При использовании в данной схеме конструкций, определенных в общих ресурсах или в приклад
ных модулях, должны быть учтены следующие ограничения:
- использование объекта, являющегося супертипом, не означает применения любой из его кон
кретизаций, если только данная конкретизация также не импортирована в схему ИММ;
- использование типа SELECT не означает применения любого из указанных в нем типовданных,
если только данный тип также не импортирован в схему ИММ.
EXPRESS-cneuntbHKaunn:
*)
SCHEMA Class_mim.
USE FROM dassification_schema - - ISO 10303-54
(class.
class_by_extension.
class_by_intension);
USE FROM group_schema - - ISO 10303-41
(group);
c
П р и м е ч а н и я
1 Схемы,ссылки на которые приведенывыше, определены вследующихстандартах комплекса ИСО 10303:
classfflcatlon_schema
group_schema
— ИСО 10303-54.
— ИСО 10303-41.
2 Графическое представление схемы Class_mlm приведено в приложении D. рисунки D.1 и D.2.
•)
END_SCHEMA; - - Class_mim
Г
7