HOMELv020 UML/OCLにおいて、シグナル送信(Signal Send)と操作呼び出し(Operation Call)の違いは、OCLメッセージ式でどう区別されるか。 2026年1月25日 OCLのOclMessage型などを通じてどちらも表現できるが、シグナルはシステム内の非同期通信、操作は同期/非同期呼び出しに対応する。 シーケンス図において「状態不変式(State Invariant)」はどこに配置されるか。 OCLにおいて、コレクション `c` が空でないことを確認するための最も簡潔な式はどれか。