7. A computer program product as claimed in claim 6 wherein the step of interpreting and generating employs EMF (Eclipse Modeling Framework).
9. A computer program product as claimed in claim 7 wherein the step of tracking includes recording derived union constraint information as an annotation to the model element.