Tark: A Tool Kit to Mine Linear Temporal Rules

With this tool kit, users can mine linear temporal rules involving multiple events. The mined rules can capture data constraints on event fields and data-flow constraints between event fields via quantification. The tool kit can be used to mine rules over different views of events using event abstractions. In addition, the tool kit can be used to mine non-temporal rules involving single events, similar to frequent item sets. The tools operate on a well-defined, publicly available custom XML trace format. While users can generate traces conformant to this format, they also could use the converters in the tool kit to convert trace data such as call traces and network traces in various common formats—comma-separated values, Netmon, and PDML—to the custom trace format supported by the tools.