HOMELv028 シーケンス図において、メッセージに `abc(p1, p2)` のようなシグネチャではなく、単に信号名や大まかな意図を書くなど、厳密な操作定義に基づかないメッセージを作成することは許されるか。 2026年1月25日 UMLのシーケンス図は、実装前の概念設計やスケッチとしても使われるため、基礎となる操作（Operation）が未定義のメッセージや、シグナル名を文字列として記述するだけのメッセージも許容されている。 ステートマシン図の「内部遷移（Internal Transition）」の特徴として正しいものはどれか。 OCLの `iterate` 式において、結果の型（戻り値の型）は何によって決まるか。
