HOMELv014 シーケンス図において、オブジェクトの生成を表すメッセージの形はどれか。 2026年3月17日 作成メッセージは対象となる生存線の頭部(インスタンス枠)へ向けられる。 状態遷移の表記「event [guard] / action」において、「/」以降の記述は何を指すか。 制約ブロックにおいて、複数の数式を一つのブロックに含めることは可能か。