object model element object trigger model facad trigger model element object guard model facad guard model element object effect model facad effect model element gener event trigger gener guard guard notat util uml gener action sequenc effect length length 