ГОСТ Р ИСО/ТС 10303-1103—2012
Формальное положение
WR1: если атрибут operation имеет значение not_oporator (оператор отрицания), то в операции уча
ствует один операнд, а для операций всех других типов количество операндов больше одного.
4.3.11 Объект Specification„inclusion
Объект SpecificationJnclusion является представлением утверждения, устанавливающего, что при
менение представленной объектом Specification спецификации или представленного объектом
Spocification_expression выражения спецификации требует включениядополнительной представленной
объектом Specification спецификации или дополнительного представленного объектом Specification_
expression выражения спецификации.
При мечан ие — Представляющий включение спецификации объект Specification_ inclusion может быть
использован для завершения набора спецификаций, представленного объектом Product_class класса изделий,
посредством ввода дополнительных правил зависимости между этими спецификациями.
Пример — Представленное объектом SpecificationJnclusion включение спецификации, связанной с
представленным объектом Product_class классом изделий «диван», может представлять тот факт,
что представленная объектом Specification спецификация «Кожа» подразумевает следующее представ
ленное объектом Specification_expression выражение спецификации: «3 сиденья» OR («2 сиденья» AND
«подголовники»). Такое ограничение подразумевает, что еслипокупатель выбрал кожаный диванс 2 сиде
ньями, то он получит еще и подголовники.
EXPRESS-специФикаиия:
•)
ENTITY Specificationjnclusion,
id: OPTIONAL STRING,
descnption: OPTIONAL STRING;
if_condition: specification_operand_select:
included_specification:specification_operand_select:
END_ENTTTY;
(*
Определения атрибутов
id — обозначение включения спецификации, представленного настоящим объектом. Задавать зна
чение этому атрибуту не обязательно;
description — текст, предоставляющий дополнительную информацию о включении спецификации,
представленном настоящим объектом. Задавать значение этому атрибуту не обязательно:
if_condition — объект Specification, представляющий спецификацию, или объект Specification_
expression, представляющий выражение спецификации, который служит условием включения;
included_specification — объект Specification, представляющий спецификацию, или объект
Specification_expression. представляющий выражение спецификации, который применяется, если выпол
нено условие, заданное атрибутом if_condition.
*)
END_SCHEMA; -- Product_class_arm
С
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте под термином «прикладной элемент» понимаются любой объектный типдан
ных, определенный в разделе 4. любой из его явных атрибутов и любое ограничение на подтипы. Термин
«элемент ИММ» означает любой объектный тип данных, определенный в5.2 или импортированный с помо
щью оператора USE FROM издругой EXPRESS-схемы. а также любой из их атрибутов и любое ограниче
ние на подтипы, определенное в 5.2 либо импортированное с помощью оператора USE FROM.
В данном подразделе представлена спецификация отображения, которая определяет, как каждый
прикладной элемент, описанный в разделе 4 настоящего стандарта, отображается на один или более
элементов ИММ (см. 5.2).
Спецификация отображения для каждого объекта ПЭМ определена ниже вотдельном пункте. Специ
фикация отображения атрибута объектадля ПЭМ описывается в подпункте пункта, содержащего специфи
кацию отображения этого объекта. Каждая спецификация содержит не более пяти секций.
14