Compliance-Prüfung zwischen Geschäftsprozessen und Geschäftspartnerverträgen

Es ist ein typisches Szenario, dass viele Organisationen ihre Geschäftsprozesse unabhängig von ihren Geschäftspartnerverträgen spezifizieren. Dies liegt an dem Mangel an Richtlinien und Werkzeugen, die die Ableitung von Prozessen aus Verträgen erleichtern, aber auch an der traditionellen Denkweise, Verträge separat von Geschäftsprozessen zu behandeln. Dieses Papier bietet eine Lösung für ein spezifisches Problem, das aus dieser Situation entsteht, nämlich den Mangel an Mechanismen zur Überprüfung, ob Geschäftsprozesse mit Geschäftspartnerverträgen übereinstimmen. Der zentrale Teil des Papiers ist ein logikbasierter Formalismus zur Beschreibung sowohl der Semantik von Verträgen als auch der Semantik von Verfahren zur Compliance-Prüfung.