问题标签 [ocl]

在尝试检查 OCL 中的重复项时，我面临着挑战。

这是类图的简化：

每个类的属性声明如下：

• 章节名称
  • 姓名
• 目录
  • 类别

问题： 我要检查的是客户是否有任何章节名称重复的书籍，也属于目录中的特定类别。

我还没有设法绕开逻辑。到目前为止，我所拥有的是：

...应该从客户拥有的目录中找到书籍。

问题：如何添加更多约束来解决上述问题？

还。我在 Eclipse 中使用 Eclipse、EMF 和 OCL 控制台。

在 UML 中，我们应该如何显示一个在 UML 方法中返回字符串数组的方法，如下所示

这种表示是否正确？

有没有人设法检查在 Eclipse Papyrus 中建模的类图上的 OCL 约束？我已经定义了一个简单的测试配置文件，对原型属性只有一个约束：

构造型扩展了属性元类，因此我将它应用到类属性上，并将构造型的属性设置为 0。但是上下文菜单中的“验证”>“验证模型”命令从未出现错误。

任何帮助将不胜感激。

提前谢谢。

我在 Enterprise Architect 上制作了一些图表，我想将它们导出到 OCL 工具“USE”或“OCLE”。我尝试了选项导出并将图表转换为 xml 扩展名，但它在 OCL 工具上不起作用。我怎样才能做到这一点 ？

![在此处输入图像描述][1]在带有 NVidia GeForce 8 系列 GPU 卡的 Ubuntu 12.04 LTS 上，我正在尝试运行 OpenCV 2.4.6.1 的 ocl-facedetect 示例并看到以下错误：

$./ocl-example-facedetect -t haarcascade_frontalface_alt.xml -i friends.jpg In image read loop0 ~~~~ Loading convertC3C4 Building source:./convertC3C4_GeForce 8600 GT -D GENTYPE4=uchar4.clb ~~~~ Loading RGB2Gray Building source:./RGB2Gray_GeForce 8600 GT -D DEPTH_0.clb ~~~~ Loading resizeLN_C1_D0 Building source:./resizeLN_C1_D0_GeForce 8600 GT .clb ~~~~ Loading set_to_without_mask Building source:./set_to_without_mask_GeForce 8600 GT -D GENTYPE=int.clb ~ ~~~ Loading calc_sub_hist_D0 Building source:./calc_sub_hist_D0_GeForce 8600 GT .clb clCreateProgramWithSource status=0

clBuildProgram 状态=-11

BUILD LOG (0) 错误：不支持的操作 OpenCV 错误：openCLGetKernelFromSource 中的 Gpu API 调用 (CL_BUILD_PROGRAM_FAILURE)，文件 /home/ovuser/OpenCV/opencv-2.4.6.1/modules/ocl/src/initialization.cpp，第 664 行终止后调用抛出 'cv::Exception' what() 的实例：/home/ovuser/OpenCV/opencv-2.4.6.1/modules/ocl/src/initialization.cpp:664: error: (-217) CL_BUILD_PROGRAM_FAILURE in function openCLGetKernelFromSource

OpenCL 编译器似乎无法构建面部检测示例所需的 calc_sub_hist_D0 内核。我已经放了一些详细的消息并附加了导致问题的内核源。有人可以指出内核源代码有什么问题吗？

I am trying to create a stand alone Java application that accepts an xmi model and an OCL file containing constraints applied to the model's meta-model. The application then validates the model against the ocl.

I have managed to do this inside eclipse using the EMF. However when I start to create the java app, many libraries are missing. Some of which I was able to locate in the plugins directory but some seem to be missing.

For example

cannot be found.

Is there a straight forward way, using the EMF to accomplish what I am trying to do. I have been trying to create something very much like the following:

http://subversion.assembla.com/svn/da_sw_tf/trunk/OCL/src/ocl/OCLEvaluator.java

我是 OCL 的新手，我对前置条件和后置条件的工作方式有一些疑问。

后置条件可以放在 if then 语句中吗？

例如，以下代码是有效的还是我只是在混合概念？

非常感谢您的帮助

我想为我的方法 addPlayer 创建一个不变量，以便验证参数 Player 是否存在。

例子：

不确定语法是否有效

我正在为一门课程编写一个 Java 程序，该程序将作为元模型的 UML 类图作为输入，并允许用户创建元模型中指定类型的图。然后，用户应该能够对该图表建模的实例进行建模。

因此，我正在解析生成的表示 UML 的 XML 文件并提取所有类和关联。到目前为止，一切都很好。

但是当用户违反它们时，我需要了解并警告一些约束。但是，我不知道如何进行 OCL 解析。我已经研究过德累斯顿的 OCL ，但我不确定这是否是我想要的，因为我需要在运行时解析 OCL，而不是使用 eclipse 导入模型并从 OCL 生成 java 代码。

因此，如果有人能指出一种解析 OCL 并提取其基本语法的方法，我将不胜感激。

最好的问候，若昂·费尔南德斯

我们有一个项目列表，我们想逐个元素地与另一个项目列表进行比较，结果是一个列表中的项目在两个列表中都没有项目或重复项目。

例如：

L1={S1，S2，S3，S4，S5，S6，S7，S8，S9，S10}，L2={S1，S4，S7，S9}，列表结果={S2，S3，S5，S6，S8，S10 }