Interaction notation for UX design