Doktorandenvortrag, Thao Ly, Ort: O27/545, Zeit: 15:00 Uhr, Datum: 30. April 2008

Im Rahmen eines von der DFG geförderten Forschungsprojekts beschäftigen wir uns mit der Unterstützung semantischer Integritätsbedingungen in adaptiven Prozess-Management-Systemen. Ziel ist es hierbei, adaptive ProzessManagementSysteme mit entsprechenden Konzepten in die Lage zu versetzen, Prozesse nicht nur hinsichtlich syntaktischer Korrektheitskriterien (z.B. Deadlockfreiheit) prüfen zu können, sondern auch hinsichtlich gewisser Integritätsbedingungen auf semantischer Ebene (z.B. Geschäftsregeln und Leitlinien). Voraussetzung hierfür ist, dass zu erfüllende Integritätsbedingungen zunächst modelliert und Prozessen zugewiesen werden können. Im Rahmen dieses Vortrags sollen Fragestellungen beleuchtet werden, die auf dem Weg zu einem adäquaten Modellierungsansatz für Integritätsbedingungen beantwortet werden müssen. Des Weiteren sollen mögliche Lösungsansätze diskutiert werden.