HOMELv015 モデル内の異なる要素間に「対応関係がある」ことだけを示し、詳細は後で定義する関係はどれか。 2026年3月17日 traceは、具体的な意味(詳細化や検証など)を特定しない汎用的な追跡関係です。 「要求Aが要求Bから派生した」ことを示す際、矢印の向き(依存の向き)はどちらになるか。 内部ブロック図で、ポートが特定のインターフェースブロックに従っていることを示す表記はどれか。