delet state composit state state vertex delet submachin state depend state machin param elem state machin remov delet state machin object elem elem state machin illeg argument except state machin state machin state machin elem shouldn requir composit bug version mdr us caus fail delet aggreg element singl valu aggreg end list second associ defin metamodel tfm state state machin model impl uml factori delet model impl uml helper delet collect state machin submachin state 