Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Anwendung von grafischen Validierungsregeln bei der Entwicklung von IT-Integrationsprozessen

 
: Drawehn, J.; Feja, S.

Münch, J. ; Gesellschaft für Informatik -GI-, Fachbereich Softwaretechnik:
Software Engineering 2009. Workshopband : Fachtagung des GI-Fachbereichs Softwaretechnik ; 02.-06.03.2009 in Kaiserslautern
Bonn: GI, 2009 (GI-Edition - Lecture Notes in Informatics (LNI) - Proceedings 150)
ISBN: 978-3-88579-244-4
S.367-374
Tagung "Software Engineering" (SE) <5, 2009, Kaiserslautern>
Deutsch
Konferenzbeitrag
Fraunhofer IAO ()

Abstract
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.

: http://publica.fraunhofer.de/dokumente/N-113215.html