У меня есть модель UML (которая на самом деле не имеет значения, поскольку это может быть любая модель MOF) с упорядоченным набором, к которому мне нужно получить доступ от последнего до первого элемента. Таким образом, мне нужно отменить его через...

Я пытаюсь сгенерировать код с помощью Acceleo. Я создаю объект модели в памяти и хочу сгенерировать для него код. Теперь, когда Acceleo пытается сопоставить мой объект модели с типом аргумента моей шаблонной функции, он не совпадает. Классы точно...

Я выполняю тестирование на основе модели, и я смоделировал свое приложение с помощью диаграмм UML, а также написал все ограничения для тестирования с использованием OCL, и мне было интересно, есть ли инструмент или плагин для eclipse, который помогает...

Кому-нибудь удается проверить ограничения OCL на диаграмме классов, смоделированной в Eclipse Papyrus? Я определил простой тестовый профиль только с одним ограничением атрибута стереотипа: {OCL} self.property > 0 Стереотип расширяет...

У меня есть диаграмма классов с многочисленными классами, некоторые из которых содержат атрибуты типа string . Я хочу, чтобы все мои строки имели длину не менее 1. Простое (но уродливое) решение выглядит следующим образом: context Class1 inv:...

У меня есть клиент класса с атрибутом noClient, я хочу убедиться, что нет клиента с таким же атрибутом noClient. У меня есть решение ниже, но учитель сказал, что оно не подходит. Потому что ограничение может быть повторено. Я не знаю почему. И...

Я ищу, есть ли какой-либо инструмент или движок, который переводит (мета-) модели Ecore в спецификацию Alloy? если он делает этот перевод с учетом сопутствующих выражений OCL, было бы здорово :) Спасибо

Как определить новый тип данных в OCL? (пример - дата) В OCL уже есть предопределенные типы (Integer, String, Real и Boolean). Но как я могу определить новый тип данных? Пример: у меня есть вызов класса Person. Класс Person имеет следующие...

Я в замешательстве, возможно ли использовать hashcat для файла RAR? форум отвечает "да" и указывает на пример ... Кажется, они звонят: ./oclHashcat64.bin -m 12500 hash -w 3 -a 3 ha?l?l?l?l?l Пока все хорошо.. Итак, я беру jtr и...

Я хотел бы использовать OCL для связи двух диаграмм классов, представляющих одну и ту же модель на двух уровнях абстракции. Для иллюстрации рассмотрим абстрактную модель A, содержащую класс Person, который имеет ассоциацию «родители» с самим собой....

Я пытаюсь заставить этот расчет работать в OCL, он должен сказать, что если присутствует отмена, он должен дать «geannuleerd», а если присутствует betaaldatum, он должен дать «definitief». Мой вопрос: мне нужно для этого оператора if-else-then...

Предположим, у вас есть выдержка из более крупного профиля для автомобилей: Теперь я хочу определить некоторые ограничения для автомобиля, скажем, одно из этих ограничений гласит, что если attrA равно true , то attrB должно быть false ,...