Objektorientierte Spezifikation von Informationssystemen:
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Saake, Gunter 1960- (VerfasserIn)
Format: Elektronisch E-Book
Sprache:German
Veröffentlicht: Wiesbaden Vieweg+Teubner Verlag 1993
Schriftenreihe:TEUBNER-TEXTE zur Informatik
Schlagworte:
Online-Zugang:Volltext
Beschreibung: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
Beschreibung:1 Online-Ressource (248 S.)
ISBN:9783322953704
9783815420546
DOI:10.1007/978-3-322-95370-4

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen