HOMELv003 シーケンス図において、メッセージの受信順序が厳密に規定される演算子はどれか。 2026年3月18日 strictはオペランド内のイベント発生順序を厳密に規定する。 ステートマシンにおいて、履歴を保持し、再入時に直前の状態に戻るために使用される疑似状態はどれか。 コンポーネントが提供するサービスを外部に公開するためのインターフェースの呼び方はどれか。