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:
context :
BehavioredClassifier (0 1); -- source
Behavior isReentrant : Boolean (1 1); -- source
Behavior ownedParameter :
Parameter (0 *); -- source
BehaviorReferences a list of parameters to the behavior which describes the order
and type of arguments that can be given when the behavior is invoked and
of the values which will be returned when the behavior completes its execution.
{
composite,
ordered}
Subsets: Namespace.ownedMember
ownedParameterSet :
ParameterSet (0 *); -- source
BehaviorThe ParameterSets owned by this Behavior.
{
composite}
Subsets: Namespace.ownedMember
postcondition :
Constraint (0 *); -- source
Behavior precondition :
Constraint (0 *); -- source
Behavior redefinedBehavior :
Behavior (0 *); -- source
Behavior specification :
BehavioralFeature (0 1); -- source
BehaviorDesignates 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 classifer behavior of a BehavioredClassifier or it
can only be invoked by another behavior of the classifier.
Opposite: BehavioralFeature.method
extension :
Extension (0 *); -- source
Class isAbstract : Boolean (1 1); -- source
Class isActive : Boolean (1 1); -- source
ClassDetermines whether an object specified by this class is active or not.
If true, then the owning class is referred to as an active class. If false,
then such a class is referred to as a passive class.
Default value: FALSE
nestedClassifier :
Classifier (0 *); -- source
Class ownedAttribute :
Property (0 *); -- source
Class ownedOperation :
Operation (0 *); -- source
Class ownedReception :
Reception (0 *); -- source
Class superClass :
Class (0 *); -- source
Class ownedPort :
Port (0 *); -- source
EncapsulatedClassifier ownedConnector :
Connector (0 *); -- source
StructuredClassifier part :
Property (0 *); -- source
StructuredClassifier role :
ConnectableElement (0 *); -- source
StructuredClassifier classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier attribute :
Property (0 *); -- source
Classifier collaborationUse :
CollaborationUse (0 *); -- source
Classifier feature :
Feature (0 *); -- source
Classifier generalization :
Generalization (0 *); -- source
Classifier inheritedMember :
NamedElement (0 *); -- source
Classifier isFinalSpecialization : Boolean (1 1); -- source
Classifier ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
Classifier ownedUseCase :
UseCase (0 *); -- source
Classifier powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier redefinedClassifier :
Classifier (0 *); -- source
Classifier representation :
CollaborationUse (0 1); -- source
ClassifierReferences a collaboration use which indicates the collaboration that represents
this classifier.
Subsets: Classifier.collaborationUse
substitution :
Substitution (0 *); -- source
Classifier templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier useCase :
UseCase (0 *); -- source
Classifier elementImport :
ElementImport (0 *); -- source
Namespace importedMember :
PackageableElement (0 *); -- source
Namespace member :
NamedElement (0 *); -- source
Namespace ownedMember :
NamedElement (0 *); -- source
Namespace ownedRule :
Constraint (0 *); -- source
Namespace packageImport :
PackageImport (0 *); -- source
Namespace package :
Package (0 1); -- source
Type visibility :
VisibilityKind (1 1); -- source
PackageableElement owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement isLeaf : Boolean (1 1); -- source
RedefinableElement redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement redefinitionContext :
Classifier (0 *); -- source
RedefinableElement clientDependency :
Dependency (0 *); -- source
NamedElement name : String (0 1); -- source
NamedElement nameExpression :
StringExpression (0 1); -- source
NamedElement namespace :
Namespace (0 1); -- source
NamedElement qualifiedName : String (0 1); -- source
NamedElement templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement ownedComment :
Comment (0 *); -- source
Element ownedElement :
Element (0 *); -- source
Element 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].