Abstract Class UML 2.4.1::Behavior
Description:
Behavior is a specification of how its context classifier changes state
over time. This specification may be either a definition of possible behavior
execution or emergent behavior, or a selective illustration of an interesting
subset of possible executions. The latter form is typically used for capturing
examples, such as a trace of a particular execution.A behavior owns zero
or more parameter sets.
Direct Superclasses: ClassDirect Subclasses: StateMachine,
OpaqueBehavior,
Interaction,
ActivityClass Precedence List: Behavior,
Class,
EncapsulatedClassifier,
StructuredClassifier,
BehavioredClassifier,
Classifier,
Namespace,
Type,
PackageableElement,
ParameterableElement,
RedefinableElement,
NamedElement,
TemplateableElement,
ElementProperties:
![](/se-interop/image/right-arrow.png)
context :
BehavioredClassifier (0 1); -- source
BehaviorThe classifier that is the context for the execution of the behavior. If
the behavior is owned by a BehavioredClassifier, that classifier is the
context. Otherwise, the context is the first BehavioredClassifier reached
by following the chain of owner relationships. For example, following this
algorithm, the context of an entry action in a state machine is the classifier
that owns the state machine. The features of the context classifier as
well as the elements visible to the context classifier are visible to the
behavior.
{
readonly,
derived}
Subsets: RedefinableElement.redefinitionContext
The spec does not provide a function to compute this derived property!![](/se-interop/image/down-arrow.png)
isReentrant : Boolean (1 1); -- source
Behavior![](/se-interop/image/down-arrow.png)
ownedParameter :
Parameter (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png)
ownedParameterSet :
ParameterSet (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png)
postcondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png)
precondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png)
redefinedBehavior :
Behavior (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png)
specification :
BehavioralFeature (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png)
extension :
Extension (0 *); -- source
Class![](/se-interop/image/down-arrow.png)
isAbstract : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png)
isActive : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png)
nestedClassifier :
Classifier (0 *); -- source
Class![](/se-interop/image/down-arrow.png)
ownedAttribute :
Property (0 *); -- source
Class![](/se-interop/image/down-arrow.png)
ownedOperation :
Operation (0 *); -- source
Class![](/se-interop/image/down-arrow.png)
ownedReception :
Reception (0 *); -- source
Class![](/se-interop/image/down-arrow.png)
superClass :
Class (0 *); -- source
Class![](/se-interop/image/down-arrow.png)
ownedPort :
Port (0 *); -- source
EncapsulatedClassifier![](/se-interop/image/down-arrow.png)
ownedConnector :
Connector (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png)
part :
Property (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png)
role :
ConnectableElement (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png)
classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png)
interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png)
ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png)
attribute :
Property (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
collaborationUse :
CollaborationUse (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
feature :
Feature (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
generalization :
Generalization (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
inheritedMember :
NamedElement (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
isFinalSpecialization : Boolean (1 1); -- source
Classifier![](/se-interop/image/right-arrow.png)
ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
ClassifierThe optional template signature specifying the formal template parameters.
{
composite}
Subsets: Element.ownedElement
Redefines: TemplateableElement.ownedTemplateSignature
Opposite: RedefinableTemplateSignature.classifier
![](/se-interop/image/down-arrow.png)
ownedUseCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
redefinedClassifier :
Classifier (0 *); -- source
Classifier![](/se-interop/image/right-arrow.png)
representation :
CollaborationUse (0 1); -- source
ClassifierReferences a collaboration use which indicates the collaboration that represents
this classifier.
Subsets: Classifier.collaborationUse
![](/se-interop/image/down-arrow.png)
substitution :
Substitution (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png)
useCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/right-arrow.png)
packageImport :
PackageImport (0 *); -- source
NamespaceReferences the PackageImports owned by the Namespace.
{
composite}
Subsets: Element.ownedElement
Opposite: PackageImport.importingNamespace
![](/se-interop/image/down-arrow.png)
package :
Package (0 1); -- source
Type![](/se-interop/image/down-arrow.png)
visibility :
VisibilityKind (1 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/right-arrow.png)
namespace :
Namespace (0 1); -- source
NamedElementSpecifies the namespace that owns the NamedElement.
{
readonly}
Derived union with sources: ()
Subsets: Element.owner
Opposite: Namespace.ownedMember
![](/se-interop/image/down-arrow.png)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png)
templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement![](/se-interop/image/down-arrow.png)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: parameters_match() : Boolean;
Description: The parameters of the behavior must match the parameters of the implemented
behavioral feature.
Expression: true
Signature: must_realize() : Boolean;
Description: If the implemented behavioral feature has been redefined in the ancestors
of the owner of the behavior, then the behavior must realize the latest
redefining behavioral feature.
Expression: true
Signature: most_one_behaviour() : Boolean;
Description: There may be at most one behavior for a given pairing of classifier (as
owner of the behavior) and behavioral feature (as specification of the
behavior).
Expression: true
Signature: feature_of_context_classifier() : Boolean;
Description: The implemented behavioral feature must be a feature (possibly inherited)
of the context classifier of the behavior.
Expression: true
Operations:
No additional operations.
Send questions or comments to
[email protected].