test issu guard delet transit test delet transit init profil subsystem init project project manag manag current project object model model model manag factori creat model model core factori build model object type type model core factori build oper type oper state machin model state machin factori build state machin object model facad state machin state model state machin factori build composit state object intern transit model state machin factori build intern transit state object guard model state machin factori build guard intern transit object effect model common behavior factori creat uninterpret action model state machin helper set effect intern transit effect model uml factori delet state machin effect action delet transit model uml factori remov effect guard delet transit model uml factori remov guard 