WEFEMIS ein Werkzeug zur formalen Evaluierung interaktiver Geräte

Abstract

Die Entwicklung neuer Geräte wird heute weitgehend durch Rapid-Prototyping-Methoden und -Werkzeuge unterstützt. Diese Methoden und Werkzeuge zur Definition von Funktionalität und Verhalten eines technischen Gerätes erlauben die Aufdeckung von Schwachstellen im Entwurf. Zur Bewertung der Benutzungsfreundlichkeit schon in frühen Phasen des Entwicklungsprozesses existieren jedoch keine geeigneten Werkzeuge. In diesem Beitrag wird die Entwicklungsumgebung WEFEMIS (Werkzeug zur formalen und empirischen Evaluierung interaktiver Systeme) vorgestellt, mit dessen Hilfe es für den Entwickler möglich ist, interaktive Systeme durch formale Modelle zu spezifizieren, Softwareprototypen zu erstellen, zugehörige Benutzermodelle zu integrieren und das System mit Hilfe geeigneter Verfahren zu evaluieren. Die Erstellung des Prototypen sowie des Benutzermodells ist für den Entwickler nahezu ohne Programmieraufwand möglich. Die verschiedenen Modelle können grafisch editiert und miteinander verknüpft werden. Abschließend wird die Anwendung der Entwicklungsumgebung anhand eines Beispiels (CD-Spieler) verdeutlicht.