A name which allows the NamedElement to be identified within a hierarchy
of nested Namespaces. It is constructed from the names of the containing
namespaces starting at the root of the hierarchy and ending with the name
of the NamedElement itself.{readonly, derived}

Constraints:

Signature: inherited_parameters() : Boolean;Description: The inherited parameters are the parameters of the extended template signature.Expression: if extendedSignature->isEmpty() then Set{} else extendedSignature.parameter endif

Operations:

Signature: isConsistentWith(redefinee : RedefinableElement; ) : Boolean;Description: The query isConsistentWith() specifies, for any two RedefinableTemplateSignatures in a context in which redefinition is possible, whether redefinition would be logically consistent. A redefining template signature is always consistent with a redefined template signature, since redefinition only adds new formal parameters.The OCL used here is not normative.Editor's notes: Redefinable not RedefineableExpression: result = redefinee.oclIsKindOf(RedefinableTemplateSignature)Original: result = redefinee.oclIsKindOf(RedefineableTemplateSignature)