Modellierung einer Web-Applikation mit der Spezifikationssprache ABS

ABS ist eine moderne, objektorientierte, ausführbare Sprache zum Modellieren von Softwaresystemen und Software-Produktlinien. Um auszuwerten, wie geeignet diese Sprache zur Modellierung von Web-Anwendungen ist, wurde im Rahmen dieser Bachelor-Arbeit ein Modell für das Vorlesungs- und Übungsverwaltungssystem “Luento'' erstellt. Dieses Modell konzentriert sich auf die Beschreibung des Verhaltens der Software und auf die Aufteilung in Komponenten. Technische Details, konkrete Technologien und das Aussehen der grafischen Benutzeroberfläche werden im Modell nicht beschrieben.