HOME
UMLモデリング技能認定試験 L4

「UMLモデリング技能認定試験 L4」の記事一覧

OCLにおいて、2つの「Tuple」が等しいと判定される条件はどれか。

Tupleは値型（Value Type）として扱われ、構造が完全に一致すれば等しいとされる。

2026年1月25日

UMLのメタモデルにおいて「Generalization」関係が持つ「isSubstitutable」属性の意味はどれか。

リスコフの置換原則（LSP）に相当し、セマンティクス上の代入可能性を定義する。

2026年1月25日

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

-3 < -2 < -1 の順にソートされるため、昇順に並べると3, 2, 1となり、最初の要素は3である。

2026年1月25日

OCLにおいて、コレクション「s」の全要素が「一意（Unique）」であることを確認する演算はどれか。

isUniqueは、各要素に対して式を評価した結果がすべて異なる場合に真を返す。

2026年1月25日

モデル駆動開発において、実装コードをモデルに戻し、設計情報を更新することを何と呼ぶか。

コードからモデルを生成・抽出するプロセスをリバースエンジニアリングと呼ぶ。

2026年1月25日

OCLで「Sequence{1,2,3,4}->reject(e | e mod 2 = 0)」を実行した結果はどうなるか。

rejectは条件が真の要素を除外するため、偶数が除かれ、元の順序を保ったまま奇数が残る。

2026年1月25日

UML 2.5において、モデル全体やその一部をカプセル化し、再利用可能な単位とするメタクラスはどれか。

ModelはPackageの一種であり、記述対象のシステム全体または特定の視点を完全に表現する。

2026年1月25日

QVTの仕様において、変換定義自体が従うメタモデル（メタメタモデル）はどれか。

QVTの各言語（Relations, Core, Operational）は、それぞれQVT仕様内で定義された自身のメタモデルを持つ。

2026年1月25日

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

ならば（implies）において、結論側がtrueであれば、仮定が何（invalid含む）であっても結果はtrueとなる。

2026年1月25日

UMLにおいて、システムの外部境界とそこでの入出力を表現する「ユースケース」の親クラス（メタクラス）はどれか。

UseCaseは振る舞いを持ち、特定のClassifier（システムやサブシステム）に関連付けられる。

2026年1月25日