問題タブ [ocl]

OCL でマップを使用するにはどうすればよいですか。たとえば、ユーザー c1 のすべての請求書を取得したいのですが、マップの「購入」は次のようになり Map <Date, Bill>ます。

c1.purchases.Bill? これは可能ですか？

よろしく

ということで、3時間ほど前にOCLの勉強を始めました。いつ使用できるか、いつandinvを使用する必要があるかについて、私は非常に混乱しています。このような状況で使用できるかどうか疑問に思っていましたか？prepostinv

これは質問への答えです: サービスの総コストが車で行われたすべての作業のコストの合計であることを示す OCL 不変条件を記述し、メソッド Service::cost() の存在を想定して指定する必要があります結果。

ocl invariant ステートメントを要求していることがわかりますが、これは使用する必要があることを意味しますinvか?

乾杯

次のスキーマがあります。

Boss クラスの場合、売上高が最も高いすべてのエージェントの名前が必要です (次のようなものです: foreach agent, select agent name if he max(foreach command, total = total + price of the product * quantity from command). has

Eclipse Modeling Framework (EMF) Ecore に似た概念で構成される従来のデータ形式を移植したいと考えています。異なるデータ型とデフォルト値を持つパラメーターを持つ要素。

カスタムメイドのツールを使用すると、このようなモデル インスタンスを洗練されたテーブル ベースの GUI で編集できます。

また、パラメータの共通機能は、パラメータ値が他のパラメータから自動的に計算されることを指定する派生ルールを追加できることです。これは、Java コードまたは OCLinEcore によって実装できる Ecore 派生属性にも似ているようです。

ただし、レガシー形式でのパラメータの自動導出はオプションです。つまり、ユーザーはいつでもそのような派生パラメーターを選択し、値を手動で入力することを選択できます。したがって、派生したパラメータ値も一時的なものではなく、パラメータが「自動」モードか「手動」モードかを含め、常に永続化されます。

Ecore (OCLinEcore などの拡張機能を含む) で派生属性を永続化し、実行時に派生を選択的/一時的に有効/無効にする方法はありますか?

回避策として、Ecore の派生属性機能を使用するのではなく、オプションの派生をクライアント コードに手動で実装することが考えられます。ただし、オプションの派生規則の宣言は標準的な方法ではありません。OCLinEcore などを再利用する方法はありますか?

たとえば、次の UML ダイアグラムを考えてみましょう。

Block1のすべてのインスタンスについて、 のインスタンスがの実際のタイプのBlock1::unit_of_pressタグ付き値の同じインスタンスである場合にのみ、モデルは有効でなければなりません。unitBlock1::press

OCLでそのような制約を表現することは可能ですか?

Acceleo の for ループで現在の反復と前の反復の値を比較することは可能ですか?

LET は for ループ内で定義できますが、現在の反復ごとに変更可能であることを知っているため、以前の値は失われ、常に現在の値のみが取得されます。

gcd(x : Integer, y : Integer) : Integer2 つの正の整数 (両方を正確に割る最大の整数) の最大公約数を返す演算を でどのように記述できoclますか?