Universität Bremen Fachbereich 3 Studiengang Informatik Karl ...

Gestaltung soziotechnischer Systeme
3. Semester
Anforderungsspezifikation
Seite 19
6 ABLAUF
6.1 Dozent
6.1.2 Zustandsdiagramm
Das Zustandsdiagramm des Dozenten (Abb. 10 auf der nächsten Seite) zeigt
jetzt die einzelnen Zustände für die von uns geforderten Klassen am Beispiel
des Aktivitätsdiagramms des Dozenten auf.
Hierbei erzeugt der Dozent in der AuthServlet-Klasse eine gültige HttpSession,
mit deren Hilfe dann der weitere Ablauf modelliert wird. Diese Session
wird von javax.servlet verwaltet, wir brauchen uns darum also keine Gedanken
machen. Sie ist immer für eine Sitzung persistent und wir können
an sie Attribute setzen. Wenn eine neue Seite aufgerufen wird, kann sie die
Session von der vorherigen Seite sozusagen übernehmen. Dies geschieht entweder
durch Cookies oder, falls der Browser keine Cookies unterstützt, durch
URL-Codierung. Die Auth-Servlet-Klasse hängt die User-ID an die erzeugte
HttpSession mit an.
Nach erfolgreicher Authentifizierung erzeugt das Choice-Servlet die Auswahlseite
und leitet dann je nach oben erläuterter Aktion (Eigene Daten ändern,
Veranstaltungen ändern, Logout) weiter.
Das ChangeOwnDataServlet dient zur Änderung der eigenen Daten. Es
überprüft die Eingaben und hat als einzigen Ausgang wieder das Choice-
Servlet. Es nutzt die vom AuthServlet generierte User-ID, um auf die Daten
des Benutzers zuzugreifen.
Im ClassesListServlet, das auch über das ChoiceServlet erreichbar ist, werden
dann erst einmal alle Veranstaltungen dargestellt, die der Dozent hält.
Jetzt kann der Dozent sich entscheiden, entweder eine Veranstaltung zu modifizieren
(ModifyClassServlet) oder eine neue anzulegen (NewClassServlet).
Beide Objekte hängen dann das Attribut “selectedClass“ an die HttpSession
an.
Mittels der ausgewählten Veranstaltung (“selectedClass’”), die ja in der Session
gespeichert ist, generiert das ListClassServlet eine Terminliste der Veranstaltung.
Hier hat der Dozent jetzt wieder die Möglichkeit, einzelne Termine
zu ändern oder neue hinzuzufügen. Wenn er einen Termin ändern will, setzt
das ListClassServlet das Attribut “session“ in der HttpSession. Es gibt auch
die Möglichkeit, wieder zur Auswahlseite zurückzugehen.
Das Attribut “session“, das vom ListClassServlet gesetzt wurde, wird jetzt
vom ChangeSessionServlet ausgelesen. Innerhalb dieser Klasse kann der Veranstaltungstermin
verändert werden, es wird auch eine Konsistenzprüfung
der Daten durchgeführt. Wenn der Veranstaltungstermin erfolgreich geändert
wurde, geht es zurück zum ListOfSessionsServlet.
Das Logout-Servlet ist dann der Endzustand, dieser ist auch von der Seite,
die durch das ChoiceServlet generiert wird, zu erreichen. Es sorgt dafür, dass
die HttpSession vernichtet wird.
sopra