HOMELv011 シーケンス図で、特定の時間点からの経過時間(例:t < 5s)を制約として記述する要素はどれか。 2026年3月17日 時間制約は、あるイベントが発生すべき特定のタイミングや制限時間を定義する。 ある状態に遷移した際に、外部からのイベントを待たずに即座に次の遷移を試行する遷移を何と呼ぶか。 バリュープロパティが単位(Unit)を持つ場合、その数値の意味を規定するメタデータはどれか。