ocl

    1熱度

    1回答

    我有一個問題根據asSet/asBag/asSequence/asOrderedSet。我可以將它用於收藏集嗎?例如,我有(Sequence(Bag(Set(A)))),如果可能,我可以使用這些操作以及我將收到的結果。或者我需要使用壓平?

    3熱度

    1回答

    ================ | Person | |--------------| |- id : String | |--------------| ================ 我Person類物業id是String類型。我必須檢查id是一個包含11位數的數字。我想這樣的事情: context Person::id:String inv: self.id->forAl

    1熱度

    1回答

    想象一下下面的類人 ================ | Person | |--------------| |- name | |- age | |--------------| |+ drinkWater()| |+ drinkBeer() | ================ 使用OCL,是有可能設定一個約束的操作drinkBeer()?例如只允許Person> =

    0熱度

    1回答

    由於我甚至沒有在OBEO Designer Community中找到線索來模擬OCL約束,因此很難提供更多細節。 任何人有一個想法如何做到這一點? 感謝

    1熱度

    3回答

    我需要通過兩個參數來排序人員的集合,通過姓氏和名稱之後。我如何在OCL中做這樣的事情?

    -1熱度

    1回答

    我嘗試寫ocl來給child(動物)添加約束,但約束必須是用戶父類名(mamifere)。我認爲第一個版本不起作用,我認爲第二個例子有更好的解決方案。請幫幫我 ?例如動物 圖像:

    0熱度

    1回答

    如何在eclipse中創建模型實例提供者類?

    0熱度

    1回答

    我正在操縱EMF提供的OCL的AST。 我想知道是否有方法檢查部分樹? 如果是這樣,我應該使用什麼類? 我對文檔有點困惑 - 因爲我正在尋找「檢查語言」(OCL用於檢查,我想檢查OCL),谷歌迷路... 謝謝。

    0熱度

    1回答

    Evrything在標題中:我有一個OCL AST(使用root作爲org.eclipse.ocl.ecore.Constraint),我修改了它。 我想再次解析它,但我只找到打印約束(或任何OCL事物)時獲得的「單行OCL語法」 - 在其toString()方法中提供。 任何人都知道從EMF OCL Constraint獲取最終可解析的OCL字符串的方法嗎? (或來自任何TypedElement

    0熱度

    1回答

    作爲新UML/OCL /紙莎草缺乏交流關於這一點給我一種感覺,我可能是在錯誤的道路上派生的紙莎草對象a)作爲組合成員的所有對象,以及b)從另一個接口繼承的所有接口。也就是說,我會說,通過直接和間接的關聯進行分層。 在紙莎草紙中,我可以通過簡單地將元素添加到圖層來完成此操作。更方便的是使用Reg Exp Layers,它選擇所有在OCL布爾表達式上返回TRUE的元素。例如,通過self.elemen