HOMELv017 要件図において、「検証（verify）」関係のサプライヤ（矢印の先）はどの要素になるか。 2026年3月17日 verify関係は「テストケースが要件を検証する」という方向で、矢印の先は要件を指す。 ibdにおいて、1つのポートから複数のコネクタが分岐して出ている場合、SysMLでは何を意味するか。 アクティビティ図において、トークンを生成せず、単にフローの順序を同期させるためだけに使用するピンを何と呼ぶか。
