Integration und Verifikation von semantischen Integritätsbedingungen in adaptiven Prozess-Management-Systemen

• Applicant: Professor Dr. Peter Dadam, since 11/2009
• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: from 2007 to 2010
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 50541165

Die Einhaltung semantischer Integritätsbedingungen (z.B. medizinische Leitlinien oder Regulationen aus dem Finanzsektor) bei der Abwicklung ihrer Geschäftsprozesse ist für heutige Unternehmen nicht zuletzt aufgrund aktueller Compliance-Anforderungen von immenser Bedeutung. Im Rahmen des im Erstantrag bewilligten Projekts werden grundlegende Konzepte bereitgestellt, die es erlauben, semantische Integritätsbedingungen zu modellieren, Prozessen zuzuweisen und Prozesse gegen die auferlegten Integritätsbedingungen zu prüfen. Hierbei ist die Einhaltung von Integritätsbedingungen nicht nur zur Entwurfszeit der Prozesse wichtig, sondern muss über den gesamten Prozesslebenszyklus hinweg überwacht und unterstützt werden (also insbesondere auch zur Laufzeit in Prozess-Management-Systemen und bei dynamischen Prozessänderungen). Im laufenden Projekt hat sich gezeigt, dass die Einbeziehung von Kontextinformation (z.B. Prozessdaten) unerlässlich ist für die Entwicklung einer tragfähigen Lösung zur Unterstützung von Integritätsbedingungen. Insbesondere stellt die proaktive Identifikation von potentiellen Verletzungen kontextbezogener Integritätsbedingungen eine Herausforderung dar. Des Weiteren zeigte sich, dass die systemseitige Unterstützung über die bloße Identifikation semantischer Konflikte hinausgehen muss. Für die praktische Anwendung der Konzepte muss das System auch Hilfe bei der Wiederherstellung der semantischen Integrität bieten können. Beide Aspekte – Wiederherstellung der Integrität und Kontextbezug in Integritätsbedingungen – sollen im Fortsetzungsprojekt eingehend untersucht und adäquate Ansätze entwickelt werden.

• DFG Programme: Research Grants
• Ehemalige Antragstellerin: Professorin Dr. Stefanie Rinderle-Ma, until 11/2009