制約ブロックの定義において、数式を記述するために用いる言語はどれか。

2026年3月17日

SysMLでは制約式の記述言語を特定せず、任意の形式で記述できる。

メッセージの種類で、送信側が応答を待たずに次の処理に進むものはどれか。

アクターがシステムと対話する際の「目的」を記述する要素はどれか。