constructor uml transit trigger list model uml signal event signal list model signal 