Adaptive Prozess-Management-Systeme (PrMS) in die Lage zu versetzen, Geschäftsprozesse auf die Einhaltung von Integritätsregeln hin zu prüfen, ist ein zentrales Ziel im Forschungsprojekt SeaFlows. Die Prüfung von Prozessen gegen Integritätsregeln wirft jedoch nicht zuletzt Fragestellungen bezüglich der Schnittstelle zwischen System und Anwendern auf.
Anders als bei der Verifikation technischer Systeme, bei der Experten mit dem System interagieren und Anfragen formulieren, spielen im Kontext adaptiver PrMS Interaktionen mit Endanwendern eine zentrale Rolle. Folglich sind adäquate benutzerorientierte Konzepte zur Repräsentation und Visualisierung erforderlich. Dies gilt nicht nur hinsichtlich der Modellierung von Integritätsregeln, sondern auch hinsichtlich der Vermittlung der Prüfergebnisse. Letzteres soll im Rahmen dieser Arbeit genauer untersucht werden.