ГОСТР ИСО/ТС 10303-1112—2012
Определения атрибутов
influencing
_
category — объект Class
_
category
_
association, который идентифицирует объект
Specification
_
category. оказывающий влияние, иобъект Product
_
class. на который данное влияние рас
пространяется;
influonced breakdown node—экземпляробъектаизспискавыборатипаданныхbreakdown eloment select
на проектирование решений по которому оказывается влияние.
4.4 Определение функции ПЭМ
В данном подразделе определена функция ПЭМ прикладного модуля «Управление конфигурацией с
помощьюспецификаций».
4.4.1 Функция aggregatol
_
in
_
aggrogato2
Функция aggrogatelJn
_
aggregate2 оценивает, входит ли множество agg1 в множество agg2.
EXPRESS-спецификация:
*)
FUNCTION aggregate1
_
in
_
aggregate2 (agg1:AGGREGATE OF GENERIC;
agg2 :AGGREGATE OF GENERIC): LOGICAL:
RETURN(SIZEOF(QUERY (ete <*agg11 VALUE
_
IN(agg2. ele))) = SIZEOF(aggl));
END
_
FUNCT10N;
r
Определения аргументов
agg1 — множество, вхождение которого в множество agg2 подвергается оценке;
agg2 — множество, которое может содержать или не содержать agg1.
*)
END
_
SCHEMA, - - Specif»catkjn
_
control
_
arm
Г
5 Интерпретированная модель модуля
5.1 Спецификация отображения
В настоящем стандарте термин «прикладной элемент» обозначает любой объектный тип данных,
определенный в разделе 4. любой изего явныхатрибутов илюбоеограничениена подтипы. Термин «эле
мент ИММ» обозначает любой объектный тип данных, определенный в 5.2 или импортированный с
помощью оператора USE FROM издругой EXPRESS-схемы. любой из его атрибутов илюбое ограничение на
подтипы, определенное в 5.2 или импортированное с помощьюоператора USE FROM.
Вданном подразделе представлена спецификация отображения, определяющая, как каждый при
кладной элемент, описанный в разделе4. отображается наодин или несколько элементов ИММ (см. 5.2).
Спецификация отображения для каждого прикладного элемента определена вотдельном пункте. Спе
цификация отображения атрибута объекта ПЭМ определена в подпункте пункта, содержащего специфика
циюотображения данного объекта. Каждаяспецификацияотображениясодержит до пятисекций.
Секция «Заголовок» содержит;
- наименование рассматриваемого объекта ПЭМ или ограничение на подтипы либо
-наименование атрибута рассматриваемогообъекта ПЭМ, еслиданный атрибут ссылается на тип, не
являющийся объектным типом данных или типом SELECT, который содержит или может содержать
объектные типы данных, либо
-составное выражение вида; «связь объекта «наименование объекта ПЭМ> с объектом «тип данных,
на который дана ссылка>. представляющим атрибут «наименование атрибута>». если данный атрибут ссы
лается на тип данных, являющийся объектным типом данных или типом SELECT, который содержит
или может содержатьобъектные типыданных.
Секция «Элемент ИММ» в зависимостиотрассматриваемого прикладного элемента содержит;
- наименованиеодного или более объектных типовданных ИММ;
-наименование атрибута объекта ИММ. представленное в видесинтаксической конструкции «наиме
нованиеобъекта>. «наименование атрибута>, если рассматриваемый атрибут ссылается натип. не являю
щийся объектным типом данных или типом SELECT, который содержит или может содержать объектные
типыданных.
- ключевое слово PATH, если рассматриваемый атрибут объекта ПЭМ ссылается на объектный тип
данных или натип SELECT, который содержит или может содержатьобъектные типыданных;
11