Abbreviation

BhvFtrAbstClsfAbst

Description

This validation rule checks if the classifier is abstract when at least one Behavioral Feature of a Classifier is abstract.

Severity

error

Constrained Element

Behavioral Feature

Solvers

• Make classifier abstract - sets the classifier's property Is Abstract to true.
• Make behavioral features non-abstract - sets the behavioral features' property Is Abstract to false.

Example

The Block Cooling is non-abstract but has an abstract operation Cool Air, which causes an error.
The error is resolved via the Make behavioral features non-abstract solver.