The mathematical formulation for the event sequence diagram framework · Study