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

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

OCL式「Sequence{1,2,3}->prepend(0)」の結果はどうなるか。

prependは要素をコレクションの先頭に追加する。

2026年1月25日

OCLにおいて「invalid = invalid」の評価結果はどうなるか。

invalidは何とも比較できず、比較演算の結果自体も常にinvalidとなる。

2026年1月25日

UML 2.5において、状態マシンの「直交状態（Orthogonal State）」を表現するために使用されるメタクラスはどれか。

Stateが複数のRegionを持つことで、並行して動作する直交状態を表現する。

2026年1月25日

「QVT-Relations」における「Domain」の役割として正しいものはどれか。

Domainは、特定のメタモデルに従うモデルが変換のどの部分に関与するかを定義する。

2026年1月25日

OCLの「closure」演算を「person.parent」に対して適用した場合、何が取得できるか。

closureは再帰的に関連を辿り、到達可能なすべての要素を累積して返す。

2026年1月25日

OCLで「allInstances()」を使用して良いクラスは次のうちどれか。

無限の集合を持つ基本型にはallInstances()は使用できない。

2026年1月25日

UMLのメタモデルにおいて、ユースケース図の「拡張（Extend）」関係に付与される条件を保持するメタクラスはどれか。

Extend関係の「condition」属性はConstraint型である。

2026年1月25日

モデル駆動開発において、モデルの正当性を数学的に証明する手法を何と呼ぶか。

形式検証（Formal Verification）は、モデルが仕様を満たしているかを論理的に証明する。

2026年1月25日

UMLのメタモデルにおいて、ステレオタイプが適用された要素から「タグ付き値」を取得するための仕組みはどれか。

ステレオタイプの属性（タグ）はメタモデル上ではPropertyとして定義される。

2026年1月25日

OCLにおいて、コレクション「Bag{1,1,2,2}」に対して「asSet()->size()」を実行した結果はどれか。

asSet()で重複が排除され{1, 2}となり、size()は2となる。

2026年1月25日