Creates a log from the provided log containing exactly those traces from the provided log that do not violate the provided log skeleton.
Input
- A log skeleton
- An event log
Configuration
- An event classifier
- Defaults to the first classifier found in the input log, or the MXML Legacy Classifier if the input log contains no classifiers.
- Three options which checks to run on every trace:
- Check equivalence
- If equivalent in the log skeleton, then equivalent in the trace.
- Check response and precedence
- If response (precedence) in the log skeleton, then response (precedence) in the trace.
- Check cardinalities
- Cardinality in the trace is between minimal and maximal cardinality in the log skeleton
- Check equivalence
- An option to stop checking a trace on the first violation detected
Panel
Output
- A log containing the non-violating traces
- A collection of detected violations
Variants
Filter Event Log on Log Skeleton user User Configuration
Requires the log skeleton and event log as parameters, available only in UITopia. Shows the panel where the user can configure the classifier and the options to use.
Then filters the log on the log skeleton using the selected classifier and options.
Filter Event Log on Log Skeleton using Default Configuration
Requires the log skeleton and event log as parameters. Filters the log on the log skeleton using the default configuration.
Filter Event Log on Log Skeleton using Provided Configuration
Requires the log skeleton, event log, and configuration as parameters. Filters the log on the log skeleton using the provided configuration.