set express object expr defin statediagram defin activitydiagram lp statediagram granular type method bodi lp activitydiagram granular type method bodi lp statediagram local entir method lp activitydiagram local entir method model state machin helper set express target manag instanc target expr endif 