Online conformance checking: relating event streams to process models using prefix-alignments