Units of Measure Analysis and Its Implementation for AIDA