Covered of State Invariant

Abbreviation

LifelineOfStateInvariant

Description

This validation rule checks if a State Invariant has only one covered lifeline.

Severity

error

Constrained Element

State Invariant

Solvers

To fix this, make sure a State Invariant has only one covered lifeline.

Example

State Invariant has two covered lifelines, which causes an error. The error is resolved by removing one of the lifelines from the Covered property.