ocl

1热度

1回答

我在我的Windows CMD运行这个命令： oclHashcat.exe -m 1400 hash.txt 我的哈希值是： $5$JLj/jsZd$hOjXUxfucZeTUYE/MB2WMnY75/Cty8V9Z8/sslogefB 我不断收到错误“线路长度异常”和我不知道为什么。

2热度

2回答

在OCL中定义数据类型

如何在OCL中定义新的数据类型？（示例 - 日期） OCL已经具有预定义的类型（整数，字符串，实数&布尔值）。但我怎样才能定义一个新的数据类型？例如：我有一个类调用Person。 Person类具有以下属性，名称：字符串年龄：整数生日：日期

0热度

1回答

在qvt-o代码中导入eclipse MDT/OCL API

在模型转换中，我将本机OCL查询当作字符串，我需要解析该OCL字符串并执行它以便识别和选择源模型中的特定模型元素。是否可以在qvt-o代码中导入eclipse MDT/OCL API？像在java 换句话说，我们可以按照下面的例子，但直接在qvt中通过将API导入qvt代码而不使用java和黑盒？（http://help.eclipse.org/kepler/index.jsp?topic=%

-3热度

1回答

OCL功能操作

我需要关于OCL操作的帮助来传递我的主人主题之一。我不太了解OCL语言。下一个我所要做的就是：实现该操作： Server::validMovement(playerName:String, movement:Movement):bool 这个操作返回true，当且仅当存在一个游戏谁拥有它的玩家的名字playerName一个该玩家将拥有属性hasTurn为true，并且在调用一个操作vali

3热度

3回答

将ecore模型（伴随OCL表达式）转换为合金规格

我期待看看是否有任何工具或引擎将Ecore（meta-）模型转换为合金规格？，如果它这样做翻译陪同考虑OCL表达式，这将是巨大的:) THX

0热度

1回答

OCL中的关联的所有实例

如何访问具有OCL表达式的关联的所有实例。假设我在名为refName的变量中有一个关联名，它是从A类到B类的关联名称。对于A的给定实例（比如说a），如何访问refName的值显然是SET（B）？请注意，refName不是关联的名称，而是一个变量，其值是关联的名称！所以，a.refName不起作用！感谢

0热度

1回答

ForAll和OCL中的迭代器过滤器

我需要在OCL中执行2个函数，这些函数用于集合：forAll和过滤器。诀窍是我只能使用迭代器。这是我跟： context Collection(T)::forAll(expr) : Boolean body : self -> iterate(t: T, acc: Boolean = true | expr(t) and acc) context Collection(T)::fi

0热度

1回答

OCL中的*包*是什么？

我知道如何在OCL中编写一个包，但是这个结构的意义究竟是什么？为什么以及何时需要使用软件包？至于在我的脚本包他们写 package MeetingExample context Meeting::isConfirmed : Boolean init: false context TeamMember:meeting : Set(Meetings) init: Set{} endp

0热度

4回答

为什么allInstance不适用于isUnique？

我有一个类客户端属性noClient，我想验证没有客户端具有相同的noClient。我有解决方案的下方，但老师说了不恰当的。因为这个限制可能会重复。我不知道为什么。我需要找到另一种解决方案。 context Client inv NoClientUnique: Client.allInstances -> isUnique (noClient) 我的问题是，我甚至不知道上面的代码有什么问题

1热度

1回答

OCL刻板印象约束：任何关联的颜色所有连接的类都具有相同的颜色

OCL很新，感谢您的帮助。所以我有成见的轮廓，如图所示：谁能告诉我如何写一个不变的约束说，任何协会，是有色意味着所有连接的类必须具有相同的颜色属性中的颜色值？我有这个至今： Context UML::InfrastructureLibrary::Core::Constructs::Association inv: Association.allInstances() -> forAll(a