个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
26
4
我被要求使用 UML 制作并展示一个应用程序设计。然而，在做研究的过程中，我遇到了OCL。他们看起来几乎是一样的。也就是说，它们都做类及其属性以及类之间的关系。
哪些用例分别最适合 UML 和 OCL？
谢谢!
最佳答案
不，它们是两个不同的东西。 OCL，即对象约束语言，用于以类似 C 语法的形式化语言来描述约束。 OCL和UML有相同的父辈，即OMG。您可以在 OMG's site 找到 OCL 的描述。 。 UML可以使用OCL来描述约束。所以OCL是UML的扩展。
OCL(我的观点)更多的是学术性的东西。几乎在所有情况下你都会遇到文本限制。阅读 OCL 并不那么困难。尽管用正确的语法编写约束需要时间来学习。能够应用正确的 OCL 将帮助机器从 UML 生成代码。只有少数工具可以做到这一点(老实说，我从未使用过其中任何一个)。
关于architecture - UML 和 OCL 之间的区别，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61018199/
26
4
0
我是 OCL 的新手，我对前置条件和后置条件的工作方式有一些疑问。 后置条件可以放在 if then 语句中吗？ 例如，以下代码是有效的还是我只是在混合概念？ Context [some contex
我在 MDriven 中做一个时间报告项目，我创建了一个员工工作了 10 小时的实例。 Employee 类的“attribute.type”是“HoursWorked”的“timespan”。 ac
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 我们不允许提问寻求书籍、工具、软件库等的推荐。您可以编辑问题，以便用事实和引用来回答。 关闭 7 年前。
我正在努力寻找一种方法来浏览关联类以创建约束 我在这里查看了规范:https://www.omg.org/spec/OCL/About-OCL/ 它说: 假设我有这个类图: 而这个对象图: 如您所见，
我遇到了几个关于 OCL 表达式的问题。在阅读了一些大学幻灯片并通过谷歌搜索后，我仍然无法正确理解它。 我想知道你们是否知道我应该阅读哪些好的资源来理解这些东西。 困扰我的限制: 该部门的每个人都有同
因此，假设我有一个简单的关系，其中“汽车”由“轮”组成(通过“有”关系)。 我知道在 Car 的上下文中，我可以在 OCL 中导航，通过编写 self.has 来获取一组链接的“Wheel”，轻松查看
系统信息:WINdows 7 , 64 bit on INtel celeron dual core 我正在从 master 分支构建 OpenCV 库。按照 opencv 文档中的所有说明进行操作后
因此，假设我有一个简单的关系，其中“汽车”由“轮”组成(通过“有”关系)。 我知道在 Car 的上下文中，我可以在 OCL 中导航，通过编写 self.has 来获取一组链接的“Wheel”，轻松查看
什么是与 OCL 中的 forAll 方法等效的 Groovy？ 假设我有一个项目列表。 def items = new LinkedList(); 表达当且仅当所有项目都符合特定条件时才成立的谓词的
我正在研究 opencv-OCL 库。我使用 AMD Radeon™ HD 7400M 系列 GPU。我需要对此做一些澄清。 1) 我下载了 AMD SDK 并使用 opencl enbled 构建了
我正在研究一种在 GPU 上完成许多计算的算法。我主要使用 oclMat 结构并试图避免从 CPU 复制到 GPU，反之亦然，但我找不到一种简单的方法来: 将 ocl 矩阵中的所有元素与特定的单个值(
我尝试使用 g++ 运行我的 C++ 程序，但出现以下异常:“ocl::CRException 的 typeinfo” 我正在使用包含 CRException 类的 ocl 命名空间。请帮我解决这个问
我的内核中有以下(伪)代码片段: kernel void krnl(global X* restrict x){ for(int i = 0; i < 100; i++){ x
我正在通过 EMF 中的 Ecore 定义领域特定建模语言的元模型。因此，我从相关的 genmodel 生成一个编辑器，我可以使用它来创建符合元模型的模型。我想对元模型的某些元素可以假定的值指定一些
我有一段 SQL 想要转换为 OCL。我不擅长 SQL，所以我想通过它来提高可维护性。我们使用 Interbase 2009、Delphi 2007 进行 Bold 和模型驱动开发。现在我希望这里有人
关闭。这个问题需要多问focused 。目前不接受答案。 想要改进此问题吗？更新问题，使其仅关注一个问题 editing this post . 已关闭 3 年前。 Improve this ques
关闭。这个问题需要多问focused 。目前不接受答案。 想要改进此问题吗？更新问题，使其仅关注一个问题 editing this post . 已关闭 3 年前。 Improve this ques
我正在尝试使用以下代码利用 GPU 检测人脸 #include #include #include #include #include std::string face_cascade =
我正在为一门类(class)编写 Java 程序，该程序采用元模型 UML 类图作为输入，并允许用户创建元模型中指定类型的图。然后，用户应该能够对该图建模的实例进行建模。 因此，我正在解析生成的表示
我问是因为 UML 用于非正式规范并且在语义上有一些歧义。然而，我认为 OCL 可用于非常有效地指定前置/后置条件和不变量以及其他约束条件。 我最近遇到了 Z 符号和代数规范。我的问题是，UML 和
我是一名优秀的程序员,十分优秀！