basic function handl logic enclos state swimlan param enclos fig node enclos param old enclos previou enclos param enclos enclos enclos chang fig node enclos fig node old enclos fig node enclos old enclos enclos defin statediagram lp statediagram granular type express lp statediagram local nest ifdef activitydiagram enclos fig state vertex endif enclos fig object flow state chang partit enclos 