編寫與其他類關聯相關的 OCL 限制

[英]Write OCL restrictions related to associations with other classes

你如何對model進行以下限制？ 如果一個地方已被 2 個或 2 個以上的用戶收藏為書簽，則它是受歡迎的。 這里對應的uml圖： uml 我嘗試了幾種方法，例如： 但沒有任何效果...... ...

以 XML、JSON 或任何其他序列化格式表示 QVT-Operational 轉換

[英]Representing QVT-Operational transformations in XML, JSON or or any other serialized format

我有一個要求，我需要解析 QVT-Operational 文件中定義的轉換。 我需要一些方法來表示 json、xml 或任何其他序列化格式的 QVT-Operational 轉換。 在 model 到 model 的轉換中，使用 eclipse 中的操作 QVT，我能夠生成 XML 格式的跟蹤文件。 ...

如何向 class 變量添加 OCL 限制？

[英]How can I add OCL restriction to the class variable?

我正在實施一個需要添加 OCL 限制的復合設計模式。 這是我正在使用的代碼片段。 OCL 限制與總表面積有關。 當您調用getSurfaceArea()時，計算結果應與存儲為surfaceArea的值匹配。 我如何使用 OCL 執行此操作？ 這是我想出的，但我懷疑我是否可以使用 OCL 中方法的 ...

在 OCL 中引用與其他類相關的類時，您可以使用點表示法嗎？

[英]Can you use dot notation when referring to classes in relation to other classes in OCL?

例如，假設我有這樣的情況 我可以寫一個 OCL 表達式來計算一個學校有多少學生，例如： ? 還是會不正確？ 在那種情況下，我將如何計算學生人數？ ...

如果我只知道 OCL 中其中一個屬性的值，如何找到 UML object？

[英]How do I find a UML object if I only know the value of one of its attributes in OCL?

我有一個具有屬性id的 UML class Student 。 我想在 OCL 中編寫一個查詢，僅通過知道它的id來查找特定的Student 。 我應該使用allInstances()嗎？ 還是派生？ 我對OCL不是很熟悉。 ...

獲取ocl字符串屬性長度

[英]Get ocl string attribute length

我需要檢查一個字符串屬性長度，但我不知道我必須使用什么 function，也許是size() ？ ...

了解一些 OCL 操作數的語義

[英]Understanding the semantics of some OCL operands

我在嘗試理解 2.4 版 OCL 規范中 OCL 操作數的語義時遇到了一些麻煩。 特別地，首先，給定上下文 model 作為學生 class，其中可用屬性是他的年齡，然后考慮此 model 的當前實例包括變量object的賦值是一個年齡undefined的學生。 我想問一下在評估以下示例時返回值是什 ...

如何使用 MDriven OclPs 查找與字符串列表匹配的所有對象？

[英]How to use MDriven OclPs to find all objects matching a list of strings?

在一個應用程序中，我收到一個字符串列表。 然后我想使用 OclPs 來查找特定屬性等於列表中任何字符串的所有對象。 例如，如果我們有 Person 對象並收到一個姓氏列表，則查找姓氏出現在列表中的所有人員。 我似乎無法在 OclPs 中實現這一點。 嘗試 1：首先將名稱列表分配給vNames （字 ...

OCL 和派生屬性的初學者問題

[英]Beginner's question on OCL and derived attributes

我最近才開始深入研究 OCL 的復雜性。 在我的第一次申請中，出現了以下問題： 是否可能，如果可能，在沒有提供值的情況下派生屬性的正確方法是什么？ 我想到的方法可能是形式上不正確的： 我能想到的另一種方法是 誠然，這兩種方法似乎都有點尷尬，因此如果您能向我展示正式的正確方法，我會很高興。 ...

OCL 語句中 if-then 和蘊涵的等價

[英]Equivalence of if-then and implies in OCL statements

以下兩個 OCL 語句對於某些函數上下文是否等效？ post: if a > 0 then b < c post: b < c implies a > 0 ...

OCL inv：合理軟件架構中的錯位構造錯誤

[英]OCL inv: misplaced Construct error in rational software architecture

