Previous UML Classes Table of Contents UML Packages Next

13.3.3 BehavioralFeature

BasicBehaviors , Communications



    BehavioralFeature (from Kernel ) on page 47 (merge increment)


   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.


   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.


   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.)


   No additional constraints


   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 .