System sequence diagrams and operation contracts.
Sequence and communication diagrams.