HOMELv028 アクティビティ図において、アクションの実行順序を「データ(オブジェクト)の可用性」のみによって制御し、明示的なコントロールフロー線を描かないモデリングスタイルは可能か。 2026年1月25日 アクティビティ図はペトリネット的なセマンティクスを持ち、すべてのアクションをオブジェクトフロー(ピンとデータ接続)のみで繋ぐことで、データ駆動型の処理フローを表現できる。 関連の「派生(Derived)」プロパティ `/` と、「派生ユニオン(Derived Union)」 `{union}` の違いはどれか。 ステートマシン図の「プロトコル遷移(Protocol Transition)」において、遷移後に「必ず真でなければならない」条件は何と呼ばれるか。