Описание тега ocl

Описание тега Вопросы с тегом
Формальный язык спецификации, используемый с метамоделями MOF (включая UML) для выражения запросов или ограничений, которые иначе не могут быть выражены в схематической нотации.
0 ответов

OCL (Object Constraint Language) выберите, используйте сумму для атрибута

Я пытаюсь найти выражение OCL (калькулятор), но я не уверен, как получить сумму атрибутов коллекции. У меня есть класс Customer и класс Orders, Я хочу сохранить сумму всех заказов определенного года в Customer класс, атрибут revenue, Orders имеет ат…
30 окт '15 в 14:18
1 ответ

Инкремент переменной внутри цикла FOR

Я пытаюсь подсчитать, сколько раз условие выполняется внутри цикла FOR. Я объявил дополнительную переменную для шаблона (FOUND: Integer), и я пытаюсь увеличивать ее каждый раз, когда условие [IF] имеет значение "true", но переменная увеличивается то…
14 авг '12 в 15:11
2 ответа

Можно ли сохранить производные атрибуты и отключить деривацию в Ecore и OCL?

Я хочу портировать унаследованный формат данных, который состоит из концепций, подобных Eclipse Modeling Framework (EMF) Ecore: элементы с параметрами, которые имеют разные типы данных и значения по умолчанию. Пользовательский инструмент позволяет р…
20 янв '16 в 14:42
0 ответов

Java, EMF + OCL Диагностик не может обработать дублирующийся идентификатор

У меня есть модель EMF, где некоторые объекты содержат идентификаторы, а другие нет. Атрибут id настроен так: Я использую java Diagnostician, чтобы проверить, нарушены ли какие-либо ограничения OCL: protected Diagnostic validateModel(EObject modelRo…
02 окт '15 в 17:52
1 ответ

Импорт API затмения MDT/OCL в коде qvt-o

В преобразовании модели у меня есть собственный запрос OCL в виде строки, и мне нужно проанализировать эту строку OCL и выполнить ее, чтобы идентифицировать и выбрать конкретный элемент модели в исходной модели. Можно ли импортировать eclipse MDT/OC…
20 дек '13 в 21:05
1 ответ

Расслоение производных объектов в папирусе с помощью OCL

Отсутствие обмена информацией об этом, будучи новичком в UML/OCL/Papyrus, дает мне ощущение, что я могу ошибиться: Работая над диаграммой классов, я хотел бы создать слой а) всех объектов, которые являются членами композиции, и б) всех интерфейсов, …
02 авг '17 в 08:32
1 ответ

Ограничение стереотипа OCL: Любая ассоциация, которая окрашена, все связанные классы имеют одинаковый цвет

Совершенно новый для OCL, спасибо за помощь. Итак, у меня есть профиль со стереотипами, как показано: Может кто-нибудь сказать мне, как написать инвариантное ограничение, которое говорит, что любая ассоциация, которая является Цветной, означает, что…
04 янв '15 в 03:18
2 ответа

Связывание несвободных компонентов opencv (особенности SIFT и OCL, в частности)

У меня проблемы с компиляцией некоторого кода после обновления ОС (Ubuntu 12.04 до 14.04) и переустановки opencv. Общая проблема связана с "несвободными" частями opencv, которые я скомпилировал из исходного кода, используя следующую процедуру: mkdir…
24 окт '14 в 18:01
1 ответ

Как указать ограничение OCL в диаграмме активности с помощью Eclipse Papyrus?

подробности У меня есть диаграмма активности для секции входа в систему, разработанная в Eclipse Papyrus. Теперь я должен написать ограничения OCL для следующих условий: имя пользователя должно быть строкой и < 8 символов пароль должен быть числовым…
18 май '18 в 09:29
1 ответ

OCL функция-операция

Мне нужна помощь с операцией OCL, чтобы передать один из предметов моего магистра. Я не знаю много о языке OCL. Я должен сделать следующее: Выполните операцию: Server::validMovement(playerName:String, movement:Movement):bool Эта операция возвращает …
09 фев '14 в 20:25
1 ответ

Можно ли использовать UML с OCL для формальных спецификаций?

Я спрашиваю, потому что UML используется для неформальных спецификаций и имеет некоторую неопределенность в своей семантике. Тем не менее, я думаю, что OCL может использоваться для указания условий до и после, а также инвариантов и других ограничени…
11 май '10 в 23:05
2 ответа

Acceleo M2T - запись метки времени в сгенерированный файл

Я генерирую некоторые файлы, используя различные шаблоны Acceleo, определенные в файле *.mtl. В верхней части этих файлов мне нужно написать что-то вроде: #----------------------------------------------------------------------------- # Project autom…
18 сен '14 в 08:09
2 ответа

Ограничение OCL для профиля UML в Rational Software Architect 8

Я новичок в Rational Software Architect 8 и OCL. Я определил профиль, который состоит из двух стереотипов, один применяется к классу, а другой применяется к ассоциации. Смотрите рисунок для более подробной информации. Теперь я хотел бы выразить огра…
16 дек '10 в 21:57
1 ответ

Ограничение OCL с использованием классификаторов Ecore - исключение неизвестного типа

Я разрабатываю модель Ecore с некоторыми инвариантами, определенными в OCL, используя редактор OCLinEcore. В моей модели некоторые элементы имеют ссылки на EClassifier; в некоторых ограничениях OCL мне нужно проверить, является ли упомянутый EClassi…
07 июн '12 в 09:12
1 ответ

Как преобразовать естественный язык в ограничение OCL?

У меня есть диаграмма классов, которые состоят из класса по имени SYSTEM. Я написал ограничение на доступность этой системы. Например: Система должна быть доступна 24/7. Теперь я хочу преобразовать вышеупомянутое утверждение в ограничение OCL. Я нов…
31 май '18 в 21:43
1 ответ

Наибольший общий делитель в Ocl

Как я могу написать операцию gcd(x : Integer, y : Integer) : Integer который возвращает наибольший общий делитель двух натуральных чисел (наибольшее целое число, которое делит их обоих точно) в ocl?
16 июн '16 в 14:20
3 ответа

Как отсортировать по двум параметрам в OCL?

Мне нужно отсортировать коллекцию людей по двум параметрам: по фамилиям и по именам. Как я могу сделать что-то подобное в OCL?
02 фев '17 в 20:48
2 ответа

Проверка модели XMI с использованием OCL в Java

Я пытаюсь создать отдельное приложение Java, которое принимает модель xmi и файл OCL, содержащий ограничения, применяемые к метамодели модели. Затем приложение проверяет модель по ocl. Мне удалось сделать это в затмении, используя ЭДС. Однако, когда…
14 окт '13 в 21:11
1 ответ

Как получить заказанный набор в OCL?

Когда у меня есть результат типа Set(Integer), номера не упорядочены. У нас есть операция для коллекций sortedBy ( expr : OclExpression ) : Sequence(T), но когда в этом наборе есть только целые числа, какое выражение использовать?
14 фев '13 в 03:04
1 ответ

Что такое * пакет * в OCL?

Я знаю, как написать пакет в OCL, но что именно означает эта конструкция? Почему и когда мы должны использовать пакеты? В качестве примера для пакета в моем скрипте они пишут package MeetingExample context Meeting::isConfirmed : Boolean init: false …
26 фев '14 в 19:59