Should get_available_modes be influenced by inference

If we know through mode inference, that a certain state or mode of a (sub-)system can't be transitioned to, should get_available_states and get_available_modes of (sub-)systems report accordingly?

Example:

• Subsystem A contains several nodes, e.g., node B
• If node B transitions into error_processing, certain states and modes for subsystem A are not available until errors in node B are fixed
• get_available_states and get_available_modes of subsystem A only report states and modes that allow node B to be in error_processing, e.g., degraded modes

まず、エントリーポイントの get_available_states と get_available_modes を、例で説明されているモード推論の動作と併せて読みます。推論された到達不能な状態とモードを、error_processing のケースを含め、親サブシステムに対してフィルタリングすべきか判断します。完了の条件は、設計上の決定が確定し、対応する動作が検証されていることです。