Г О С Т Р И С О 20022-1— 2013
Тип
(Туре)
15020022::Метамодель::КонцептуальныйУровень::Статика::БизнесКомпонент
(IS020022::Metamodel::ConceptualLevel::Static::BusinessComponent)
Владелец
(Owner)
1Б020022::Метамодель::КонцептуальныйУровень::Статика::БизнесАтрибут
(IS020022::Metamodel::ConceptualLevel::Static::BusinessAltribute)
Значение по умолчанию
(Default Value)
Множественность
(Multiplicity)
0..1
Агрегация
(Aggregation)
нет
(none)
Упорядочено
(Ordered)
ложь
(false)
— простойТип
Описание
Показывает, что модель контента БизнесАтрибута может быть определена типом из библиотеки типов XSD
или производным типомданных.
Тип
(Туре)
15020022::Метамодель::ТипыДанных::ТипДанных
(IS020022::Metamodel::DataTypes::DataType)
Владелец
(Owner)
18020022::Метамодель::КонцептуальныйУровень::Статика::БизнесАтрибут
(IS020022::Metamodel::ConceptualLevel::Static::BusinessAttribute)
Значение по умолчанию
(Default Value)
Множественность
(Multiplicity)
0..1
Агрегация
(Aggregation)
нет
(none)
Упорядочено
(Ordered)
ложь
(false)
Ограничения
— БизнесАтрибутИмеетРовноОдинТип
Описание
БизнесАтрибут должен иметь точно один тип из следующих: простойТип и сложныйТип.
Контекст
(Context)
15020022::Метамодель::КонцептуальныйУровень::Статика::БизнесАтрибут
(IS020022::Metamodel::ConceptualLevel::Static::BusinessAttribute)
Язык
(Language)
OCL2.0
(OCL2.0)
Тело
(Body)
сложныйТип->размер() + простойТип->размер() = 1
(complexType->size() + simpleType->size() = 1)
— ТипНеПроизводитсяМножествомКода
Описание
Производное Множество Кода может использоваться только с типом АтрибутовСообщения. Поэтому Биз
несАтрибут не может быть типизирован с помощью Производного МножестваКода.
Контекст
(Context)
13020022::Метамодель::КонцептуальныйУровень::Статика::БизнесАтрибут
(IS020022::Metamodel::ConceptualLevel::Static::BusinessAttribute)
Язык
(Language)
OCL2.0
(OCL2.0)
Тело
(Body)
тип.ос1БудетВидВыкл(множествоКода) влечет тип.ос1КакТип(множествоКода).след->будетПусто()
(type.odlsKindOf(CodeSet) implies type.oclAsType(CodeSet).trace->isEmpty()
83