OCLのコンテキスト(context)宣言において、不変条件を定義するキーワードはどれか。

2026年1月25日

inv（invariant）は、常に真であるべき不変条件を定義する際に使用する。

M0層で扱われる対象として適切なものはどれか。

OCLにおいて「self」が指すものはどれか。