ГОСТ Р ИСО/ТС 10303-25—2012
атрибут является факультативным. Вданном случае значением нижней границыдолжен быть *0". Если тип
данных LIST не является уникальным, то значением атрибута UML StructuralFeature.ordering должно быть
"ordered".
5.7.4 Области определения других агрегированных типов данных
Для каждого явного атрибута языка EXPRESS, областью определения которого является агрегиро
ванный тип данных, не относящийся к типуданных SET. BAG или LIST, базирующемуся на именованном
типе данных, в UDS должна присутствовать UML-ассоциация, представляющая явный атрибут языка
EXPRESS. UML-ассоциация должна иметьдва объекта UMLAssociationEnd: один, ссылающийся на пред
ставление на языке UML объектного типа данных языка EXPRESS с агрегированным типом данных в
качестве области определения атрибута, и второй, ссылающийся на представление на языке UML типа
данных, являющегося базовым для агрегированного типа данных языка EXPRESS (см. 5.10). Значением
кратности UML-ассоциации должно быть "1..Г на конце UML AssociationEnd. связанном с классом UML,
представляющим объектный тип данных языка EXPRESS, за исключением случая, когда явный атрибут
является факультативным. В данном случае значением нижней границы должен быть "0*. Значением крат
ности UML-ассоциациидолжно быть "О..*" на конце UML AssociationEnd. связанном с областью определе
ния явного атрибута.
5.8 Отображения для вычисляемых атрибутов языка EXPRESS
Для каждого вычисляемого атрибута объектного типа данных языка EXPRESS в контексте отображе
ния BUDS должна присутствовать UML-операция класса UML. представляющего данный объектный тип
данных. Значением атрибута ModelElement.nameданной UML-операции должно быть имя вычисляемого
атрибута языка EXPRESS, представленное строчными буквами. Значением атрибута UML
BohavioralFeature.isQueryдолжно быть ’true’. Единственный UML-параметр, связанный с UML-операцией,
должен присутствовать в UDS. представляя тип области определения вычисляемого атрибута языка
EXPRESS. Значением атрибута UML Parameter.kind должно быть return’. Связь атрибута UML
Parameter.parameterдолжна ссылаться на UML-олерацию. представляющую вычисляемый атрибут языка
EXPRESS. Связь атрибута UML Parameter.type должна ссылаться на класс UML или тип данных UML.
представляющий область определения вычисляемого атрибута языка EXPRESS.
5.9 Отображения для определенных типов данных языка EXPRESS
Каждый из трех видов определенного типа данных языка EXPRESS отображается на разные конст
рукции языка UML. Перечисляемые типы данных языка EXPRESS имеют прямое соответствие с
UML-первчислениями. Однакодругиеопределенные типыданных языка EXPRESS отображаются на клас сы
UML.
5.9.1 Отображения для перечисляемых типов данных языка EXPRESS
Для каждого перечисляемого типа данных языка EXPRESS в контексте отображения в UDS должно
присутствовать UML-перечисление. Значением атрибута ModelElement.name данного UML-перечисления
должно быть наименование перечисляемого типа данных языка EXPRESS, начинающееся с прописной
буквы, за которой следуют строчные буквы. Значениями объектов UML EnumerationLiteral должны быть
наименования элементов перечисления языка EXPRESS, представленные строчными буквами, в том же
порядке, в котором они определены в объявлении перечисляемого типа данных языка EXPRESS. UML-
перечислениедолжно иметь UML-стереотип со значением "«enum eration»’’.
5.9.2 Отображения для выбираемых типов данных языка EXPRESS
Для каждого выбираемого типа данных языка EXPRESS в контексте преобразования в UDS должен
присутствовать класс UML. Значением атрибута ModelElement.name должно быть наименование выбирае
мого типа данных языка EXPRESS, начинающееся с прописной буквы, за которой следуют строчные бук
вы. Для каждого именованного типа данных языка EXPRESS из списка выбора, подлежащего отображе
нию. в UDS должна присутствовать UML-ассоциация агрегации, не являющейся композитной агрегацией.
Значением атрибута UMLAssociation.name должнобыть "setection_of". UML-ассоциация должна иметь точ
нодва конца связи UML AssociationEnd. Значением атрибута UML AssociationEnd.aggregationдолжно быть
"aggregate" на конце, указывающем на класс UML. представляющий выбираемый тип данных языка
EXPRESS, и “попе’ на конце, указывающем на класс UML. представляющий элемент из списка выбора
Ю