A Static Approach to Consistency Verification of UML Models Andrea Baruzzo [email protected] Department of Computer Science University of Udine MoDeV.