Events and cases may have any number of attributes. Using the classifier mechanism, each event gets a name. Therefore, we often require events to have an activity attribute. Cases always have a trace attribute; cˆ = # trace(c) is the sequence of events that have been recorded for c.