1. A computer method for enforcing derived union constraints comprising: providing a model element having one or more derived union properties; tracking derived union constraints from the one or more derived union properties of the model element; and interpreting the tracked derived union constraints and generating therefrom an implementation that enforces the derived union constraint.