ГОСТ Р ИСО/ТС 10303-1142—2014
END_ENTITY;
<*
Определения атрибутов
tracos_from - объект Requirement_view_definition. от которого прослеживается путь к другому
объекту Requirement_view_definition с помощью объекта Tracing_relationship.
П р и м е ч а н и е - Данный атрибут указывает на определение представления требования, от которого
прослеживается путь к другому требованию:
traces_to - объект Requirement_view_definition. к которому прослеживается путь от другого
объекта Requirement_view_definition с помощью объекта Tracing_relationship.
П р и м е ч а н и е - Данный атрибут указывает на определение представления требования, к которому про
слеживается путь от другого требования.
*)
END_SCHEMA; — Requirement_view_definition_relationship_arm
<*
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте термин «прикладной элемент» обозначает любой объектный тип дан
ных. определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы.
Термин «элемент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или
импорти рованный с помощью оператора USE FROM из другой EXPRESS-схемы. любой из его
атрибутов и любое ограничение на подтипы, определенное в 5.2 или импортированное с помощью
оператора USE FROM.
В данном подразделе представлена спецификация отображения, определяющая, как каждый
прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один или не
сколько элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена ниже в отдельном
пункте. Спецификации отображения атрибутов объекта ПЭМ определены в подпунктах пункта, со
держащего спецификацию отображения данного объекта. Каждая спецификация отображения со
держит до пяти секций.
Секция «Заголовок» содержит:
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
- наименование атрибута рассматриваемого объекта ПЭМ. если данный атрибут ссылается на
тип. не являющийся объектным типом данных или типом SELECT, который содержит или может со
держать объектные типы данных, либо
- составное выражение вида «связь объекта «наименование объекта ПЭМ> с объектом «тип
данных, на который дана ссылка», представляющим атрибут «наименование атрибута»», если дан
ный атрибут ссылается на тип данных, являющийся объектным типом данных или типом SELECT,
который содержит или может содержать объектные типы данных.
Секция «Элемент ИММ» в зависимости от рассматриваемого прикладного элемента содержит:
- наименование одного или более объектных типов данных ИММ;
- наименование атрибута объекта ИММ, представленное в виде синтаксической конструкции
«наименование объекта».«наименование атрибута», если рассматриваемый атрибут ссылается на
тип. не являющийся объектным типом данных или типом SELECT, который содержит или может со
держать объектные типы данных;
- ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный
тип данных или на тип SELECT, который содержит или может содержать объектные типы данных;
- ключевое слово IDENTICAL MAPPING, если оба прикладных объекта, присутствующие в приклад
ном утверждении, отображаются на тот же самый экземпляр объектного типа данных ИММ;
- синтаксическую конструкцию /5иРЕРТУРЕ(«наименование супертипа»)/, если рассматривае
мый объект ПЭМ отображается как его супертип;
- одну или более конструкций /5иВТУРЕ(«наименование подтипа»)/, если отображение рас
сматриваемого объекта ПЭМ является объединением отображений его подтипов.
5