好的，請幫助我對 OCL 書面約束沒有太多了解。 在下圖中，我試圖對 class J 施加約束，使其屬性在它之后應該為真，但它給了我一個錯誤 Parsing Error: 1:1:4 “inv:” misplaced construction(s)。 我不知道如何解決這個錯誤，在接下來的 class ...

安裝過程中的OCLinEcore問題

[英]OCLinEcore problem during the installation

我是一名學生，我嘗試使用 eclipse 中的 EMF 創建一個元模型。 現在我嘗試在我的元模型中添加一些 OCL 約束，所以，我嘗試使用 OCLinEcore。 不幸的是，當我點擊我的 (*.ecore / open with / OCLinEcore 編輯器) 時，它會顯示以下錯誤： 加載程序約 ...

OCL：為構造函數和析構函數指定前置條件和后置條件

[英]OCL: Specify pre and postconditions for constructor and destructor

嗨，我是 OCL 的新手，想知道是否可以使用 OCL 完成以下操作： 在可以創建 object 之前檢查某些條件是否成立指定 object 被破壞后必須執行的操作如果是，我們可以通過在構造函數中指定前置條件（第 1 號）和析構函數中的后置條件（第 2 號）來實現這一點，還是有其他方法？ 謝謝！ ...

如何在 OCL 中進行分組？

[英]How to make a Group by in OCL?

我在Person和Department之間有關聯，我想檢查 Person.function 是否是唯一的 但我想檢查 function 對於同一部門的人員是否是唯一的，而不是在所有人之間。 我可以擁有相同的 function 但不在同一個部門。 我不知道如何為每個部門使用 isUnique （ P ...

Python中如何實現OCL（Object Constraint Language）

[英]How to implement OCL (Object Constraint Language) in Python

我在Google Colaboratory上工作，我必須實現OCL（對象約束語言），我搜索了很多，但我沒有找到如何實現它。 有人可以給我一個主意嗎？ ...

在 ATL model2model 轉換中啟用多對多（基數）

[英]Enable many to many (cardinality) in ATL model2model transformation

我正在嘗試使用 ATL 實現 M2M 轉換。 所以我正在將源 model (1) 轉換為目標 model (2)，我對 ATL 非常陌生，我找不到任何關於如何啟用多對多轉換的文檔。 我想要做的是：轉換（1）源model，帶有一個名為“操作”的class，它引用了另一個名為“參數”的class，引用 ...

如何表達樹結構約束

[英]How to express tree structure constraints

如何表示以下約束： 1 - 恰好有一個文件夾不是另一個目錄的子目錄。 （我無法完全理解文件夾/子文件夾主題以及如何描述文件夾系統中唯一可能的排除項） 還有一些問題來自第一個問題 2 文件夾的最高嵌套數不超過n。 3）您系統上的文件總數不能超過數量n。 4）給定系統中文件（子目錄）的總數不能超 ...

將 OCL 表達式解析為 AST（抽象語法樹）

[英]Parse an OCL Expression into an AST (Abstract Syntax Tree)

對於上下文——OCL 表達式將與一個“Ecore”文件一起提供，該文件包含有關與表達式關聯的 UML 的信息。 作為我正在進行的研究的一部分，我正在嘗試將 OCL 表達式解析為抽象語法樹 (AST)，我希望能夠對其進行迭代、查看每個節點的信息並進行更改。 問題是我發現所有與 OCL 有任何關系的軟 ...

UML 配置文件中擴展構造型的約束

[英]Constraints on extended stereotype in UML profile

假設您有一個更大的汽車配置文件的摘錄： 現在我想為汽車定義一些約束，比如這些約束狀態之一，如果attrA為true ，那么attrB必須像這樣使用 OCL 為false ： 我的問題是：如果Mercedes刻板印象專門用於汽車刻板印象，我是否堅持相同的約束，換句話說：刻板印象Car仍然適用 ...

如何驗證 ocl 中的 java.util.Date 屬性？

[英]How to validate java.util.Date attribute in ocl?

我正嘗試在 emf.ecore 2.23 中添加對日期類型的驗證，如下例所示 要么 使用此鏈接https://wiki.eclipse.org/EMF/Recipes#Recipe:_Generating_data_types_that_support_date.2Ftime_format ，我包 ...