enabl object target target manag instanc model target enabl defin statediagram defin activitydiagram lp statediagram granular type express lp activitydiagram granular type express model state machin helper state target endif 