Protokoll-basierte Modellierung von Geschäftsinteraktionen at INFORMATIK 2011 - Informatik schafft Communities
Berlin 2011

Abstract: Für die Qualitätssicherung eines Geschäftsprozesses, ist es unerlässlich, die Geschäftprozesskette ganzheitlich zu betrachten. Das schließt die Betrachtung jeder einzelnen funktionalen Komponente ein. Dies ist besonders bei Geschäftsprozessen schwierig, die eingebettete Systeme involvieren. Deren Software-Komponenten sind nur schwer zugänglich. Die Software-Komponenten in den eingebetteten Systemen haben aber besondere Relevanz für das Einhalten von Echtzeitbedingungen innerhalb eines Geschäftprozesses. Die Verletzung dieser Bedingungen kann katastrophale und lebensbedrohliche Folgen haben. Erst in der neueren Forschung werden auch eingebettete Systeme auf höherer Ebene modelliert, generiert und insbesondere in ersten Ansätzen auf höherer Ebene getestet Im Vortrag wird ein modell-basiertes Test-Framework (basierend auf Model-Driven Architecture (MDA) vorgestellt, das eine Umgebung zur Qualitätssicherung für eingebettete Geräte bereitstellt, welche sich in die Methoden zur Qualitätssicherung der gesamten Geschäftsprozessmodellierung integrieren lässt.