OCL式「context Person inv: self.age >= 0」の意味はどれか。

2026年1月25日

Personクラスの全インスタンスにおいて、age属性が0以上であることを保証する不変条件。

MDAのライフサイクルにおいて、CIMからPIMへの変換は主に誰が主導するか。

UML 2.xのメタモデル構造において、抽象構文を定義しているパッケージはどれか。