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.