Technische Universit�t Braunschweig

Institute f�r Informatik

Einladung zum

Informatik-Kolloquium

Zeit:	Dienstag 07.09.2004, 11:00 Uhr
Ort:	M�hlenpfordtstr. 23, IZ , H�rsaal M 161, 1. OG
Vortragender:	Prof. Dr. Klaus-Dieter Schewe
	Dep. of Information Systems
	Massey University, New Zealand
Thema:	Kleene Algebren im Entwurf web-basierter Informationssysteme

Zusammenfassung: 

�Kleene-Algebren beschreiben die algebraischen Eigenschaften
regul�rer Ausdr�cke, sind aber nicht auf diese Interpretation
beschr�nkt. Eine wichtige andere Interpretation sind zuweisungsfreie
Prozesse. Dies ist insbesondere dann interessant, wenn zus�tzlich
aussagenlogische Bedingungen mit hinzugenommen werden. Man erh�lt dann
Kleene-Algebren mit Tests, von denen bekannt ist, dass sie die
Ausdrucksm�chtigkeit propositionaler Hoare-Logik subsumieren.

Der Vortrag betrachtet die Anwendung von Kleene-Algebren mit Tests auf
den Entwurf web-basierter Informationssysteme. Die Co-Design
Entwurfsmethode verwendet storyboarding, um das potentielle Verhalten
eines Benutzers zu erfassen. Ein story space kann dann mit Hilfe von
Kleene-Algebren mit Tests algebraisch beschrieben werden. Die Axiome von
Kleene-Algebren k�nnen sodann eingesetzt werden, um die
Systemspezifikation entsprechend vorgegebener Benutzerpr�ferenzen und
-ziele zu personalisieren.

 Die Dozenten der Informatik