【发布时间】:2015-05-12 02:43:06
【问题描述】:
我想为我的个人资料定义一些限制条件。例如,我需要对元类“连接器”的原型进行约束。我想定义这些元素必须有一个像 oclkindof(source) 这样的源和一个像 oclkindof(target) 这样的目标。我使用 Google 搜索引擎找到了一些文本,例如 http://modeling-languages.com/wp-content/uploads/2012/03/OCLChapter.pdf 或 http://www.omg.org/spec/OCL/2.0/ 以及其他幻灯片和论文,但对我来说不是正确的 OCL 描述。
最好的问候
【问题讨论】:
-
你为什么要使用OCL?只有少数工具可以解释 OCL。在大多数情况下,简单语言的简单约束就可以了。
-
感谢您的回答。我想用它在我的硕士论文中用标准语言定义一些约束。首先,我想用通俗易懂的语言描述约束,然后我想用 OCL 对其进行转换。
-
由于缺乏工具,OCL 仅/主要用于学术界。我能建议的最好的方法是根据您的知识编写 OCL,然后将其作为问题发布在这里,询问它是否正确。此外,您可能会寻找 OCL 解释器(我很确定有一些;Enterprise Architect 至少可以检查语法)。 (dresden-ocl.org/index.php/DresdenOCL)
-
感谢您的帮助。比我在 OCL 中定义一些约束并在这里询问它是否正确。我找到了一些口译员,但我不知道我是否正确使用它们。
标签: uml metaclass ocl stereotype