Interaction Flow Modeling Language