ValueSpecification (as specialized)

Description
Constructs::ValueSpecification reuses the definition of ValueSpecification from Abstractions::Expressions. It adds a
specialization to Constructs::TypedElement.

Attributes
No additional attributes.

Associations
No additional associations.

Constraints
No additional constraints.

Semantics
No additional semantics.

Notation
No additional notation.