Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen
Softwaresysteme sind heute in allen Bereichen des
öffentlichen Lebens anzutreffen. Informationssysteme
sind eine spezielle Art von Softwaresystemen. Wir
beschäftigen uns mit dem Entwurf von
Informationssystemen unter Verwendung eines
objektorientierten Ansatzes. Da der Entwurfsprozeß
schnell unübersichtlich wird, verwenden wir die
Technik der Verfeinerung zur Strukturierung und Reduktion
der Komplexität mit dem Ziel, den Grad der
Wiederverwendbarkeit zu erhöhen. Der
objektorientierte Ansatz erfordert es, sowohl die
Struktur des beabsichtigten Systems als auch
dessen Verhalten zu verfeinern. Unser Ansatz basiert
auf einer temporalen Logik zur Formalisierung der
Systemdynamik. Im Zusammenhang mit der
Verfeinerungstechnik ergeben sich einige Probleme,
die wir anhand von Beispielen erläutern. Ein
Lösungsansatz wird intuitiv beschrieben.