Previous Table of Contents Next


11.8.3 Parameter


   A parameter is a specification of an argument used to pass information into or out of an invocation of a behavioral feature.

Description

   Constructs::Parameter merges the definitions of Parameter from Basic and Abstractions::BehavioralFeatures. It adds specializations to TypedElement and MultiplicityElement.

   A parameter is a kind of typed element in order to allow the specification of an optional multiplicity on parameters. In addition, it supports the specification of an optional default value.

Generalizations Attributes Associations

   • /operation: Operation[0..1] References the Operation for which this is a formal parameter. Subsets NamedElement::namespace and redefines Basic::Parameter::operation.

Constraints

   No additional constraints

Semantics

   A parameter specifies how arguments are passed into or out of an invocation of a behavioral feature like an operation. The type and multiplicity of a parameter restrict what values can be passed, how many, and whether the values are ordered.

   If a default is specified for a parameter, then it is evaluated at invocation time and used as the argument for this parameter if and only if no argument is supplied at invocation of the behavioral feature.

Notation

   See Operation