HOME
Lv042

「Lv042」の記事一覧

UMLにおいて、あるクラスのインスタンスが生成された際に実行される「初期化」の振る舞いを指定する属性はどれか。

メタモデル上の属性値としてではなく、OCLなどの制約言語を用いて初期状態を記述するのが一般的。

2026年1月25日

モデル駆動開発において、モデルの変更が即座にコードに反映され、かつコードの変更も即座にモデルに反映される環境を何と呼ぶか。

ラウンドトリップ（Round-trip）により、設計と実装の完全な同期を維持する。

2026年1月25日

OCL式「Set{1,2,3}->forAll(e1, e2 | e1 <> e2)」を評価した際、要素が3つの場合の結果はどうなるか。

forAllに複数の変数を指定すると全組み合わせをチェックする。自分自身（e1=e2）のケースも含まれるため、…

2026年1月25日

UMLにおいて、ある要素が「Abstract（抽象）」である場合、メタモデル上ではどの属性が制御しているか。

Classifierメタクラスが持つisAbstract属性が真の場合、その要素は抽象型となる。

2026年1月25日

OCLで、入れ子のコレクション「Bag{Set{1,2}, Set{1,3}}->flatten()」の結果はどうなるか。

flattenは要素を1つのコレクションにまとめる。Bagとしての性質を維持するため、重複した「1」も含まれる。

2026年1月25日

OCLにおいて「allInstances()」をサポートしていない基本的な型はどれか。

無限の数を持つIntegerやReal、Stringに対してはallInstances()は定義されていない。

2026年1月25日

「QVT-Relations」において、2つのモデル要素が同じであることを示すための「when句」内の条件式を何と呼ぶか。

when句はリレーションの「前提条件（Precondition）」を記述し、マッチングの成否を決定する。

2026年1月25日

UML 2.5において「Classifier」を継承しないものはどれか。

Commentは名前を持たない基本的なElementであり、Classifier（分類子）ではない。

2026年1月25日

OCL式「Set{1,2,3}->reject(e | e > 1)」の結果はどれか。

rejectは条件が「真」となる要素を取り除く。1より大きい{2, 3}が除外される。

2026年1月25日

OCLにおいて「invalid and true」の結果はどうなるか。

AND演算において、一方がtrueでも他方がinvalidであれば結果を確定できないためinvalidとなる。

2026年1月25日