check element chang param sst state test param text text pars param entri action entri action expect creat param exit action exit action expect creat param action activ expect creat param intern number intern transit expect creat param except syntax error except expect check chang object sst text entri action exit action action intern except state bodi notat uml sbn state bodi notat uml sst sbn pars state bodi sst text expect except did happen except pars except unexpect except text except entri action entri action gener text model facad entri sst entri action gener text model facad entri sst exit action exit action gener text model facad exit sst exit action gener text model facad exit sst action action gener text model facad activ sst action gener text model facad activ sst collect model facad intern transit sst incorrect number intern transit size text size intern 