Objektorientierte Spezifikation von Informationssystemen Habil.-Schr.
Aus der Reihe
XTEUBNER-TEXTE zur Informatik
-
- Deutsch ausgewählt
49,95 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
01.11.1993
Abbildungen
mit Abbildung
Verlag
Vieweg & TeubnerSeitenzahl
248
Maße (L/B/H)
24,4/17/1,4 cm
Auflage
1. Auflage
Sprache
Deutsch
ISBN
978-3-8154-2054-6
Thema des vorliegenden Buches ist die formale Beschreibung von Informationssy stemen mit objektorientierten Methoden. Als Informationssysteme charakterisieren wir aIle komplexen Software-Systeme, die eine dauerhafte Datenhaltung in einer Da tenbank und interaktiven Zugang zu den gespeicherten Informationen unterstiitzen. Diese Charakterisierung umfaBt somit den gr6fiten Teil der aktuell praktisch einge setzten und im Entwurf befindlichen rechnergestiitzten Anwendungen, und die Be deutung auch formal abgesicherter Entwurfsmethoden wird fiir derartige Systeme in Zukunft noch zunehmen. Wahrend formale Beschreibungsmethoden im Bereich der klassischen Programm spezifikation und auch der Kommunikationsprotokolle inzwischen etablierte Verfah ren sind, dominieren moment an im Bereich der Modellierung von Informationssy stemen eher informelle Verfahren. Werden in diesem Gebiet tatsiichlich formale Me thoden eingesetzt, so beinhalten diese oft nur einen kleinen Teilaspekt des gesamten Systems, etwa die Modellierung der gespeicherten Information in Form eines Sche mas eines Datenmodells. 1m vorliegenden Buch wird ein formal basierter Ansatz zur objektorientierten Modellierung von Informationssystemen vorgestellt, der bewahrte Modellierungskonzepte der etablierten informellen Methoden integriert. Das Buch ist wie folgt aufgebaut. 1m Kapitel 1 werden die Begriffe Informati onssystem, formale Spezijikation und objektorientierte Beschreibung eingefiihrt und kurz charakterisiert. Kapitel 2 behandelt den konzeptionellen Entwurf von Infor mationssystemen. Es werden allgemeine Anforderungen an den konzeptionellen Ent wurf diskutiert und diese Anforderungen den etablierten Spezifikationsformalismen gegeniibergestellt. Ein Abschnitt ist dem mehrschichtigen konzeptionellen Entwurf, der ein Informationssystem in Schichten urn eine zentrale Datenbank herum model liert, gewidmet. Nach einer allgemeinen Kritik dieses Ansatzes wird der Bezug des klassischen Entwurfsansatzes zu objektorientierten Entwurfsprinzipien diskutiert.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice