R3060

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.