?bereinstimmungsprüfung von Prozessen im Kontext Unvollst?ndiger 金贝棋牌

Prozessorientierte Informationssysteme (POIS) steuern die Ausführung von Aktivit?ten um ein gewisses Gesch?ftsziel zu erreichen. Diese Aktivit?ten k?nnen sehr unterschiedlicher Granularit?t sein, von einfachen Funktionsaufrufen hin zu komplexen Gesch?ftstransaktionen. Das Verhalten eines POIS ist oft durch ein Prozessmodell beschrieben. Sobald jedoch Ausführungsdaten vorliegen, typischerweise als Log oder Strom von Ereignissen, stellt sich folgende Frage: Wie stehen das modellierte und aufgezeichnete Verhalten des Systems zu einander in Beziehung? Antworten auf diese Frage sind die Grundlage für die Erkennung, Interpretation, sowie Kompensation von Abweichungen zwischen dem modellierten und aufgezeichneten Verhalten eines POIS.Der Trend zur Automatisierung von Prozessen und die damit einhergehende Instrumentierung von Prozessressourcen führen dazu, dass Prozessausführungsdaten in immer gr??eren Mengen und in h?herer Frequenz anfallen. Analysen, welche das Verhalten eines POIS auf Basis der kompletten Historie von Ausführungsdaten beurteilen, sind somit nicht l?nger zielführend.Das ProCI Projekt stellt sich diesen Herausforderungen und zielt auf Verfahren ab, welche eine ?bereinstimmungsprüfung erm?glichen, sofern die der Analyse zugrundeliegenden 金贝棋牌 bzgl. der Prozessausführung unvollst?ndig sind. Dies umfasst insbesondere Modelle und Algorithmen für die ?bereinstimmungsprüfung auf Basis von Stichproben und über Ereignisstr?men. Erstere sind durch die exponentielle Laufzeitkomplexit?t von üblichen Analyseverfahren motiviert, wird die Laufzeit durch die Beschr?nkung auf Stichproben doch signifikant reduziert. Die Analyse über Ereignisstr?men hingegen hat die Reduzierung des Speicherplatzes zum Ziel, welcher ben?tigt wird, um den Zustand der Analyse zu erfassen. In beiden F?llen ist die ?bereinstimmungsprüfung verlustbehaftet, da sie ausschlie?lich auf einem Ausschnitt der Ausführungsdaten basiert, so dass Analyseergebnisse aktualisiert werden müssen, sobald weitere 金贝棋牌 in Form einer Stichprobe oder eines Stromauschnitts vorliegen. Daraus ergeben sich für das ProCI Projekt folgende zentrale Forschungsfragen: (1) was sind die formalen Grundlagen, um Teilergebnisse der ?bereinstimmungsprüfung zu einander in Beziehung zu setzen? (2) Wie müssen Algorithmen für die ?bereinstimmungsprüfung auf Basis von Stichproben oder Ereignisstr?men gestaltet werden, so dass statistische Garantien bzgl. des durch die Unvollst?ndigkeit der Ausführungsdaten eingeführten Fehlers gegeben werden k?nnen? (3) Wie k?nnen die entsprechenden Verfahren robust hinsichtlich von ?nderungen in der Prozessausführung gemacht werden? Das Projekt wird die durch die entwickelten Modelle und Algorithmen erzielten Einsparungen von Laufzeit und Speicherplatz gegenüber existierenden Verfahren für die ?bereinstimmungsprüfung, welche einen vollst?ndigen Zugriff auf Ausführungsdaten voraussetzen, durch umfangreiche Experimente demonstrieren.