UML design models are increasingly being used to support the design and evolution of large software systems. Manual analysis of the entire UML model is impractical and is typically of little use. Since the sizes of UML ...