Komposition von Benutzungsmodellen: Anforderungen und Konzeption

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. Die Möglichkeiten zur Wiederverwendung und Modellevolution sind außerdem sehr gering. Aus diesem Grund wird untersucht, in welcher Form man Benutzungsmodelle mit Hilfe kompositionaler Methoden aus einfacheren Modellen zusammensetzen kann. Inhalt dieses Dokuments sind sowohl die mit Industriepartnern ermittelten Anforderungen an diese Technik als auch ein Konzept, wie man Modelle in einer für die Durchführung der Komposition zuträglichen Art darstellen kann. In den folgenden Dokumenten werden dann die entsprechenden Spezifikationstechniken, Auswertungsverfahren und Werkzeuge dokumentiert.