Вопросы по теме 'ocl'
Можно ли использовать UML с OCL для формальных спецификаций?
Я спрашиваю, потому что UML используется для неофициальных спецификаций и имеет некоторую двусмысленность в своей семантике. Однако я думаю, что OCL можно использовать для указания условий до/после, инвариантов и других ограничений достаточно...
697 просмотров
schedule
23.07.2023
Перевести SQL в OCL?
У меня есть кусок SQL, который я хочу перевести в OCL. Я плохо разбираюсь в SQL, поэтому я хочу повысить удобство обслуживания. Мы используем Interbase 2009, Delphi 2007 с Bold и разработку на основе моделей. Теперь я надеюсь, что кто-то здесь...
661 просмотров
schedule
18.06.2022
Десериализация модели XText на лету
У меня есть модель UML, в которой OpaqueActions, содержащие текст, соответствуют грамматике/метамодели XText. Я превращаю модель UML в текст с помощью преобразования ACCELEO. Я хотел бы вызвать из сценария ACCELEO службу Java, которая принимает в...
203 просмотров
schedule
11.02.2023
Могу ли я добавить ocl в ecore с помощью кода Java?
Я хочу добавить ocl в свою метамодель .ecore с кодом java. Но я не могу найти ни одного примера или учебника.
Поэтому я хочу спросить, возможно ли это или где я могу найти примеры кодов?
825 просмотров
schedule
08.06.2022
Поиск вложенных дубликатов в OCL
Я столкнулся с проблемой при попытке проверить наличие дубликатов в OCL.
Вот упрощенная диаграмма классов:
+-----------+
|ChapterName|...
993 просмотров
schedule
29.04.2022
Диаграмма классов UML для строкового массива
В UML, как мы должны показать метод, который возвращает строковый массив в методе UML, который выглядит так
public String[] delete(int col, int row){}
Верно ли это представление?
+delete(col: int; row: int): String[]
9985 просмотров
schedule
24.12.2022
ocl-facedetect образец opencv 2.4.6.1
![введите описание изображения]][1]В Ubuntu 12.04 LTS с картой графического процессора серии NVidia GeForce 8 я пытаюсь запустить образец ocl-facedetect OpenCV 2.4.6.1 и вижу следующую ошибку:
$./ocl-example-facedetect -t...
565 просмотров
schedule
11.07.2022
Импорт API-интерфейсов eclipse MDT / OCL в код qvt-o
При преобразовании модели у меня есть собственный запрос OCL в виде строки, и мне нужно проанализировать эту строку OCL и выполнить ее, чтобы идентифицировать и выбрать конкретный элемент модели в исходной модели.
Можно ли импортировать eclipse MDT...
85 просмотров
schedule
20.02.2023
Программно выполнить запрос OCL в модели UML
Может ли кто-нибудь привести пример того, как программно выполнить запрос OCL в модели UML, используя реализацию Eclipse MDT/OCL. Я прочитал документацию по Eclipse, но так и не смог найти рабочий пример, и я продолжаю получать разные исключения и...
403 просмотров
schedule
11.07.2023
Что такое *пакет* в OCL?
Я знаю, как написать пакет на OCL , но что именно смысл этой конструкции? Почему и когда мы должны использовать пакеты?
В качестве примера для пакета в моем скрипте пишут
package MeetingExample
context Meeting::isConfirmed : Boolean...
279 просмотров
schedule
27.11.2022
API EMF/UML и OCL для Scala
Часть приложения, которое я разрабатываю на Scala, должна читать и анализировать модели EMF/UML вместе с выражениями OCL, определенными для этих моделей. Мои выражения OCL в значительной степени представляют собой выражения запросов, определенные для...
303 просмотров
schedule
05.07.2022
Можно ли выразить ограничение на помеченное значение применяемого стереотипа в UML/OCL?
Например, рассмотрим следующую диаграмму UML:
Модель должна быть действительна только в том случае, если для всех экземпляров Block1 экземпляр Block1::unit_of_press является одним и тем же экземпляром помеченного значения unit...
98 просмотров
schedule
30.01.2023
Определение кратности атрибута с ограничением
У меня есть 2 класса в UML, и теперь нужно создать ограничение для этой части - attribute1: String находится в class1, а attribute2: int находится в class2, связь между классами является обобщением - может быть изменена на ассоциацию.
надо как-то...
677 просмотров
schedule
26.03.2023
Условия OCL в пользовательских моделях
Я пытаюсь использовать условия OCL на основе пользовательской модели ecore. Мой первый вопрос заключается в том, возможно ли вообще использовать условия OCL в этом контексте или нет. Так что в моем особом случае пользователь может создать...
109 просмотров
schedule
09.12.2022
OCL все экземпляры ()
В свое время я немного изучил OCL и столкнулся со следующим вопросом, на который я не нашел правильного ответа. Я просмотрел документацию по OCL 2.4 Spec , но не нашел ничего похожего на чтобы ответить на мой вопрос:
В основном примеры...
940 просмотров
schedule
31.10.2022
Подсчет вхождений логической операции
Я должен сделать правило OCL, говорящее, что два параметра не могут быть равными. Я не могу использовать not() , поэтому мне нужно показать, что что-то вроде param1 = param2 пусто.
Я пытался использовать isEmpty() и size() , но так как это...
28 просмотров
schedule
12.11.2022
BPMN с OCL или другим языком ограничений
Я ищу определение BPMN в терминах xmi и заполняю MOF файлы, включая OCL (ограничения) . Это существует? В файлах я нашел только пару OCL-операторов.
В отличие от этого, Superstructure.xmi в UML (см. www.omg.org/spec/UML ) содержит...
82 просмотров
schedule
12.06.2024
OCL: укажите предварительные и постусловия для конструктора и деструктора
Привет, я новичок в OCL, и мне было интересно, можно ли сделать с помощью OCL следующее:
проверить, выполняются ли определенные условия, прежде чем объект может быть создан
указать операции, которые должны быть выполнены после уничтожения...
51 просмотров
schedule
08.05.2023