Objektorientierte Spezifikation von Informationssystemen:
Saved in:
Bibliographic Details
Main Author: Saake, Gunter 1960- (Author)
Format: Electronic eBook
Language:German
Published: Wiesbaden Vieweg+Teubner Verlag 1993
Series:TEUBNER-TEXTE zur Informatik
Subjects:
Online Access:Volltext
Item Description:Thema des vorliegenden Buches ist die formale Beschreibung von Informationssystemen mit objektorientierten Methoden. Als Informationssysteme charakterisieren wir alle komplexen Software-Systeme, die eine dauerhafte Datenhaltung in einer Datenbank und interaktiven Zugang zu den gespeicherten Informationen unterstützen. Diese Charakterisierung umfaßt somit den größten Teil der aktuell praktisch eingesetzten und im Entwurf befindlichen rechnergestützten Anwendungen, und die Bedeutung auch formal abgesicherter Entwurfsmethoden wird für derartige Systeme in Zukunft noch zunehmen. Während formale Beschreibungsmethoden im Bereich der klassischen Programmspezifikation und auch der Kommunikationsprotokolle inzwischen etablierte Verfahren sind, dominieren momentan im Bereich der Modellierung von Informationssystemen eher informelle Verfahren.
Werden in diesem Gebiet tatsächlich formale Methoden eingesetzt, so beinhalten diese oft nur einen kleinen Teilaspekt des gesamten Systems, etwa die Modellierung der gespeicherten Information in Form eines Schemas eines Datenmodells. Im vorliegenden Buch wird ein formal basierter Ansatz zur objektorientierten Modellierung von Informationssystemen vorgestellt, der bewährte Modellierungskonzepte der etablierten informellen Methoden integriert. Das Buch ist wie folgt aufgebaut. Im Kapitel 1 werden die Begriffe Informationssystem, formale Spezifikation und objektorientierte Beschreibung eingeführt und kurz charakterisiert. Kapitel 2 behandelt den konzeptionellen Entwurf von Informationssystemen. Es werden allgemeine Anforderungen an den konzeptionellen Entwurf diskutiert und diese Anforderungen den etablierten Spezifikationsformalismen gegenübergestellt.
Ein Abschnitt ist dem mehrschichtigen konzeptionellen Entwurf, der ein Informationssystem in Schichten um eine zentrale Datenbank herum modelliert, gewidmet. Nach einer allgemeinen Kritik dieses Ansatzes wird der Bezug des klassischen Entwurfsansatzes zu objektorientierten Entwurfsprinzipien diskutiert
Physical Description:1 Online-Ressource (248 S.)
ISBN:9783322953704
9783815420546
DOI:10.1007/978-3-322-95370-4

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text