An Approach to Checking Consistency between UML Class Model and Its Java Implementation /Hector M. Chavez, Wuwei Shen, Member, IEEE, Robert B. France, Benjamin A. Mechling, and Guangyuan Li - Chavez,Hector M.