param elem uml element delet delet transit object elem elem transit illeg argument except transit transit transit elem guard guard transit guard guard shouldn requir composit bug version mdr us caus fail delet aggreg element singl valu aggreg end list second associ defin metamodel tfm model impl uml factori delet guard effect delet automat mdr unlik guard 