| Previous | UML Classes | Table of Contents | UML Packages | Next |
•
BehavioralFeature (from Kernel ) on page 47
(merge increment)
Description
A behavioral feature is implemented (realized) by a behavior. A behavioral feature specifies that a classifier will respond
to a designated request by invoking its implementing method.
Attributes
Package BasicBehaviors
Issue 9191 -add default value
• isAbstract: Boolean If true, then the behavioral feature does not have an implementation, and one must be supplied by a
more specific element. If false, the behavioral feature must have an implementation in the classifier or one must be inherited
from a more general element. Default value is false.
Package Communications
Issue 9191 -add default value
• concurrency: CallConcurrencyKind Specifies the semantics of concurrent calls to the same passive instance (i.e., an instance
originating from a class with isActive being false). Active instances control access to their own behavioral features. Default
value is sequential.
Associations
Package BasicBehaviors
Issue 8297 -add explicit multiplcities to properties
• method: Behavior [0..*] A behavioral description that implements the behavioral feature. There may be at most one behavior
for a particular pairing of a classifier (as owner of the behavior) and a behavioral feature (as specification of the behavior).
Package Communications
• raisedException: Classifier [0..*]The signals that the behavioral feature raises as exceptions. (Subsets BehavioralFeature::raisedException.)
Constraints
No additional constraints
Semantics
The invocation of a method is caused by receiving a request invoking the behavioral feature specifying that behavior. The
details of invoking the behavioral feature are defined by the subclasses of BehavioralFeature.
Semantic Variation Points
How the parameters of behavioral features or a behavior match the parameters of a behavioral feature is a semantic variation
point. Different languages and methods rely on exact match (i.e., the type of the parameters must be the same), co-variant
match (the type of a parameter of the behavior may be a subtype of the type of the parameter of the behavioral feature), contra-variant
match (the type of a parameter of the behavior may be a supertype of the type of the parameter of the behavioral feature),
or a combination thereof.
Changes from previous UML
The metaattributes isLeaf and isRoot have been replaced by properties inherited from RedefinableElement .