param dm uml entiti check list offend list set comput offend object dm list set off list set dm list set off reachabl gen composit class instanc object cl list set tran list set cl reachabl gen composit class instanc tran contain dm off add cl off 