Anwendung von grafischen Validierungsregeln bei der Entwicklung von IT-Integrationsprozessen

Zunehmend stellt die Modellierung von (Geschäfts-)Prozessmodellen den Ausgangspunkt der Entwicklung von Software bspw. basierend auf Service-orientierten Architekturen dar. Um die syntaktische und semantische Korrektheit der Modelle zu überprüfen, sind sinnvoll einsetzbare Mechanismen notwendig. Die syntaktische Prüfung wird meist direkt von den Modellierungswerkzeugen unterstützt. Hingegen gibt es kaum Ansätze zum Einsatz von Validierungstechniken - wie dem Model Checking - auf Geschäftsprozessebene. Außerdem wird die Wiederverwendung von Validierungsregeln bisher vernachlässigt. In diesem Beitrag wird die Erweiterung eines auf grafischen Validierungsregeln (EPK-G-CTL) basierenden Verfahrens vorgestellt, mit dem fachliche Prozessmodelle gezielt auf semantische Aspekte überprüft werden können. Im Fokus der Betrachtungen steht die Frage, wie der Validierungsmechanismus in den Entwicklungsprozess eingebunden werden kann, so dass für die Entwickler ein erkennbarer Nutzen entsteht. Dabei sind die Aspekte der einfachen Erstellung und Anwendbarkeit sowie der Wiederverwendbarkeit von Validierungsregeln von Bedeutung.