ГОСТ Р ИСО/ТС 10303-25—2012
Если явный атрибут языка EXPRESS объявлен как факультативный и он представлен атрибутом
UML. то кратностьданного атрибута UMLдолжна иметь значение *0 ..Г.
Если явный атрибут языка EXPRESS объявлен как факультативный и он представлен
UML-ассоциацией, то значением нижней границы кратности объекта UML AssociationEndдолжен быть ’0" на
конце, относящемся к UML-классификатору, представляющему область определения данного явного
ат рибута.
Остальные отображения явных атрибутов языка EXPRESS зависят отобласти определения атрибута
и определены ниже.
5.7.1 Области определения простых типов данных
Для каждого явного атрибута языка EXPRESS, областью определения которого является простой
или перечисляемый тип данных языка EXPRESS, в UDS должен присутствовать атрибут UML с единствен
ным значением. Параметр UML StructuralFeature.type данного атрибута UML должен ссылаться на пред
ставление данной области определения на языке UML (см. 5.3 и 5.9.1).
5.7.2 Области определения именованных типов данных и типов данных SET и LIST OF UNIQUE,
базирующихся на именованном типе данных
UML-ассоциация и два относящихся к ней объекта UML AssociationEnd должны присутствовать в
UDS для каждого явного атрибута языка EXPRESS, областью определения которого является один из
следующих типовданных:
- именованный тип данных;
- тип данных SET. базовым типом которого является именованный типданных,
- тип данных LIST OF UNIQUE, базовым типом которого является именованный тип данных.
Один объект UML AssociationEnd должен ссылаться на класс UML. представляющий именованный
типданных языка EXPRESS, а значением егоатрибута UML ModelElement.nameдолжно быть наименова
ние явного атрибута языка EXPRESS, представленное строчными буквами. Если областью определения
является именованный тип данных, то кратностьданного объекта UMLAssociationEndдолжна иметь значе
ние "1..Г. если данный явный атрибут является обязательным, и *0..1", если он факультативный. Если
областьюопределения является типданных SET или LIST OF UNIQUE, то кратностьобъекта UMLAssociation
должна иметь значение, отражающее мощность множества типа данных SET или LIST OF UNIQUE, за
исключением случая, когда явный атрибут является факультативным. В данном случав значением ниж
ней границы должен быть *0’. Если типом данных LIST OF UNIQUE является агрегированный тип данных
языка EXPRESS, то у объекта UML AssociationEnd. ссылающегося на представление на языке UML име
нованного типаданных языка EXPRESS, значением атрибута AssociationEnd.ordering должнобыть ’ordered
(упорядоченный)’.
Другой объект UML AssociationEnd должен ссылаться на класс UML, представляющий объектный
типданных языка EXPRESS, с которым явный атрибут языка EXPRESS был объявлен. Кратность данного
объекта UML AssociationEnd должна быть равна “0..*”, за исключением случая, когда явный атрибут языка
EXPRESS имеет соответствующий инверсный атрибут. Вданном случае значение кратности должно отра
жать границы инверсного атрибута. Если атрибут языка EXPRESS имеет соответствующий инверсный ат
рибут, то значением атрибута UML ModelElement.name данного объекта UML AssociationEnd должно быть
имя инверсного атрибута языка EXPRESS, представленное строчными буквами. Если соответствующий
инверсный атрибут языка EXPRESS не определен, то значением атрибута UML ModelElement.name может
быть имя явного атрибута языка EXPRESS, представленное строчными буквами, с префиксом в виде
строки reverse-of-’, либоданный атрибут может быть опущен.
5.7.3 Области определения типов данных BAG и LIST, базирующихся на именованном типе
данных
Для каждого явного атрибута языка EXPRESS, областью определения которого является тип дан
ных BAG или неуникальный тип данных LIST, базовым типом которого является именованный типданных
языка EXPRESS, в UDS должен присутствовать многозначный атрибут UML. Параметр UML
StructuralFeature.type данного атрибута UML должен ссылаться на класс UML, представляющий имено
ванный тип данных языка EXPRESS. Значение кратности объекта UML StructuralFeature должно отражать
мощность множества типа данных BAG или неуникального LIST, за исключением случая, когда явный
9