HOMELv025 要件図において、「検証（verify）」関係のサプライヤ（矢印の先）が「要件」である場合、これは標準的な向きか。 2026年3月17日 「テストケース（元）が要件（先）を検証する」という方向がSysMLの標準的なverify関係の向きである。 ibdにおいて、プロキシポートが「インターフェースブロック」によって型定義されている場合、そのポートを通じて何ができるか。 アクティビティ図において、フローの「ガード条件」が評価される正確なタイミングはいつか。
