Г О С Т Р И С О 20022-1— 2013
(businessElement.ocllsKindOf{BusinessAttribute)
and not businessElement.simpleType.ocllsUndefined()
and messageElement.ocllsKindOf(MessageAttribute)
and
businessElement.simpleType.oclType.isCompatibleWith(messageElement.simpleType.ocJType)
)
or
(businessElement.ocllsKindOf(BusinessAttribute)
and not businessE!ement.complexType.ocllsUndefined()
and messageElement.ocllsKindOf(MessageAttribute)
and messageElement.odlsKindOf(MessageComponentType)
)
B.2.6.3 Метакласс СледМножестваКода (Metaclass CodeSetTrace)
Описание
Семантическое соотношение между двумя МножествамиКода, посредством которого полученное Множе-
ствоКода используется как тип БизнесЭлемента и получаемое множествоКода используется как тип Элемента-
Сообщения.
Абстрактный
(Abstract)
ложь
(false)
Владелец
(Owner)
15020022::Метамодель::ПреобразованиеКонцептуальногоВЛогический
(IS020022::Metamodel::ConceptualToLogicalTransformation)
Прикладной Стереотип
(Applied Stereotype)
метакласс
(metaclass)
Суперкласс
(Superclass)
15020022::Метамодель::След
(IS020022::Metamodel::Trace)
Свойства
— производноеМножествоКода
Описание
МножествоКода. которое является подмножеством другого МножестваКода. к которому оно трассируется.
Тип
(Туре)
IS020022::Метамодель: :МножествоКода
(IS020022::Metamodel::CodeSet)
Владелец
(Owner)
15020022::Метамодель::ПреобразованиеКонцептуальногоВЛогичвский::
СледМножестваКода
(IS020022::Metamodel::ConceptualToLogicalTransformatK>n::CodeSetTrace)
Значение по умолчанию
(Default Value)
1
Множественность
(Multiplicity)
Агрегация
(Aggregation)
нет
(попе)
Упорядочено
(Ordered)
ложь
(false)
— источникМножестваКода
Описание
МножествоКода. из которого производится другое МножествоКода.
Тип
(Туре)
ISO2Q022: :Метамодель: :МножествоКода
(IS020022::Metamodel::CodeSet)
Владелец
(Owner)
13020022::Метамодель::ПреобразованиеКонцептуальногоВЛогический:
СледМножестваКода
(IS020022::Metamodel::ConceptualToLogicalTransformatk>n::CodeSetTrace)
91