A << satisfy >> or << verify >> Dependency must be from a ModelElement towards a Requirement.


A << satisfy >> Dependency describes how a design or an implementation model satisfies one or more Requirements, and a system modeler specifies the system design ModelElements that are intended to satisfy the Requirement. A “description” Note on the << satisfy >> Dependency may explain how the Requirement is satisfied.

A << verify >> Dependency defines how a test case verifies a Requirement. A test case is intended to be used as a general mechanism to represent any of the standard verification methods for inspection, analysis, demonstration or test.


If you have a << satisfy >> or << verify >> Dependency which is not from a ModelElement toward a Requirement, you should delete it.