Automatic Generation of Optimized Process Models from Declarative Specifications

Process models often are generic, i. e., describe similar cases or contexts. For instance, a process model for commissioning can cover both vehicles with an automatic and with a manual transmission, by executing alternative tasks. A generic process model is not optimal compared to one tailored to a specific context. Given a declarative specification of the constraints and a specific context, we study how to automatically generate a good process model and propose a novel approach. We focus on the restricted case that there are not any repetitions of a task, as is the case in commissioning and elsewhere, e. g., manufacturing. Our approach uses a probabilistic search to find a good process model according to quality criteria. It can handle complex real-world specifications containing several hundred constraints and more than one hundred tasks. The process models generated with our scheme are superior (nearly twice as fast) to ones designed by professional modelers by hand

An Iterative Approach for Business Process Template Synthesis from Compliance Rules

Companies have to adhere to compliance requirements. Typically, both, business experts and compliance experts, are involved in compliance analysis of business operations. Hence, these experts need a common understanding of the business processes for effective compliance management. In this paper, we argue that process templates generated out of compliance requirements can be used as a basis for negotiation among business and compliance experts. We introduce a semi automated approach to synthesize process templates out of compliance requirements expressed in Linear Temporal Logic (LTL). As part of that, we show how general constraints related to business process execution are incorporated. Building upon existing work on process mining algorithms, our approach to synthesize process templates considers not only control-flow, but also data-flow dependencies. Finally, we elaborate on the application of the derived process templates and present an implementation of our approach

IT-gestütztes Compliance Management für Geschäftsprozesse

Die Einhaltung regulatorischer Anforderungen und interner Richtlinien ist zunehmend kritisch für den Unternehmenserfolg geworden. In dieser Arbeit wird ein Ansatz vorgestellt, der eine effiziente Compliance-Prüfung von Geschäftsprozessen basierend auf den in standardisierten Ereignisprotokollen aufgezeichneten Ereignisdaten ermöglicht. Neben einer Referenzimplementierung des Ansatzes werden eine Erweiterung für ein Geschäftsprozessmanagementwerkzeug sowie ein webbasiertes Dashboard entwickelt