param elem uml element delet delet state object elem elem state illeg argument except state state state elem delet non state activ delet non state entri delet non state exit model impl uml helper delet collect state intern transit 