Abstract Class UML 2.3::Behavior
Description:
A behavior owns zero or more parameter sets.
Direct Superclasses: ClassDirect Subclasses: StateMachine,
OpaqueBehavior,
Interaction,
ActivityClass Precedence List: Behavior,
Class,
EncapsulatedClassifier,
StructuredClassifier,
BehavioredClassifier,
Classifier,
TemplateableElement,
Type,
PackageableElement,
ParameterableElement,
Namespace,
RedefinableElement,
NamedElement,
ElementProperties:
context :
BehavioredClassifier (0 1); -- source
Behavior isReentrant : Boolean (1 1); -- source
Behavior ownedParameter :
Parameter (0 *); -- source
Behavior ownedParameterSet :
ParameterSet (0 *); -- source
Behavior postcondition :
Constraint (0 *); -- source
Behavior precondition :
Constraint (0 *); -- source
Behavior redefinedBehavior :
Behavior (0 *); -- source
Behavior References a behavior that this behavior redefines. A subtype of Behavior
may redefine any other subtype of Behavior. If the behavior implements
a behavioral feature, it replaces the redefined behavior. If the behavior
is a classifier behavior, it extends the redefined behavior.
Subsets: RedefinableElement.redefinedElement
specification :
BehavioralFeature (0 1); -- source
Behavior 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 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
Class 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 ownedTrigger :
Trigger (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 If true, the Classifier cannot be specialized by generalization. Note that
this property is preserved through package merge operations; that is, the
capability to specialize a Classifier (i.e., isFinalSpecialization =false)
must be preserved in the resulting Classifier of a package merge operation
where a Classifier with isFinalSpecialization =false is merged with a matching
Classifier with isFinalSpecialization =true: the resulting Classifier will
have isFinalSpecialization =false.
Default value: FALSE
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
Classifier substitution :
Substitution (0 *); -- source
Classifier templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier useCase :
UseCase (0 *); -- source
Classifier templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement package :
Package (0 1); -- source
Type visibility :
VisibilityKind (1 1); -- source
PackageableElement owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement 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 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 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].