HOMELv028 ステートマシン図の「プロトコル遷移（Protocol Transition）」において、遷移後に「必ず真でなければならない」条件は何と呼ばれるか。 2026年1月25日 プロトコルステートマシンでは、遷移の実行結果として保証されるべき状態（事後条件）を明記し、実装クラスがその契約を守ることを要求する。 アクティビティ図において、アクションの実行順序を「データ（オブジェクト）の可用性」のみによって制御し、明示的なコントロールフロー線を描かないモデリングスタイルは可能か。 「Composite」パターンを適用したクラス図において、Leaf（葉）とComposite（枝）の共通の親クラス（Component）に、子要素管理の操作（add, remove等）を定義することのトレードオフは何か。
