Abbreviation
Requirement[1]
Description
The property owned Operation must be empty.
Severity
warning
Context element
Requirement
Solvers
Example