event names declared in the charts (<send> with this target/type)
Key of the sending side.
invoke: parent to child; message: events sent along it.
Session-clock time of the last observed message (0 = never).
event name → count observed at run time
Key of the receiving side.
A connection between two machines, or a machine and a service.