Source
Declaration
?derived: 
false
?union: 
UNDEF
?ordered: 
UNDEF
?readonly: 
false
name: 
specification
multiplicity: 
[0..1]

Designates a behavioral feature that the behavior implements. The behavioral feature must be owned by the classifier that owns the behavior or be inherited by it. The parameters of the behavioral feature and the implementing behavior must match. A behavior does not need to have a specification, in which case it either is the classifier behavior of a BehavioredClassifier or it is a behavior that can only invoked by another behavior of the classifier.

Comments

This documentation is

This documentation is important and subtle, and worth careful inspection in order to understand how Behavior and BehavioralFeature (Operation) relate in UML. The name 'specification' is a bit unfortunate (is a possible "gotcha"), as it does not mean that the BehavioralFeature specifies a Behavior, rather merely that a Behavior implements a BehavioralFeature.

randomness