An inter-action diagram is a graphical view of computation processes and communication between different entities. It can be used for the design and testing of distributed systems. In particular, interaction diagrams offer significant advantages to the design of multi-agent systems, especially...