1. A computer-implemented method for processing event sequences comprising: receiving at least one temporal logic formula and at least one metric expression, wherein the temporal logic formula defines a pattern of events that describes an application's behavior or actions qualified in terms of time and the metric expression defines a measurement to analyze the application based on the temporal logic formula's pattern of events; representing the temporal logic formula as a tree which corresponds to the nesting in the formula; comparing the temporal logic formula with an input trace to identify matching event sequences; extracting attributes from the matching event sequences which correspond to variables in the metric expression; evaluating the metric expression based on the extracted attributes; and returning extracted attributes and results of the expression.