HOMELv008 プロトコルステートマシンにおける「事後条件（Post-condition）」は、通常のステートマシンの何に対応するか。 2026年1月25日 プロトコルステートマシンの遷移にはアクション（実装）を記述できない代わりに、遷移後に成立していなければならない契約（事後条件）を記述する。 UMLメタモデルにおいて、クラスやコンポーネントのように「インスタンス化可能（Reifiable）」であるかを示すメタクラスのプロパティは通常どれに関連するか。 クラス図において、制約（Constraint）「{xor}」が2つの関連の間に記述されている場合の意味はどれか。
