Campus Event Calendar
Event Entry
What and Who
Relations between Abstract Datatypes modeled as Abstract Datatypes
Hubert Baumeister
Promotionskolloquium
AG 1, AG 2
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 21 May 99
15:00
-- Not specified --
45 - FB14
HS 003
Saarbrücken
Abstract
In diesem Vortrag stelle ich einen Ansatz zur Spezifikation des
Verhaltens von Softwaresystemen vor. Dieser Ansatz ist zum einen
motiviert durch Spezifikationssprachen, die den Zustand von
Softwaresystemen als Algebren modellieren und zum anderen durch die
Spezifikationssprache Z. Von der ersten Gruppe von
Spezifikationssprachen wurde das Konzept "ubernommen, den Zustand als
Struktur in einer Logik zu modellieren; allerdings ist der
vorgestellte Ansatz nicht auf Logiken beschr"ankt, deren Strukturen
Algebren sind. Von Z wurde die Idee "ubernommen, Zustands"uberg"ange mit
derselben Logik zu spezifizieren wie die Zustandsr"aume, und die Art
und Weise wie aus einfachen Zustandsr"aumen und Zustands"uberg"angen
komplexere Zustandsr"aume und Zustands"uberg"ange konstruiert werden
k"onnen. Im Gegensatz zu Z, dessen Ansatz nur funktioniert weil eine
ganz spezielle Logik verwendet wird, kann in dem vorgestellten Ansatz
fast jede beliebige Logik verwendet werden.
Verhaltens von Softwaresystemen vor. Dieser Ansatz ist zum einen
motiviert durch Spezifikationssprachen, die den Zustand von
Softwaresystemen als Algebren modellieren und zum anderen durch die
Spezifikationssprache Z. Von der ersten Gruppe von
Spezifikationssprachen wurde das Konzept "ubernommen, den Zustand als
Struktur in einer Logik zu modellieren; allerdings ist der
vorgestellte Ansatz nicht auf Logiken beschr"ankt, deren Strukturen
Algebren sind. Von Z wurde die Idee "ubernommen, Zustands"uberg"ange mit
derselben Logik zu spezifizieren wie die Zustandsr"aume, und die Art
und Weise wie aus einfachen Zustandsr"aumen und Zustands"uberg"angen
komplexere Zustandsr"aume und Zustands"uberg"ange konstruiert werden
k"onnen. Im Gegensatz zu Z, dessen Ansatz nur funktioniert weil eine
ganz spezielle Logik verwendet wird, kann in dem vorgestellten Ansatz
fast jede beliebige Logik verwendet werden.
Contact
--email hidden
passcode not visible
logged in users only