Г О С Т Р И С О 20022-1— 2013
Контекст
(Context)
18О20022::Метамодель::ПреобразованиеКонцептуальногсВЛогический::СледБизнесЭлвмента
(IS020022::Metamodel::ConceptualToLogicalTransformation::BusinessElementTrace)
Язык
(Language)
OCL2.0
(OCL2.0)
1
Тело
(Body)
кДействительное(мо ЦностьМножества.минимумСобытие) >=
кДействительное(бизнесЭлемент.мощностьМножества.минимумСобытие) и кДействительное
(мощностьМножества.максимумСобытие) <=
кДействительное(бизнесЭлемент. мощностьМножества.максимумСобытие)
(toReal(cardinality.minimumOccurrence) >=
toReal(businessElement.cardinality.minimumOccurrence) and
toReal(cardinality.maximumOccurrence) <=
toReal(businessElement.cardinality.maximumOccurrence)
— MaxGEzero
Описание
МаксимумСобытие должно быть больше нуля.
Контекст
(Context)
18О20022::Метамодель::ПреобразованиеКонцептуальногоВЛогичвский::СледБизнесЭлемента
(IS020022::Metamodel::ConceptualToLogicalTransformation::BusinessElementTrace)
Язык
(Language)
OCL2.0
(OCL2.0)
Тело
(Body)
максимумСобытие > 0
(maximumOccurrence > 0)
— MinLEmax
Описание
МинимумСобытие не дол жено превосходить максимумСобытие.
Контекст
(Context)
18020022::Метамодель::ПреобразованиеКонцептуальногоВЛогический::СледБизнесЭлвмента
(IS020022::Metamodel::ConceptualToLogicalTransformation::BusinessElementTrace)
Язык
(Language)
OCL2.0
(OCL2.0)
Тело
(Body)
минимумСобытие->неПусто() и максимумСобытие->неПусто<)
влечет минимумСобытие <= максимумСобытие
(minimumOccurrence->notEmpty( ) and maximumOccurrence ->
notEmpty()
implies minimumOccurrence <= maximumOccurrence)
— ЕдиноеПредставление
Описание
Когда бизнесЭлемент является БизнесАтрибугом, тогда Элементсообщения должен быть Атрибутомсооб-
щения с тем же самым видом типа, что и БизнесАтрибут.
Контекст
(Context)
18О20022::Метамодель::ПреобразованиеКонцептуальногоВЛогический::СледБизнесЭлемента
IS020022::Metamodel::ConceptualToLogicalTransformation::BusinessElementTrace
Язык
(Language)
OCL2.0
OCL2.0
Тело
(Body)
(&изнесЭлемент.ос1БудетВид(бизнвсАтрибут)
и не бизнесЭлемент.простойТип. ос1БудетНеопределено()
и Элементсообщения.ос1БудетВид(АтрибутСообщения)
и
бизнесЭлемент.простойТип.
ос1Тип.будетСовместимыйС(элементСообшения.простойТип. ос1Тип)
или
(6изнесЭлемент.ос1БудетВид(бизнесАтрибут)
и не бизнесЭлемент.сложныйТип.ос1БудетНеопределено()
и Элементсообщения.ос1БудетВид(ТипКомпонентаСообщения)
)
90