Class UML 2.4.1::FunctionBehavior
Description:
A function behavior is an opaque behavior that does not access or modify
any objects or other external data.
Direct Superclasses: OpaqueBehaviorDirect Subclasses: Class Precedence List: FunctionBehavior,
OpaqueBehavior,
Behavior,
Class,
EncapsulatedClassifier,
StructuredClassifier,
BehavioredClassifier,
Classifier,
Namespace,
Type,
PackageableElement,
ParameterableElement,
RedefinableElement,
NamedElement,
TemplateableElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
body : String (0 *); -- source
OpaqueBehavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
language : String (0 *); -- source
OpaqueBehavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
context :
BehavioredClassifier (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
isReentrant : Boolean (1 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedParameter :
Parameter (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedParameterSet :
ParameterSet (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
postcondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
precondition :
Constraint (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
redefinedBehavior :
Behavior (0 *); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
specification :
BehavioralFeature (0 1); -- source
Behavior![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
extension :
Extension (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
isAbstract : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
isActive : Boolean (1 1); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
nestedClassifier :
Classifier (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedAttribute :
Property (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedOperation :
Operation (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedReception :
Reception (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
superClass :
Class (0 *); -- source
Class![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedPort :
Port (0 *); -- source
EncapsulatedClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedConnector :
Connector (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
part :
Property (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
role :
ConnectableElement (0 *); -- source
StructuredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
classifierBehavior :
Behavior (0 1); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
interfaceRealization :
InterfaceRealization (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedBehavior :
Behavior (0 *); -- source
BehavioredClassifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
attribute :
Property (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
collaborationUse :
CollaborationUse (0 *); -- source
Classifier![](/se-interop/image/right-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
feature :
Feature (0 *); -- source
ClassifierSpecifies each feature defined in the classifier. Note that there may be
members of the Classifier that are of the type Feature but are not included
in this association, e.g. inherited features.
{
readonly}
Derived union with sources: (attribute, ownedConnector, ownedReception, ownedOperation, ownedAttribute)
Subsets: Namespace.member
Opposite: Feature.featuringClassifier
![](/se-interop/image/right-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
generalization :
Generalization (0 *); -- source
ClassifierSpecifies the Generalization relationships for this Classifier. These Generalizations
navigaten to more general classifiers in the generalization hierarchy.
{
composite}
Subsets: Element.ownedElement
Opposite: Generalization.specific
![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
inheritedMember :
NamedElement (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
isFinalSpecialization : Boolean (1 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedTemplateSignature :
RedefinableTemplateSignature (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedUseCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
powertypeExtent :
GeneralizationSet (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
redefinedClassifier :
Classifier (0 *); -- source
Classifier![](/se-interop/image/right-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
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?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
substitution :
Substitution (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
templateParameter :
ClassifierTemplateParameter (0 1); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
useCase :
UseCase (0 *); -- source
Classifier![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/right-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
package :
Package (0 1); -- source
TypeSpecifies the owning package of this classifier, if any.
Opposite: Package.ownedType
![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
visibility :
VisibilityKind (1 1); -- source
PackageableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
owningTemplateParameter :
TemplateParameter (0 1); -- source
ParameterableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
redefinitionContext :
Classifier (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
templateBinding :
TemplateBinding (0 *); -- source
TemplateableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=111839%3AE687BB63E25B04A5B0C475E08B8EA828)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: types_of_parameters() : Boolean;
Description: The types of parameters are all data types, which may not nest anything
but other datatypes.
The OCL used here is not normative.Editor's notes: Is this an operator or a constraint?
Expression: true
Original: def: hasAllDataTypeAttributes(d : DataType) : Boolean = d.ownedAttribute->forAll(a | a.type.oclIsTypeOf(DataType) and hasAllDataTypeAttributes(a.type)) self.ownedParameters->forAll(p | p.type.notEmpty() and p.oclIsTypeOf(DataType) and hasAllDataTypeAttributes(p))
Signature: one_output_parameter() : Boolean;
Description: A function behavior has at least one output parameter.
Expression: self.ownedParameters-> select(p | p.direction=#out or p.direction=#inout or p.direction=#return)->size() >= 1
Operations:
No additional operations.
Send questions or comments to
[email protected].