param role role event plai param transit state event event object action role object role equal role trigger model facad trigger 