Quotient, Singleton, Sorted, Density, Current

This lesson introduces the following analysis patterns: quotient trace, singleton trace, sorted trace, and statement density and current.

Quotient trace

In the description of the adjoint message analysis pattern, we mentioned compressing message sequences having the same message attribute into one message. Considering the trace as a “topological” space and message attribute as an “equivalence” relation, we now introduce the quotient trace analysis pattern, so named after the quotient space in topology. By endowing message sequences with the same attribute with some “metric” such as cardinality of message set, we can also visually distinguish resulting quotient messages if they have the same attribute but come from different sequences at different times. All this is illustrated in the following diagram:

Get hands-on with 1400+ tech skills courses.