Event Store

Event Store

General

The Event store is used by the API. It provides a way for the API to cache the event logs in order to reduce the network communication overhead throughout a session. When an event log is put into the event store a unique ID will be returned to access the event log later on.

src.components.util.event_store

put_event_log(file)

def put_event_log(file) -> str:

The put_event_log method provides a way to store a file in the event store. The file parameter should come from a flask request. The method returns a UUID that indicates the event log. The entry will get deleted after some amount of time as long as nobody access the event log. Both XES and CSV are supported. In case a CSV is passed as the argument, the event log will get converted to a XES representation.

pull_event_log(id)

def pull_event_log(id):

The pull_event_log method provides a way to pull out an event log stored in the event log given an ID returned by the put_event_log method. The method returns the XES representation of the event log.