Previous | Table of Contents | Next |
Description
An operation is owned by a class and may be invoked in the context of objects that are instances of that class. It is a typed
element and a multiplicity element.
Generalizations
• “TypedElement? on page 92
• “TypedElement? on page 92 - MultiplicityElement.
Attributes
• raisedException : Type [*] The exceptions that are declared as possible during an invocation of the operation.
• class : Class [0..1] The class that owns the operation.
• ownedParameter : Parameter [*] {ordered, composite } The parameters to the operation.
Semantics
An operation belongs to a class. It is possible to invoke an operation on any object that is directly or indirectly an instance
of the class. Within such an invocation the execution context includes this object and the values of the parameters. The type
of the operation, if any, is the type of the result returned by the operation, and the multiplicity is the multiplicity of
the result. An operation can be associated with a set of types that represent possible exceptions that the operation may raise.
Notation
The notation for Basic::Class is the same as that for Constructs::Class with the omission of those aspects of the notation
that cannot be represented by the Basic model.