Namespaces package

The Redefinitions package in the Abstractions package specifies the general capability of redefining model elements in the context of a generalization hierarchy.