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