Abbreviation

Requirement[1]

Description

The property owned Operation must be empty.

Severity

warning

Context element

Requirement

Solvers

Example