HOME
Lv019

「Lv019」の記事一覧

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

形式検証（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日

OCL式「-5.abs()」の結果はどうなるか。

abs()は絶対値を返す演算子である。

2026年1月25日

プロパティの「サブセッティング（{subsets}）」とはどういう意味か。

`{subsets propA}` は、このプロパティ（propB）に含まれるすべての要素が、propAにも含まれていなければ…

2026年1月25日

OCLコレクション操作 `select` と `reject` の関係として正しい式はどれか（`cond`は条件式）。

`select` は条件が真のものを選び、`reject` は条件が真のものを除く（つまり条件が偽のものを選ぶ）。し…

2026年1月25日

UMLメタモデルにおいて、2つの要素間の一方向の関係を表す抽象クラス `DirectedRelationship` を継承している具体的な関係はどれか。

Associationは方向性を持たない（または双方向）が基本だが、DependencyやGeneralizationは本質的に方向性…

2026年1月25日

MARTEプロファイルにおいて、論理的な時間（Logical Time）と物理的な時間（Chronometric Time）を区別して扱うための概念はどれか。

MARTEは、物理時間だけでなく、論理クロック（ステップ数など）に基づいた時間モデル（Time Structure）を…

2026年1月25日

「要求」をオブジェクトとしてカプセル化し、パラメータ化されたクライアント、キューイング、ロギング、Undo操作などをサポートするパターンはどれか。

Commandパターンは、命令（リクエスト）を独立したオブジェクトにし、実行する操作とその引数を保持させる…

2026年1月25日

アクティビティ図の「ジョインノード」仕様において、異なる入力エッジから「同一ではない」トークン（異なるオブジェクト識別子）が到着した場合の標準的な挙動はどれか。

ジョインはフローの同期を行い、通常はすべての入力にトークンが到達したときに発火し、下流にトークンを…

2026年1月25日