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

2026年1月25日

oneは条件に合う要素が「ちょうど1つ」の時に真となる。2と3の2つがあるため、falseとなる。

モデル駆動開発において、コードから抽象的な設計情報を抽出するプロセスを何と呼ぶか。

UML 2.5において、ある分類子（Classifier）が「継承不可」であることを示す属性はどれか。