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

2026年1月25日

AND演算では一方がfalseであれば、もう一方が不明（invalid）であっても結果はfalseと確定する。

OCLにおいて、実数（Real）を整数（Integer）に変換する際、小数部分を切り捨てる（対象以下の最大整数）演算はどれか。

UML 2.5において、操作（Operation）が副作用を持たないことを示す属性はどれか。