Г О С Т Р И С О 20022-1— 2013
— ЯвляетсяПроизводным
Описание
Свойство ЭлементаСообщения, определяющее, может ли ЭлементСообшения быть вычислен, используя
другие ЭлементыСообщения. хотя оно показывается только для ясности, даже при том. что это не добавляет
никакой семантической информации.
Тип
(Туре)
15020022::БиблиотекаТипов::СхемаХМ1.::логичвское
(IS020022::TypeLibrary::XMLSchema::boolean)
Владелец
(Owner)
15020022::Метамодель::ЛогическийУровень::ЭлементСообщения
(IS020022::Metamodel::LogicalLevei::MessageElement)
Значение по умолчанию
(Default Value)
ложь
(false)
Множественность
(Multiplicity)
1
Агрегация
(Aggregation)
нет
(none)
Упорядочено
(Ordered)
ложь
(false)
— ЯвляетсяТехническим
Описание
Свойство ЭлементаСообщения, показывающее, имеются ли семантические соотношения с БизнесКомпо-
нентом.’БизнесЭлементом, то есть получен ли он из БизнесКомпонента/БизнесЭлемента.
П р и м е ч а н и е — ЭлементСообшения будет рассматриваться как «технический», если он был создан по
причинам «специфики сообщения».
Пример— номер страницы, некоторые ссылки сообщения.
Тип
(Туре)
15020022::БиблиотекаТипов::СхемаХМ1_::логическое
(IS020022::TypeLibrary::XMLSchema::boolean)
Владелец
(Owner)
15020022::Мегамодель::ЛогическийУровень::ЭлементСообщения
(IS020022::Metamodel::LogicalLevel::MessageElement)
Значение по умолчанию
(Default Value)
след->являвтсяПусто()
( trace->isEmpty() )
Множественность
(Multiplicity)
1
Агрегация
(Aggregation)
нет
(none)
Упорядочено
(Ordered)
ложь
(false)
Ограничения
— НеБолееОдногоСледа
Описание
ЭлементСообщения не может иметь следы одновременно и к БизнвсКомпонвнту. и к БизнесЭлементу.
Контекст
(Context)
18020022::Метамодель::ЛогическийУровень::ЭлементСообщения
(IS020022::Metamodel::LogicalLevel::MessageElement)
Язык
(Language)
OCL2.0
(OCL2.0)
Тело
(Body)
СледбизнесКомпонента->обьвм() +
СледбизнесЭлемента->обьем()<= 1
(businessComponentTrace->size( ) + )
(businessElementTrace->size( ) <= 1 )
137