Ecore (メタ) モデルを Alloy 仕様に変換するツールまたはエンジンがあるかどうかを調べています。
付随する OCL 式を考慮してこの変換を行う場合、それは素晴らしいことです :)
どうも
3 に答える
3
Alloy と UML の間の変換に関する研究論文は多数あります。「ocl Alloy」を Google ですばやく検索すると、6000 件以上の結果が返されました。最も関連性が高いと思われるものを次に示します。
于 2014-05-25T18:27:58.240 に答える
3
OCL で注釈が付けられた UML クラス図の翻訳に明確に焦点を当てた研究論文は、Alcino Cunha、Ana Garis、および Daniel Riesco による「Alloy 仕様と OCL で注釈が付けられた UML クラス図の間の翻訳」です。
ここで実装を確認できます。Ecore メタモデルに簡単に適応できるはずです。
于 2014-05-26T07:39:50.297 に答える