When a sequence diagram with at least two levels are drawn the line and arrow heads that connect the second (or later) level with ...

Interaction Languages such as the one in hibou are provided with a formal semantics. However, in order to simply parse interactions and draw them (as sequence diagrams), a formal semantics is not ...