問題タブ [ocl]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
scala - Scala 用の EMF/UML および OCL API
私が Scala で開発しているアプリケーションの一部は、EMF/UML モデルと、これらのモデルに対して定義された OCL 式を読み取って解析する必要があります。私の OCL 式は、これらの EMT/UML モデルに対して定義されたほとんどのクエリ式です。
私の質問:
1) EMF/UML モデルを読み取って解析するための API オプションは何ですか?
2) EMF/UML モデルで OCL 式 (クエリ) を解析および評価するための API オプションは何ですか。
uml - OCLの特定のセットから数値を作成する方法は?
'value' 属性が Real に設定されたクラス 'Grade' があり、私の質問は OCL でこの条件を記述する方法です。
グレードはセット {2, 3, 3.5, 4, 4.5, 5} の数値です
uml - ネストされた OCL forAlls
私は一次論理で次の式を持っています。
簡単に言うと、タイプ A のすべてのオブジェクトとタイプ B のすべてのオブジェクトが r1 によって関連付けられている場合、それらは r2 によっても関連付けられています。
クラス図は次のとおりです。
誰かが上記の式の OCL 表現を提供してくれませんか。
constraints - OCL制約の書き方
私はOCLを初めて使用します。Eclipseルナ4.4.2でパピルスを使用していますclass call Address with attribute provenance with constraint {provenance should be Required}
形式言語に合わせた OCL 制約はどのように書けばよいでしょうか? 構文の正確性を検証する方法も知りたいですか?