Я определил этот запрос, [query public genCascadePath(aCSharpResourceModel : CSharpResourceModel) : Sequence(Sequence(CSharpResourceModel)) =
aCSharpResourceModel.hasRelatedCSharpRMManager->colle
У меня есть несколько моделей с атрибутами даты, и я хочу включить ocl для проверки и деривации. Поиск в Интернете Я нашел несколько статей и статей, относящихся к методам date.isBefore(date) или date
У меня есть следующая формула в логике первого порядка. forAll a:A | forAll b :B | if a.r1=b then a.r2=b
просто, для всех объектов типа А, так и для всех объектов типа B, если они связаны с r1, то о
Я хочу определить некоторые ограничения для моего профиля. Например, мне нужно ограничение для стереотипа «сокета» метакласса. Я хочу определить, что у этого элемента должен быть один источник, такой
Часть приложения, которое я разрабатываю в Scala, должна читать и анализировать модели EMF/UML вместе с выражениями OCL, определенными для этих моделей. Мои выражения OCL представляют собой довольно м
Я новичок в OCL, я использую papyrus on eclipse luna 4.4.2 У меня есть диаграмма классов с именем CLIENT с ограничением {все атрибуты недоступны} вторым классом с именем Customer with ограничение {все
Я хочу сгенерировать поле из ассоциации. Проблема, что у меня есть, что я использую: [for (p: Property | aClass.getAssociations().ownedEnd -> select(p: Property | p.type <> aClass)) separator('\n')]
Мне нужно сделать 2 функции в OCL, которые работают с коллекцией: forAll и filter. Фокус в том, что я могу использовать только итератор. Это то, что я пришел с: context Collection(T)::forAll(expr) : B