Komposition von Benutzungsmodellen: Operatoren und Anwendungsbeispiele

Beim modellbasierten Testen komplexer Systeme stößt man häufig auf das Problem, dass die Modellierung des Benutzer- und Umgebungsverhaltens in einem einzigen Modell nur sehr umständlich durchzuführen ist und dass die Möglichkeiten zur Wiederverwendung und Modellevoluation sehr gering sind. Aus diesem Grund untersuchen wir, in welcher Form man Benutzungsmodelle mit Hilfe kompositionaler Methoden aus einfacheren Modellen zusammensetzen kann.