PM4Py-WS Log Filtering

PM4Py-WS Log Filtering Services

(POST JSON) /addFilter

Adds a filter to the process.

URI parameters:

session => the ID of the session that the user can use to communicate with the server

process => the name of the process that is downloaded

POST content (JSON): a JSON with the following properties:

filter => a string representation of the filter that is being added

e.g. filter: [“end_activities”, [“pay compensation”]]

Possible filters:

  1. Start activities: keeps only cases starting with some activity. It is provided as a list having, as first element, the string “start_activities”, and as second element the list of all the desidered start activities in the log (a list of strings).
  2. End activities: keeps only cases finishing with some activity. It is provided as a list having, as last element, the string “end_activities“, and as second element thel ist of all the desidered end activities in the log (a list of strings).

all_filters => a string representation of the list of filters added since now to the process (for the handlers that are not incremental)

e.g. all_filters: [[“start_activities”, [“register request”]], [“end_activities”,[“pay compensation”]]

Returns:

After adding the filter, a JSON is returned having the following fields:

  • status => if the session is valid and the user has visibility on the log, then OK, otherwise FAIL
(POST JSON) /REMOVEFILTER

Removes a filter from the process.

URI parameters:

session => the ID of the session that the user can use to communicate with the server

process => the name of the process that is downloaded

POST content (JSON): a JSON with the following properties:

filter => a string representation of the filter that is being removed

e.g. filter: [“end_activities”, [“pay compensation”]]

see the /addFilter service for a detailed representation of the filters

all_filters => a string representation of the list of filters added since now to the process (for the handlers that are not incremental)

e.g. all_filters: [[“start_activities”, [“register request”]], [“end_activities”,[“pay compensation”]]

Returns:

After adding the filter, a JSON is returned having the following fields:

  • status => if the session is valid and the user has visibility on the log, then OK, otherwise FAIL