hdm-uml changes